In this paper we present a theory of referring. This theory is presented within the framework of a general theory of speech acts and rationality advanced by Cohen and Levesque.
Reasoning about the knowledge and beliefs of computer and human agents is assuming increasing importance in artificial intelligence systems for natural language, understanding, planning, and knowledge representation.
In this article we try to answer the following question: how do we let our audience know what we are talking about? How, in other words, do a speaker and hearer form an agreement as to which entities are the subject of the conversation?
We are interested in constructing a computer agent whose behavior will be intelligent enough to perform cooperative tasks involving other agents like itself.
Alessandro Saffiotti, E. Ruspini, & Kurt G. Konolige
Controlling the movement of an autonomous mobile robot in real-world unstructured environments requires the ability to pursue strategic goals under conditions of uncertainty, incompleteness, and imprecision.
This paper describes a prototype system for quickly developing joint military courses of action. The system, SOCAP (System for Operations Crisis Action Planning and Execution), with a color map display and applies this technology to military operations planning.
A paradigm enabling heuristic problem solving programs to exploit an analogy between a current unsolved problem and a similar but previously solved problem to simplify its search for a solution is outlined. It is developed in detail for a first-order resolution logic theorem prover.
A prerequisite to a theory of the way agents understand speech acts is a theory of how their beliefs and intentions are revised as a consequence of events.
In this paper straightforward procedures are presented for calibrating a camera, computing the equation of a plane, and combining a camera calibration and an equation of a light plane to form a "sensor" matrix.
We describe the design and implementation of a general storage system that incrementally loads referenced frames from a DBMS, and save modified frames back to the DBMS, for two different FRSs: LOOM and THEO.
