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 and domain structure.
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.
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 inferential processing.
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.
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 describe the consequences of reasoning about ignorance: what must be true if a certain fact is not known
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 data and thus use as the basis for "general-purpose" recognition.
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 expressive power by allowing the specification of a causal theory.
We present a system for learning descriptions of objects, and for subsequently recognizing learned objects, that functions in outdoor, natural environments.
This paper is an informal survey of models of grammatical categories in unification-based formalisms from computational linguistics and their relationship to current logic programming concepts.
