Allen Newell H A Simon GPS A Program

  • Slides: 20
Download presentation
Allen Newell & H. A. Simon GPS, A Program That Simulates Human Thought 신동호

Allen Newell & H. A. Simon GPS, A Program That Simulates Human Thought 신동호 1

Contents o Introduction o An Experimental Situation o The Problem of Explanation o The

Contents o Introduction o An Experimental Situation o The Problem of Explanation o The GPS Program o GPS on the Problem o Comparison of the GPS Trace with the Protocol o Summary of the Fit of the Trace to the Protocol o Conclusion 2

Introduction o Psychology of human thinking o To explain how some humans try to

Introduction o Psychology of human thinking o To explain how some humans try to solve some simple formal problems o Information processing o Construction of intelligent automata o Distinction between l l the attempt to accomplish with machines the same tasks that humans perform the attempt to simulate the processes humans actually use to accomplish these tasks 3

GPS o Maximally l l confuses the two approaches A problem solving program Simulations

GPS o Maximally l l confuses the two approaches A problem solving program Simulations of human behavior 4

History of Psychology o Associationism l l l atomistic doctrine hard little elements (sensations

History of Psychology o Associationism l l l atomistic doctrine hard little elements (sensations or ideas) associated together without modification mechanistic doctrine with simple fixed laws of contiguity in time and space behavior proceeded by the stream of associations each association produce its successors, and acquired new attachments with the sensations arriving from the environment 5

Cont’d o Wurzburg l l l school introduced the task(Aufgabe) as a necessary factor

Cont’d o Wurzburg l l l school introduced the task(Aufgabe) as a necessary factor in describing the process of thinking a blend of mechanism and phenomenalism give rise Behaviorism and the Gestalt movement 6

Cont’d o Behavioristic l l introspection is a highly unstable subjective procedure reformulate task

Cont’d o Behavioristic l l introspection is a highly unstable subjective procedure reformulate task of psychology as explaining the response of organisms as a function of the stimuli o Gestalt l l l reaction reject the mechanistic nature of observation thinking is more than association - has direction holistic principles of organization o Today l reaction psychology stable tension between Behaviorism and Gestalt psychology 7

An Experimental Situation o TASK l (R P) ( R Q) |- ( Q

An Experimental Situation o TASK l (R P) ( R Q) |- ( Q P) 1 8 o Figure 1 o Rule 8

Protocol(fig 2) o Well, looking at the left hand side of the equation, first

Protocol(fig 2) o Well, looking at the left hand side of the equation, first we want to eliminate one of the sides by using rule 8. It appears too complicated to work with first. Now - no, -no, I can’t do that because I will be eliminating either the Q or the P in that total expression. I won’t do that at first. Now I’m looking for a way to get rid of the horseshoe inside the two brackets that appear on the left and right sides of the equation. And I don’t see it. Yeh, if you apply rule 6 to both sides of the equation, from there I’m going to see if I can apply rule 7. 9

The Problem of Explanation o Find a model of the human problem-solver that explains

The Problem of Explanation o Find a model of the human problem-solver that explains the salient features of this stream of behavior o Computer is a general manipulator of symbols o The attempts to construct programs that solve tasks requiring intelligence o An intelligent program that manipulates symbols in the same way that our subject does 10

The GPS Program o GPS deals with a task environment consisting of objects which

The GPS Program o GPS deals with a task environment consisting of objects which can be transformed by various operators o operators l l detects differences between objects organizes the information about the task environment into goals o Goal l l collection of information that defines what constitutes goal attainment makes available the various kinds of information relevant to attaining the goal 11

Cont’d o Three l l l types of goals Transform object A into B

Cont’d o Three l l l types of goals Transform object A into B Reduce difference D between object A and object B Apply operator Q to object A o Symbolic l logic object - logic expression operator - twelve rules differences - expressions like “change connective” “add a term” o The objects and operators are given by task, whereas the differences are something GPS brings to the problem 12

Method o GPS is a way of achieving a goal by setting up subgoals,

Method o GPS is a way of achieving a goal by setting up subgoals, methods is for doing this. o One method associated with each goal type to transform an object A into an object B o Find an operator that is relevant to difference l relevance means that the operator affects objects with respect to the difference o GPS contains an ordering of the differences, so that some differences are considered easier than others. 13

GPS on the Problem o. A trace of GPS’s behavior on a specific problem

GPS on the Problem o. A trace of GPS’s behavior on a specific problem o transform L 1 into L 0 (fig 4) 14

Comparison of the GPS Trace with the Protocol o Protocol l Well, looking at

Comparison of the GPS Trace with the Protocol o Protocol l Well, looking at the left-hand side of the equation, first we want to eliminate one of the sides by using rule 8. o GPS l l l desire to decrease L 1 selection of rule 8 correspondence with goals 1, 2 and 3 of the trace 15

Comparison o Protocol l Now-no, I can’t do that because I will be eliminating

Comparison o Protocol l Now-no, I can’t do that because I will be eliminating either the Q or the P in that total expression. I won’t do that at first. o GPS l GOAL 2 DELETE R FROM L 1 l GOAL 3 APPLY R 8 TO L 1 l l PRODUCE L 2 R -P OR -R Q GOAL 4 TRANSFORM L 2 INTO L 0 l GOAL 5 ADD Q TO R -P OR ADD P TO -R Q l REJECT 16

Comparison o Protocol l It appears too complicated to work with first. o GPS

Comparison o Protocol l It appears too complicated to work with first. o GPS l nothing is correspondence with this statement 17

Comparison o Protocol l Now I’m looking for a way to get rid of

Comparison o Protocol l Now I’m looking for a way to get rid of the horseshoe inside the two brackets that appear on the left and right side of the equation. And I don’t see it. Yeh, if you apply 6 to both sides of the equation, from there I’m going to see if I can apply rule 7. o GPS l goals 9 through 14 of the trace 18

Summary of the Fit of the Trace to the Protocol o The program provides

Summary of the Fit of the Trace to the Protocol o The program provides a complete explanation of the subject’s task behavior with five exceptions. o Two aspects of disagreements l l distinguishing between the internal and external worlds adequate representation of the spaces in which the search for rules take place o Several recent investigations more generally support the concept of information processing theories of human thinking. 19

Conclusion o Showing that the techniques that have emerged for constructing sophisticated problem-solving programs

Conclusion o Showing that the techniques that have emerged for constructing sophisticated problem-solving programs also provide us with new, strong tools for constructing theories of human thinking. o Associated with Behaviorism and Gestalt movement o The free behavior of a reasonably intelligent human can be understood as the product of a complex but finite and determinate set of laws. 20