Limbo: A Reasoning System for Limited Belief

Limbo: A Reasoning System for Limited Belief

Christoph Schwering

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence

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.
Keywords:
Knowledge Representation, Reasoning, and Logic: Knowledge Representation Languages
Knowledge Representation, Reasoning, and Logic: Non-classical logics for Knowledge Representation
Knowledge Representation, Reasoning, and Logic: Reasoning about Knowlege and Belief