Publications
-
The Persistence of Derived Information
In this paper, we illustrate how such inferences add a new dimension of complexity to reasoning about change and show that failure to allow for such inferences can result in…
-
A Commentary on Bogdan’s `Information and Semantic Cognition’
Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC
-
The Pony Express Network Mail Delivery System and the MM-32 Mail Manager
-
Automated Argument Construction
Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC
-
Local Pragmatics
The outline of a unified theory of local pragmatics phenomena is presented, including an approach to the problems of reference resolution, metonymy, and interpreting nominal compounds. The TACITUS computer system…
-
Review of `Structured Meanings: The Semantics of Propositional Attitudes’
Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC
-
Localizing Expression Of Ambiguity
In this paper we describe an implemented program for localizing the expression of many types of syntactic ambiguity, in the logical forms of sentences, in a manner convenient for subsequent…
-
The Core Knowledge System
This document contains an in-depth description of the Core Knowledge System (CKS)–an integrative environment for the many functions that must be performed by sensor-based autonomous and semi-autonomous systems. The CKS…
-
Review of `Structured Meanings: The Semantics of Propositional Attitudes’
Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC
-
Recognition By Parts
To have a general-purpose machine vision capability, we must be able to recognize things; we argue that most natural objects have a part structure that we can recover from image…
-
On McDermott’s First Critique
The first question to be answered is, What is logicism?’ McDermott outlines the logicist position as follows...
-
On The Relation Between Default and Autoepistemic Logic
Default logic is a formal means of reasoning about defaults: what normally is the case, in the absence of contradicting information. Autoepistemic logic, on the other hand, is meant to…