An approach to the formal analysis of user complexity KIERAS, POLSON

마스터 제목 스타일 편집

마스터 텍스트 스타일을 편집합니다둘째 수준셋째 수준넷째 수준

다섯째 수준

An approach to the formal analysis of user complexityKIERAS, POLSON

정두호

Introduction - overview

• 이 연구의 목적은 device 혹은 system 에 대한사용자 관점의 복잡성 즉 , user complexity 의 상세하고 정확한 framework 을 제공하고자 한다 .

1. Device 를 어떻게 사용하는지 (how-to-use-it) 에 대한사용자 지식의 formal description system 을 제공하고 , user complexity 의 정량적 분석을 할 수 있다 .

2. Interactive device 의 formal description system 제공하기 위해 device 와 how-to-use-it 에 대한 관계를 보겠다 .

3. 마지막으로 이 연구가 simulation 기술에 응용되면 실용적 가치가 크다는 것을 보이겠다 .

1. 사용자 관점에서 device 를 사용하기 위해 요구되는 지식의 양 , 콘텐트 , 구조에 따른 device complexity 를 연구하였다 (1982).

2. device complexity 은 다음에 의해 결정된다은 다음에 의해 결정된다 ..

• user’s task representation 의 복잡성과 학습 , 기억 , 처리 능력 요구

• device-dependent functions 의 수

• how-it-works 지식을 얻기 위한 용이성

=>user complexity 에 대한 정량적 분석을 개발하자

Introduction – previous work

Introduction – previous work

• device 를 사용하기 위해 2 가지 지식이 포함된다 .1. The user’s task representation

• device 를 사용하여 어떻게 task 를 수행할지에 대한 사용자의 지식Card, Moran, Newell 에 의해 사용자의 task representation 은 GOMS (Goals, Operations, Methods, Selection rules) 로 modeling(1980, 1983).

• The user’s job-task representation 은 job-task environments에 대한 사용자의 지식이다 . => job goals, job o operations, job m methods, job s selection rules 적용

2. The user’s ddevice representationdevice 자체에 대해 사용자가 가지고 있는 지식이 지식은 4 가지로 구분된다 .

1) Task-relevant 지식 (device 를 만족스럽게 사용할 수 있도록 ) 2) Device layout 지식 (physical layout)

3) Device behavior 지식 (control 과 behavior 의 이해 ) 4) How-it-works 지식 (device function 에 대한 이해 )

• job-task environments 에 대한사용자의 지식을 표현하기 위해 production system 개념을 도입하였다 .

• production system 은 Newell 과 Simon 에 의해 1972년도에 심리적 절차 , 문제 해결 절차 등에 사용되었다 .

• Anderson 의 이론 (1976) Declarative knowledge (fact) Procedural knowledge (how to do => production system)

=> HCI 에서 어떻게 device 를 쓰는지 사용자 지식을 표현하는데 주로 쓰였다 .

IF condition THEN action condition 이 true 일 때 fire 라고 한다 .

The user’s job-task representation

• 비서의 job situation, LISP 문법 도입• TEST-GOAL, TEST-NOTE : WM 의 condition test• TEST-MSS : manuscript 의 condition test• ADD-GOAL, ADD-NOTE, DELETE-GOAL, DELETE-NOTE :

WM 에서 actions add or delete• GET-NEXT-UNIT-TASK: scanning the manuscript


• 이



• Nilson (1971) 의 AND-OR graph

• problem-solving search spacestop: the highest-level goal

• 하위항목 모두 충족해야 상위항목 충족

• General delete goal 이 depth 가 많아 복잡=> WM 에 높은 load

• The job-task representation 과 the user’s model of the device 의 관계

• the user’s model of the device 은 how-it-works지식의 사용자의 이해 => 사용자의 학습과 운영에 많은 영향

• mental model 과 비슷하지만 mental model 은 불명확하지만 , mental model 의 개념 많이 차용 .


The device representation

User 와 device 사이의 interaction 을 연구하기 위해device 자체에 대해 사용자가 가지고 있는 지식의representation 이 필요하다 .

기존 연구1) BNF (Backus-Naur Form) 프로그램언어와 비슷함 ( 장점이자

한계 )2) TNR (Transition Network Representations) finite state

machine 의 graphic representations finite state machine 은 3 가지 finite sets (states, inputs, outputs) 와 2 가지 function (state transition, output) 으로 이루어져있다 .

* 한계 : 1) 극도로 많은 states 를 표현하기 어렵다 . 2) 상하 계층 구조를 표현할 수 없다 .


3) ARTN (Augmented Recursive Transition Networks) * Augmented Networks : : finite state machine with register register 는 symbol string 을 저장하는 subsystem (edit buffer) * Recursive Networks : subroutine 을 호출할 수 있는 network (embedded or nested)

4) GTN (Generalized Transition Networks) more general form of tmore general form of transition n networksnode: states (circles), arc: interconnect (arrow) condition, action


4) GTN (Generalized Transition Networks)


The device representationTask 와 device 의 relation

Conclusion

이 연구는 3 가지 representation system 을 다루었다 .1) The user’s job-task representation2) The representation of the device3) The user’s device model

The need for simulation models.Job-task formalisms 는 simulation기술에 적용하기 쉽다 .

Conclusion

The practical value of the formal analysis1) 새로운 device 를 개발할 때 강력한 design methodology 제공2) Device 의 실제 SW 나 HW 를 개발하기 전에 simulated

prototype 개발가능3) 상대적 complexity 으로 device 의 여러 대안의 평가 가능

Simulation1) 정량적으로 측정할

수 있음2) 이론적인 것을

실제로 보여줌

Documents

An approach to the formal analysis of user complexity KIERAS, POLSON