Publications
-
Automatic Deduction For Commonsense Reasoning: An Overview
This article provides an overview of the issues involved in drawing conclusions by means of deductive inference from bodies of commonsense knowledge represented by logical formulas.
-
Problems In Logical Form
This paper surveys some of the key problems that arise in defining a system of representation for the logical forms of English sentences and suggests possible approaches to their solution…
-
A Team User’s Guide
TEAM (Transportable English Data Access Manager) is a computer system designed to acquire information about a (local or remote) database, and subsequently to interpret and answer questions addressed to the…
-
Natural Language Access To Medical Text
This paper describes research on the development of a methodology for representing the information in texts and of procedures for relating the linguistic structure of a request to the corresponding…
-
Computational Structures For Machine Perception
This note discusses the adequacy of current computer architectures to serve as a base for building machine vision systems.
-
A First-Order Formalization Of Knowledge and Action For A Multiagent, Planning System
We are interested in constructing a computer agent whose behavior will be intelligent enough to perform cooperative tasks involving other agents like itself. The construction of such agents has been…
-
An Approach To Acquiring and Applying Knowledge
The problem addressed in this paper is how to enable a computer system to acquire facts about new domains from tutors who are experts in their respective fields, but who…
-
Mockingbird Forum Talk
This was the first public presentation of the Mockingbird Composer's Amanuensis, the first WYSIWYG music notation editor.
-
Klaus: A System For Managing Information and Computational Resources
These systems, which we call Knowledge Learning and Using Systems (KLAUS), are intended to act as brokers between the user’s needs, as expressed in the user’s terms, and the resources…
-
The Interplay Between Experimental and Theoretical Methods, In Artificial Intelligence
The reasons for the dichotomy are discussed, and AI is compared with other, more mature disciplines in which there is closer cooperation between experimental and theoretical branches.
-
Interpreting Discourse: Coherence and the Analysis of Ethnographic Interviews
In this paper we first outline how we apply our AI discourse approaches to the ethnographic data. We discuss three kinds of coherence in terms of which we analyze a…
-
What’s Wrong with Non-Monotonic Logic
The answer, briefly, is that the motivation behind the wonderfully impressive work involved in its development is based on a confusion of proof-theoretic with epistemological issues.