Representing defeasible constraints and observations in action theories

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1502, Issue , 1998, Pages 309-320

  Zhang, Yan ^a  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

Author keywords

Commonsense reasoning; Knowledge representation; Reasoning about action; Temporal reasoning

Indexed keywords

KNOWLEDGE REPRESENTATION;

COMMONSENSE REASONING; DEFEASIBLE CONSTRAINTS; INCOMPLETE INFORMATION; PROBLEM DOMAIN; REASONING ABOUT ACTIONS; TEMPORAL PREDICTION; TEMPORAL REASONING; UNIFIED FRAMEWORK;

LOGIC PROGRAMMING;

EID: 0009218049     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0095062     Document Type: Conference Paper

References (11)

1. C. Baral, Reasoning about actions: Non-deterministic effects, constraints, and qualification. In Procceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pp2017-2023. Morgan Kaufmann Publishers Inc. 1995.
2. C. Baral and J. Lobo, Defeasible specifications in action theories. In Procceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97). Morgan Kaufmann Publishers Inc. 1997.
3. H. Geffner, Causality, constraints and the indirect effects of actions. In Procceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97), pp555-560. Morgan Kaufmann Publishers Inc. 1997.
4. M. Gelfond and V. Lifschitz, Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-386, 1991.
5. M. Gelfond and V. Lifschitz, Representing action and change by logic programs. Journal of Logic Programming, 17:301-322, 1993.
6. J. Jablonowski, W. Lukaszewcz and E. Madalinsks-Bugaj, Reasoning about action and change: Defeasible observations and actions with abnormal effects. In Proceedings of KI-96. Lecture Notes on Artificial Intelligence, Vol 1137, ppl36-147, 1996.
7. F. Lin, Embracing causality in specifying the indirect effects of actions. In Proceedings of the 14th International Conference on Artificial Intelligence (IJCAI-95), ppl985-1993. Morgan Kaufmann Publishers, Inc. 1995.
8. W. Lukaszewcz and E. Madalirisks-Bugaj, Reasoning about action and change using Dijkstra's semantics for programming language: Preliminary Report. In Procceedings of the 14th International Joint Conference on Artificial Intelligence (IJ-CAI'95), ppl950-1955. Morgan Kaufmann Publishers Inc. 1995.
9. Y. Zhang and N.Y. Foo, Towards generalized rule-based updates. In Procceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97), pp82-88. Morgan Kaufmann Publishers Inc. 1997.
10. Y. Zhang and N.Y. Foo, Answer sets for prioritized logic programs. In Procceedings of the 1997 International Logic Programming Symposium (ILPS'97), pp69-83. MIT Press, 1997.
11. Y. Zhang, Specifying causality in action theories: A default logic approach. Theoretical Computer Science, 1998 (to appear).