Information Science 7:95-132

Artificial Intelligence, 5 (4), 349-71.

Artificial Intelligence 5:1-49.

NATO Advanced Study Institute an Computer Oriented Learning Processes, p. 15 pgs.

Edinburgh: Edinburgh University Press

Rather than provide a general review of Dreyfus critique this article concentrates on certain fundamental criticisms that Dreyfus directs at the information-processing approach to cognitive psychology and points out the unique conception of what it means to understand cognition which separates a phenomenologist from the typical cognitive psychologist.

This is a partial theory of thinking, combining a number of classical and modern concepts from psychology, linguistics, and AI. Whenever one encounters a new situation (or makes a substantial change in one's viewpoint) he selects from memory a structure called a frame, a remembered framework to be adopted to fit reality by changing details as necessary. A frame is a data-structure for representing a stereotyped situation, like being in a certain kind of living room, or going to a child's birthday party. Attached to each frame are several kinds of information. Some of this information is about how to use the frame.

"With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of the process. A classic of sequential program verification, this volume has been translated into almost a dozen other languages and is much in demand among graduate and advanced undergraduate computer science students. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus (basic notions, natural deduction, and the resolution method); verification of programs (both flowchart and algol-like programs); flowchart schemas (basic notions, decision problems, formalization in predicate calculus, and translation programs); and the fixpoint theory of programs (functions and functionals, recursive programs, and verification programs). The treatment is self-contained, and each chapter concludes with bibliographic remarks, references, and problems." New York: McGraw-Hill, 1974.

In researc which lan uac; assumed knowled way it use of provide impreci recent h into a is to e. In that on re of th is used the cons s, to na se acous years, utomati (r,et a nost e need e lan u (pragma traints ke sens tic sit there has c speech u computer of this s to pro are (its s tics). It and expec e of the i nal that i been a nderstan to und recent a vide th yntax an will th tations nherentl s human rroat increase in dine, the purpose of erstand the spoken ctivity, it has been e computer with a d semantics) and the en be able to make which this knowledfre y vaf ue, sloppy and soeech. Syntactic constraints and expectations are based on the patterns formed by a Riven set of linguistic objects, e. .

In Schank and Colby, 114-151