A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries
A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries
复制标题
非单调结果关系与凸几何之间的离散对偶性
DOI：
10.1007/s11083-019-09497-0
复制
发表时间：
2019
期刊：
影响因子：
0.4
通讯作者：
Marti J
中科院分区：
文献类型：
--
作者：
Marti J
在本文中，我们提出了一个非单调的后果关系和良基凸几何之间的对偶。一方面的对偶，我们认为非单调的后果关系满足公理系统P，这是一个研究最多的公理系统的非单调推理，条件逻辑和信念修正的无穷变体。在对偶的另一边，我们考虑良基凸几何，它是推广良基偏序集的无限凸几何。由于有一个密切的对应关系之间的非单调的后果关系和路径独立的选择功能，可以把我们的对偶作为一个扩展的现有的对偶之间的路径独立的选择功能和凸几何，已独立开发的Koshevoy和约翰逊和迪恩。
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.
登录
查看更多内容
影响因子：
0.7
作者：
K. Adaricheva;J. B. Nation
通讯作者：
J. B. Nation
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
J. Marti;Riccardo Pinosio;Riccardo Pinosio
通讯作者：
Riccardo Pinosio
DOI：
--
发表时间：
1999
期刊：
影响因子：
--
作者：
G. Koshevoy
通讯作者：
G. Koshevoy
动态互动认识论
DOI：
--
发表时间：
2004
期刊：
Games Econ. Behav.
影响因子：
--
作者：
Oliver J. Board
通讯作者：
Oliver J. Board
DOI：
--
发表时间：
2003
期刊：
影响因子：
--
作者：
K. Adaricheva;V. Gorbunov;V. Tumanov
通讯作者：
V. Tumanov