Roadmap for preferential logics
Dov Gabbay (LIF), Karl Schlechta (LIF)
TL;DR
This paper provides a comprehensive overview of the rules and semantics underlying nonmonotonic and related logical systems, aiming to clarify their structure and applications.
Contribution
It offers a structured roadmap detailing the logical and semantical frameworks for nonmonotonic logics, highlighting their foundational principles.
Findings
Clarified the logical rules for nonmonotonic reasoning
Outlined semantic frameworks for related logics
Provided a unified overview of the field
Abstract
We give an overview of logical and semantical rules for nonmonotonic and related logics.
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, programming, and type systems · Systems Engineering Methodologies and Applications