A discrete duality between nonmonotonic consequence relations and convex geometries

Johannes Marti, Riccardo Pinosio

Research output: Contribution to journalArticle

Abstract

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.
LanguageEnglish
Number of pages21
JournalOrder
Early online date10 Jun 2019
DOIs
Publication statusE-pub ahead of print - 10 Jun 2019

Fingerprint

Convex Geometry
Duality
Geometry
Choice Function
Belief Revision
Nonmonotonic Reasoning
Path
P Systems
Poset
Axioms
Correspondence
Logic
Generalise

Keywords

  • convex geometrie
  • antimatroids
  • nonmonotonic consequence relations
  • conditional logic
  • path independent choice functions
  • duality

Cite this

@article{4c087d5f9e96490f8cf8e4b8fce68aa6,
title = "A discrete duality between nonmonotonic consequence relations and convex geometries",
abstract = "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.",
keywords = "convex geometrie, antimatroids, nonmonotonic consequence relations, conditional logic, path independent choice functions, duality",
author = "Johannes Marti and Riccardo Pinosio",
year = "2019",
month = "6",
day = "10",
doi = "10.1007/s11083-019-09497-0",
language = "English",
journal = "Order",
issn = "0167-8094",

}

A discrete duality between nonmonotonic consequence relations and convex geometries. / Marti, Johannes ; Pinosio, Riccardo .

In: Order, 10.06.2019.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A discrete duality between nonmonotonic consequence relations and convex geometries

AU - Marti, Johannes

AU - Pinosio, Riccardo

PY - 2019/6/10

Y1 - 2019/6/10

N2 - 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.

AB - 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.

KW - convex geometrie

KW - antimatroids

KW - nonmonotonic consequence relations

KW - conditional logic

KW - path independent choice functions

KW - duality

UR - https://link.springer.com/journal/11083

U2 - 10.1007/s11083-019-09497-0

DO - 10.1007/s11083-019-09497-0

M3 - Article

JO - Order

T2 - Order

JF - Order

SN - 0167-8094

ER -