Agents dealing with time and uncertainty

Jürgen Dix, Sarit Kraus, V. S. Subrahmanian

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations

Abstract

Situated agents in the real world need to handle the fact that events occur frequently, as well as the fact that the agent typically has uncertain knowledge about what is true in the world. The ability to reason about both time and uncertainty is therefore very important. In this paper, we develop a formal theory of agents that can reason about both time and uncertainty. The theory extends the notion of agents described in [10, 21] and proposes the notion of temporal probabilistic (or TP) agents. A formal semantics for TP-agents is proposed - this semantics is described via structures called feasible TP-status interpretations (FTPSI's). TP-agents continuously evaluate changes (in the state of the environment they are situated in) and compute appropriate FTPSI's. For a class of TP-agents called positive TP-agents, we develop a provably sound and complete procedure to compute FTPSI's.

Original languageEnglish
Title of host publicationProceedings of the International Conference on Autonomous Agents
PublisherAssociation for Computing Machinery (ACM)
Pages912-919
Number of pages8
Edition1
ISBN (Print)9781581134803
DOIs
StatePublished - 2002
Externally publishedYes
EventProceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2002 - Bologna, Italy
Duration: 15 Jul 200219 Jul 2002

Publication series

NameProceedings of the International Conference on Autonomous Agents
Number1

Conference

ConferenceProceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2002
Country/TerritoryItaly
CityBologna
Period15/07/0219/07/02

Keywords

  • Formalisms and logics: logic programming
  • Temporal reasoning
  • Theories of agency Probabilistic/uncertain reasoning

Fingerprint

Dive into the research topics of 'Agents dealing with time and uncertainty'. Together they form a unique fingerprint.

Cite this