Nondeterministic Actions and the Frame Problem Export

@inproceedings{boutilier95nondeterministic, abstract = {We describe a logical system and methodology for the natural specification of nondeterministic actions. The logic combines elements of dynamic logic, process logic and the situation calculus and allows one to express alternative (actual and possible) paths or sequences of events. Our system permits a simple solution to the frame problem for nondeterministic actions that "completes" user-supplied theories of action. While drawing inspiration from Reiter's solution for the deterministic case,...}, author = {Boutilier, Craig and Friedman, Nir}, booktitle = {Extending Theories of Action: Formal Theory \& Practical Applications: Papers from the 1995 AAAI Spring Symposium}, citeulike-article-id = {348504}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.430}, comment = {The paper is motivated by the distinction between indefinite actions and nondeterministic actions and introduce language \$\mathcal A^{ND}\$ for nondeterministic actions. When action descriptions are definite (even if nondeterministic), possible action outcomes are known; indefinite descriptions do not fix the possible outcomes, and much weaker predictions are the result. For example, the effect \$A\lnor B\$ does not ensure that \$A\$ is even a possible outcome. \[flip \textbf{causes} Heads\lor\lnot Heads \textbf{when} HaveCoin\] vs. \[flip \textbf{causes} Heads||\lnot Heads \textbf{when} HaveCoin\] \[flip \textbf{necessarily causes} \lnot HaveCoin \textbf{when} HaveCoin\] }, keywords = {ai, depth, frame\_problem, logic, nondeterminism, reasoning\_about\_action, situation\_calculus}, pages = {39--44}, posted-at = {2005-10-12 00:52:18}, priority = {0}, publisher = {AAAI Press, Menlo Park, California}, title = {Nondeterministic Actions and the Frame Problem}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.430}, year = {1995} }

TY - CONF ID - boutilier95nondeterministic L3 - citeulike-article-id:348504 N2 - We describe a logical system and methodology for the natural specification of nondeterministic actions. The logic combines elements of dynamic logic, process logic and the situation calculus and allows one to express alternative (actual and possible) paths or sequences of events. Our system permits a simple solution to the frame problem for nondeterministic actions that "completes" user-supplied theories of action. While drawing inspiration from Reiter's solution for the deterministic case,... EP - 44 TI - Nondeterministic Actions and the Frame Problem PB - AAAI Press, Menlo Park, California T2 - Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium SP - 39 KW - ai KW - depth KW - frame_problem KW - logic KW - nondeterminism KW - reasoning_about_action KW - situation_calculus N1 - The paper is motivated by the distinction between indefinite actions and nondeterministic actions and introduce language $\mathcal A^{ND}$ for nondeterministic actions. When action descriptions are definite (even if nondeterministic), possible action outcomes are known; indefinite descriptions do not fix the possible outcomes, and much weaker predictions are the result. For example, the effect $A\lnor B$ does not ensure that $A$ is even a possible outcome. \[flip \textbf{causes} Heads\lor\lnot Heads \textbf{when} HaveCoin\] vs. \[flip \textbf{causes} Heads||\lnot Heads \textbf{when} HaveCoin\] \[flip \textbf{necessarily causes} \lnot HaveCoin \textbf{when} HaveCoin\] AU - Boutilier, Craig AU - Friedman, Nir PY - 1995/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.430 ER -