A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries
Autor: | Johannes Marti, Riccardo Pinosio |
---|---|
Rok vydání: | 2019 |
Předmět: |
QA75
Pure mathematics Algebra and Number Theory 010102 general mathematics Regular polygon Duality (optimization) Axiomatic system 0102 computer and information sciences Extension (predicate logic) Belief revision 01 natural sciences Computational Theory and Mathematics 010201 computation theory & mathematics Computer Science::Logic in Computer Science Path (graph theory) Geometry and Topology 0101 mathematics Non-monotonic logic Axiom Mathematics |
Zdroj: | Order. 37:151-171 |
ISSN: | 1572-9273 0167-8094 |
Popis: | In this paper we present a duality between nonmonotonic consequence relations and well-founded convex geometries. On one side of the duality we consider nonmonotonic consequence relations satisfying the axioms of an infinitary variant of System P, which is one of the most studied axiomatic systems for nonmonotonic reasoning, conditional logic and belief revision. On the other side of the duality we consider well-founded convex geometries, which are infinite convex geometries that generalize well-founded posets. Since there is a close correspondence between nonmonotonic consequence relations and path independent choice functions one can view our duality as an extension of an existing duality between path independent choice functions and convex geometries that has been developed independently by Koshevoy and by Johnson and Dean. |
Databáze: | OpenAIRE |
Externí odkaz: |