Publications
-
Automated Argument Construction
Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC
-
Explaining Evidential Analyses
One of the most highly touted virtues of knowledge-based expert systems is their ability to construct explanations for their lines of reasoning. However, there is a basic difficulty in generating…
-
Localized Event-Based Reasoning For Multiagent Domains
This paper presents the GEM concurrency model and GEMPLAN, a multiagent planner based on this model. Unlike standard state-based AI representations, GEM is unique in its explicit emphasis on events…
-
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…