Premium
Toward a Model Theory of Actions: How Agents do it in Branching Time
Author(s) -
Singh Munindar P.
Publication year - 1998
Publication title -
computational intelligence
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.353
H-Index - 52
eISSN - 1467-8640
pISSN - 0824-7935
DOI - 10.1111/0824-7935.00064
Subject(s) - computer science , branching (polymer chemistry) , flexibility (engineering) , artificial intelligence , congruence (geometry) , action (physics) , theoretical computer science , machine learning , mathematics , statistics , materials science , physics , quantum mechanics , composite material , geometry
A clear understanding and formalization of actions is essential to computing, and especially so to reasoning about and constructing intelligent agents. Several approaches have been proposed over the years. However, most approaches concentrate on the causes and effects of actions, but do not give general characterizations of actions themselves. A useful formalization of actions would be based on a general, possibly nondiscrete, model of time that allows branching (to capture agents’ choices). A desirable formalization would also allow actions to be of arbitrary duration and would permit multiple agents to act concurrently. We develop a branching‐time framework that allows great flexibility in how time and action are modeled. We motivate and formalize several coherence constraints on our models, which capture some nice intuitions and validate some useful inferences relating actions with time.