Nonmonotonic Temporal Reasoning
Abstract
In research carried out to this date under this grant they investigated a number of issues, semantical and algorithmic, in the design of agents in a multi-agent environment. The issues that were investigated included the structure of agents' (which they called 'mental state'), the flow of control of agents' activities over time, a particular programming language geared towards controlling agents, and a number of subsidiary computational problems. The researchers have developed a computational framework called agent oriented programming. AOP can be viewed as a specialization of object oriented programming (OOP). The state of an agent consists of components called beliefs, choices, capabilities, commitments, and possibly others; for this reason the state of an agent is called its mental state. The mental state of agents is captured formally in an extension of standard epistemic logics: beside temporalizing the knowledge and belief operators, AOP introduces operators for commitment, choice and capability. Agents are controlled by agent programs, which include primitives for communicating with other agents. In the spirit of speech-act theory, each communication primitives is of a certain type: informing, requesting, offering, and so on
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 1992
- Accession Number
- ADA258699
Entities
People
- Yoav Shoham
Organizations
- Stanford University