TY - CONF T1 - Agents dealing with time and uncertainty T2 - Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2 Y1 - 2002 A1 - Dix,Jürgen A1 - Kraus,Sarit A1 - V.S. Subrahmanian KW - formalisms and logics KW - logic programming KW - probabilistic/uncertain reasoning KW - temporal reasoning KW - theories of agency AB - 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. JA - Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2 T3 - AAMAS '02 PB - ACM CY - New York, NY, USA SN - 1-58113-480-0 UR - http://doi.acm.org/10.1145/544862.544953 M3 - 10.1145/544862.544953 ER -