From knowledge-based programs to graded belief-based programs, part II: off-line reasoning

Laverny, Noël; Lang, Jérôme

From knowledge-based programs to graded belief-based programs, part II: off-line reasoning

Download BibTeX Cite

Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 497-501.

Abstract

Belief-based programs generalize knowledgebased programs [Fagin et al., 1995] by allowing for incorrect beliefs, unreliable observations, and branching conditions that refer to implicit graded beliefs, such as in “while my belief about the direction to the railway station is not strong enough do ask someone”. We show how to reason off-line about the possible executions of a belief-based program, which calls for introducing second-order uncertainty in the model.

Noël Laverny, and Jérôme Lang. 2005. From knowledge-based programs to graded belief-based programs, part II: off-line reasoning. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05. IJCAI, 497–501. https://ijcai.org/proceedings/2005/121

@inproceedings{ijcai2005p121,
  title     = {From knowledge-based programs to graded belief-based programs, part II: off-line reasoning},
  author    = {Laverny, Noël and Lang, Jérôme},
  booktitle = {Proceedings of the Nineteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-05}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  pages     = {497--501},
  year      = {2005},
  url       = {https://ijcai.org/proceedings/2005/121},
}

TY  - CPAPER
TI  - From knowledge-based programs to graded belief-based programs, part II: off-line reasoning
AU  - Laverny, Noël
AU  - Lang, Jérôme
T2  - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2005
SP  - 497
EP  - 501
UR  - https://ijcai.org/proceedings/2005/121
ER  -