ML Anthology

Limbo: A Reasoning System for Limited Belief

Christoph Schwering
IJCAI 2017 pp. 5246-5248
doi:10.24963/IJCAI.2017/779 /ijcai/2017/schwering2017ijcai-limbo/

Abstract

We introduce Limbo, a reasoning system for limited belief. The system features a highly expressive language with first-order quantification, functions and equality, sorts, and introspective belief modalities. Reasoning is based on clause subsumption, unit propagation, and case splits. Decidability and sometimes even tractability is achieved by limiting the number of case splits. We illustrate the practical utility of limited belief with toy examples as well as with the games of Sudoku and Minesweeper.

PDF IJCAI Semantic Scholar

Cite

Text

Schwering. "Limbo: A Reasoning System for Limited Belief." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/779

Markdown

[Schwering. "Limbo: A Reasoning System for Limited Belief." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/schwering2017ijcai-limbo/) doi:10.24963/IJCAI.2017/779

BibTeX

@inproceedings{schwering2017ijcai-limbo,
  title     = {{Limbo: A Reasoning System for Limited Belief}},
  author    = {Schwering, Christoph},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {5246-5248},
  doi       = {10.24963/IJCAI.2017/779},
  url       = {https://mlanthology.org/ijcai/2017/schwering2017ijcai-limbo/}
}