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
-
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
-
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…
-
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...
-
Using Causal Rules In Planning
Reasoning about actions necessarily involves tracking the truth of assertions about the world over time. The SIPE planning system retains the efficiency of the STRIPS assumption for this while enhancing…