Publications
-
Supporting Pascal Programming With An On-Line Template Library And Case Studies
In this project, we devised an on-line network of Pascal programming templates called a template library, and tested it with subjects (classified as novice, intermediate, and expert Pascal programmers) both…
-
A Multivalued Logic Approach To Integrating Planning Control
This paper describes a prototype system for quickly developing joint military courses of action. The system, SOCAP (System for Operations Crisis Action Planning and Execution), with a color map display…
-
Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
Reasoning systems that are goal-directed and avoid repeatedly solving the same goals can be constructed by formulating the top-down methods metatheoretically for execution by a bottom-up reasoning system (hence, we…
-
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"…