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.
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
