{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/a-reasoning-system-for-a-first-order-logic-of","title":"A Reasoning System for a First-Order Logic of Limited Belief","arxiv_id":"1705.01817","date":"2017-05-04","proceeding":null,"authors":["Christoph Schwering"],"abstract":"Logics of limited belief aim at enabling computationally feasible reasoning\nin highly expressive representation languages. These languages are often\ndialects of first-order logic with a weaker form of logical entailment that\nkeeps reasoning decidable or even tractable. While a number of such logics have\nbeen proposed in the past, they tend to remain for theoretical analysis only\nand their practical relevance is very limited. In this paper, we aim to go\nbeyond the theory. Building on earlier work by Liu, Lakemeyer, and Levesque, we\ndevelop a logic of limited belief that is highly expressive while remaining\ndecidable in the first-order and tractable in the propositional case and\nexhibits some characteristics that make it attractive for an implementation. We\nintroduce a reasoning system that employs this logic as representation language\nand present experimental results that showcase the benefit of limited belief.","url_abs":"http://arxiv.org/abs/1705.01817v1","url_pdf":"http://arxiv.org/pdf/1705.01817v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"a-reasoning-system-for-a-first-order-logic-of","repo_url":"https://github.com/schwering/limbo","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":1,"framework":"none","reach":null}],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":null,"mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}