Reasoning about Actions: Non-deterministic Effects, Constraints, and Qualification Export

@inproceedings{baral95reasoning, abstract = {We propose extension L 2 of the action description language L 1 that can express both actual and hypothetical situations, concurrent execution of actions, observations of the truth values of fluents in these situations (as opposed to hypothetical values of fluents expressible in A and AC ), observations of actual occurrences of (possibly non-deterministic combination of) actions. The corresponding entailment relation formalizes various types of common-sense reasoning about actions and their...}, author = {Baral, Chitta and Gelfond, Michael and Watson, Richard}, booktitle = {Extending Theories of Action: Formal Theory \& Practical Applications: Papers from the 1995 AAAI Spring Symposium}, citeulike-article-id = {349713}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.1234}, keywords = {ai, depth, logic, logic\_programming, nondeterminism, nonmonotonic, reasoning\_about\_action}, pages = {10--16}, posted-at = {2005-10-13 07:59:10}, priority = {2}, publisher = {AAAI Press, Menlo Park, California}, title = {Reasoning about Actions: Non-deterministic Effects, Constraints, and Qualification}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.1234}, year = {1995} }

TY - CONF ID - baral95reasoning L3 - citeulike-article-id:349713 N2 - We propose extension L 2 of the action description language L 1 that can express both actual and hypothetical situations, concurrent execution of actions, observations of the truth values of fluents in these situations (as opposed to hypothetical values of fluents expressible in A and AC ), observations of actual occurrences of (possibly non-deterministic combination of) actions. The corresponding entailment relation formalizes various types of common-sense reasoning about actions and their... EP - 16 TI - Reasoning about Actions: Non-deterministic Effects, Constraints, and Qualification PB - AAAI Press, Menlo Park, California T2 - Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium SP - 10 KW - ai KW - depth KW - logic KW - logic_programming KW - nondeterminism KW - nonmonotonic KW - reasoning_about_action AU - Baral, Chitta AU - Gelfond, Michael AU - Watson, Richard PY - 1995/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.1234 ER -