First-order logic with incomplete information
Antti Kuusisto
TL;DR
This paper introduces a first-order logic framework tailored for incomplete information scenarios, addressing the associated complexity challenges.
Contribution
It develops a new logical system for incomplete information and explores its complexity properties.
Findings
Proposes a novel first-order logic for incomplete info
Analyzes the complexity of reasoning in this logic
Provides insights into computational limitations
Abstract
We develop first-order logic and some extensions for incomplete information scenarios and consider related complexity issues.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Advanced Algebra and Logic · Logic, programming, and type systems