Publications
-
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.
-
Deductive Foundations of Computer Programming
Book available online
-
Color in computer vision
The use of color in computer vision has received growing attention. This chapter gives the state-of-the-art in this subfield, and tries to answer the questions: What is color? Which are the…
-
A Qualitative Biochemistry and its Application to the Regulation of the Tryptophan Operon
This article is concerned with the general question of how to represent biological knowledge in computers such that it may be used in multiple problem solving tasks.
-
Misconceptions Reconceived: A Constructivist Analysis Of Knowledge In Transition
This article uses a critical evaluation of research on student misconceptions in science and mathematics to articulate a constructivist view of learning in which student conceptions play productive roles in…
-
On determining the Fundamental matrix: analysis of different methods and experimental results
This paper addresses the important problem of its robust determination given a number of image point correspondences. We first define precisely this matrix and show clearly how it is related…
-
Modeling Consistency in a Speaker Independent Continuous Speech Recognition System
In this paper we discuss a Gender Dependent Neural Network (GDNN) which can be tuned for each gender, while sharing most of the speaker independent parameters. We use a classification…
-
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…