Reasoning about actions: Non-deterministic effects, Constraints, and Qualification

Baral, Chitta

Reasoning about actions: Non-deterministic effects, Constraints, and Qualification

Download BibTeX Cite

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Temporal Reasoning. Pages 2017-2025.

Abstract

In this paper we propose the language of 'state specifications' to uniformly specify effect of actions, exec utability condition of actions, and dynamic and static constraints . This language allows us to be able to express effects of action and constraints with same first order representation but different intuitiv e behavior to be specified differently. We then discuss how we can use state specifications to e xt e nd the action desc ription languages A and £ 0 .

Chitta Baral. 1995. Reasoning about actions: Non-deterministic effects, Constraints, and Qualification. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95. IJCAI, 2017–2025. https://ijcai.org/proceedings/1995/259

@inproceedings{ijcai1995p259,
  title     = {Reasoning about actions: Non-deterministic effects, Constraints, and Qualification},
  author    = {Baral, Chitta},
  booktitle = {Proceedings of the Fourteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-95}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Chris S. Mellish},
  pages     = {2017--2025},
  year      = {1995},
  note      = {Temporal Reasoning},
  url       = {https://ijcai.org/proceedings/1995/259},
}

TY  - CPAPER
TI  - Reasoning about actions: Non-deterministic effects, Constraints, and Qualification
AU  - Baral, Chitta
T2  - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1995
SP  - 2017
EP  - 2025
UR  - https://ijcai.org/proceedings/1995/259
ER  -