Reactive preferential structures and nonmonotonic consequence
Dov Gabbay (LIF), Karl Schlechta (LIF)
TL;DR
This paper introduces information bearing systems (IBRS) as a versatile framework that generalizes preferential semantics and addresses open representation issues in nonmonotonic reasoning.
Contribution
It presents a new abstract framework, IBRS, with a general semantics that unifies various logical systems and solves existing representation problems.
Findings
IBRS generalizes preferential semantics
Provides a unified framework for logical systems
Addresses open representation problems
Abstract
We introduce information bearing systems (IBRS) as an abstraction of many logical systems. We define a general semantics for IBRS, and show that IBRS generalize in a natural way preferential semantics and solve open representation problems.
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 · Constraint Satisfaction and Optimization · Semantic Web and Ontologies