Defeasible Specifications in Action Theories

Baral, Chitta; Lobo, Jorge

Defeasible Specifications in Action Theories

Download BibTeX Cite

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Temporal Reasoning. Pages 1441-1445.

Abstract

Recent research in formalizing effects of actions on a world in the presence of constraints have mostly concentrated on non-defeasible specifications , where the effect of actions and constraints are strictly specified. In this paper we show how to incorporate defeasibility into the specifications. In our approach we consider extensions of the high level language A of Gelfond and Lifschitz and introduce defeasible constraints and effect propositions. While direct semantics of A does not need a logical language, our semantics is defined using extended logic programming. This is due to the defeasibility of the specification.

Chitta Baral, and Jorge Lobo. 1997. Defeasible Specifications in Action Theories. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97. IJCAI, 1441–1445. https://ijcai.org/proceedings/1997/207

@inproceedings{ijcai1997p207,
  title     = {Defeasible Specifications in Action Theories},
  author    = {Baral, Chitta and Lobo, Jorge},
  booktitle = {Proceedings of the Fifteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-97}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Martha E. Pollack},
  pages     = {1441--1445},
  year      = {1997},
  note      = {Temporal Reasoning},
  url       = {https://ijcai.org/proceedings/1997/207},
}

TY  - CPAPER
TI  - Defeasible Specifications in Action Theories
AU  - Baral, Chitta
AU  - Lobo, Jorge
T2  - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1997
SP  - 1441
EP  - 1445
UR  - https://ijcai.org/proceedings/1997/207
ER  -