Publications
-
A view on qualitative physics
This was one of the first papers in what is today a large and active area of artificial intelligence.
-
Gemini: A Natural Language System For Spoken-Language Understanding
The paper describes the architecture of Gemini, paying particular attention to resolving the tension between robustness and overgeneration. Gemini features a broad-coverage unification-based grammar of English, fully interleaved syntactic and…
-
Automated Theorem-Proving Research In The Fifth Generation Computer Systems Project: Model Generation Theorem Provers
MGTPs have solved previously open problems in finite algebra, produced rapid proofs of condensed detachment problems, and are providing an inferential infrastructure for knowledge-processing research at ICOT. This paper describes…
-
A Fuzzy Controller For Flakey, An Autonomous Mobile Robot
Through the use of fuzzy logic, goal-oriented behavior (e.g., trying to reach a given location) and reactive behavior (e.g., avoiding previously unknown obstacles on the way) are smoothly blended into…
-
Artificial intelligence in perspective: a retrospective on fifty volumes of the Artificial Intelligence Journal
To capture the intellectual highlights of the AIJ publication history, we decided to look at what has happened to ideas published in some of the most influential papers from the…
-
A view on qualitative physics
I will focus on some of the events and experiences which motivated me to become interested in qualitative physics and where it should be going.
-
Constructing A Joint Problem Space: The Computer As A Tool For Sharing Knowledge
This chapter presents a case study intended to exemplify the use of a computer as a cognitive tool for learning that occurs socially. We investigate a particularly important kind of…
-
A Model for the Functioning of the Striatum
A model is presented for the operation of the striatum. The model posits that the basal ganglia are responsible for driving smooth transitions of state for an organism.
-
A System For Labeling Self-Repairs In Speech
The system marks the location and extent of a repair, as well as relevant words in the region of the repair. Together these labels determine the relationship between the "error"…
-
The Design and Assessment of A Hypermedia Course on Semiconductor Manufacturing
Learning effects were assessed. Results suggest that subjects who browsed via hypermedia links tended to more often bridge topic areas rather than explore them in depth, but there were little…
-
The Grasper-CL Graph Management System
Grasper-CL [5] is a COMMON LISP system for manipulating and displaying graphs, and for building graph-based user interfaces for application programs.
-
SRI International FASTUS system MUC-6 test results and analysis
The fundamental ideas behind FASTUS are retained in the current system: an architecture consisting of cascaded finite state transducers, each providing an additional level of analysis of the input, together…