Action representation and partially observable planning using epistemic logic

Herzig, Andreas; Lang, Jérôme; Marquis, Pierre

Action representation and partially observable planning using epistemic logic

Andreas Herzig, Jérôme Lang, Pierre Marquis

Download BibTeX Cite

Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Pages 1067-1071.

Abstract

We propose a purely logical framework for planning in partially observable environments. Knowledge states are expressed in a suitable fragment of the epistemic logic SS. We show how to lift the effects of actions (both physical actions and sensing actions) from the state level to the epistemic level. We show how progression, regression and plan generation can be achieved in our framework.

Andreas Herzig, Jérôme Lang, and Pierre Marquis. 2003. Action representation and partially observable planning using epistemic logic. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03. IJCAI, 1067–1071. https://ijcai.org/proceedings/2003/152

@inproceedings{ijcai2003p152,
  title     = {Action representation and partially observable planning using epistemic logic},
  author    = {Herzig, Andreas and Lang, Jérôme and Marquis, Pierre},
  booktitle = {Proceedings of the Eighteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-03}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Georg Gottlob},
  pages     = {1067--1071},
  year      = {2003},
  url       = {https://ijcai.org/proceedings/2003/152},
}

TY  - CPAPER
TI  - Action representation and partially observable planning using epistemic logic
AU  - Herzig, Andreas
AU  - Lang, Jérôme
AU  - Marquis, Pierre
T2  - Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2003
SP  - 1067
EP  - 1071
UR  - https://ijcai.org/proceedings/2003/152
ER  -