Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Publication in EndNote Format

%0 Report %@ 404 %A Georgeff, Michael P. %T Actions, Processes, and Causality %C 333 Ravenswood Ave., Menlo Park, CA 94025 %I AI Center, SRI International %D 1987 %K Events!Models of, Actions!Models of, Multiple Agents %X The purpose of this paper is to construct a model of actions and events that facilitates reasoning about dynamic domains involving multiple agents. Unlike traditional approaches, the proposed model allows for the simultaneous performance of actions, rather than use an interleaving approximation. A generalized situation calculus is constructed for describing and reasoning about actions in multiagent settings. Notions of independence and correctness are introduced, and it is shown how they can be used to determine the persistence of facts over time and whether or not actions can be performed concurrently. Unlike most previous formalisms in both single- and multiagent domains, the proposed law of persistence is monotonic and thus has a well-defined model-theoretic semantics. It is shown how the concept of causality can be employed to simplify the description of actions and to model arbitrarily complex machines and physical devices. Furthermore, it is shown how sets of causally interrelated actions can be grouped together in processes and how this structuring of problem domains can substantially reduce combinatorial complexity. Finally, it is indicated how the law of persistence, together with the notion of causality, makes it possible to retain a simple model of action while avoiding most of the difficulties associated with the frame problem. %U http://www.ai.sri.com/pubs/files/561.pdf

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy