TY - GEN
T1 - Agents dealing with time and uncertainty
AU - Dix, Jürgen
AU - Kraus, Sarit
AU - Subrahmanian, V. S.
PY - 2002
Y1 - 2002
N2 - 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.
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.
KW - Formalisms and logics: logic programming
KW - Temporal reasoning
KW - Theories of agency Probabilistic/uncertain reasoning
UR - https://www.scopus.com/pages/publications/0036355178
U2 - 10.1145/544951.544953
DO - 10.1145/544951.544953
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:0036355178
SN - 9781581134803
T3 - Proceedings of the International Conference on Autonomous Agents
SP - 912
EP - 919
BT - Proceedings of the International Conference on Autonomous Agents
PB - Association for Computing Machinery (ACM)
T2 - Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2002
Y2 - 15 July 2002 through 19 July 2002
ER -