Conditioning by Minimizing Accessibility

This paper presents an axiomatization of a class of set-theoretic conditional operators using minimization of the geodesic distance defined as the shortest path generated by the accessibility relation on a frame. The objective of this modeling is to define conditioning based on a notion of similarity generated by degrees of indistinguishability.

[1]  Donald Nute,et al.  Counterfactuals , 1975, Notre Dame J. Formal Log..

[2]  N. Goodman,et al.  The Structure of Appearance. , 1953 .

[3]  Joseph Y. Halpern.  Set-theoretic completeness for epistemic and conditional logic , 1998, Annals of Mathematics and Artificial Intelligence.

[4]  Robert Goldblatt,et al.  Semantic analysis of orthologic , 1974, J. Philos. Log..

[5]  Laura Giordano,et al.  Weak AGM postulates and strong Ramsey Test: A logical formalization , 2005, Artif. Intell..

[6]  Polly S Nichols,et al.  Agreeing to disagree. , 2005, General dentistry.

[7]  Gerard Salton,et al.  Automatic Text Processing: The Transformation, Analysis, and Retrieval of Information by Computer , 1989 .

[8]  Andreas Herzig,et al.  Logics for Belief Base Updating , 1998 .

[9]  N. Malcolm.  On Knowledge and Belief , 1954 .

[10]  Ronald Fagin,et al.  A model-theoretic analysis of knowledge , 1991, JACM.

[11]  Max J. Cresswell,et al.  A companion to modal logic , 1984 .

[12]  Hirofumi Katsuno,et al.  A Unified View of Consequence Relation, Belief Revision and Conditional Logic , 1991, IJCAI.

[13]  J. Dewey.  Studies In Logical Theory , 1904 .

[14]  H. Poincaré.  La valeur de la science , 1905 .

[15]  Robert Stalnaker.  A Theory of Conditionals , 2019, Knowledge and Conditionals.

[16]  Lotfi A. Zadeh,et al.  Similarity relations and fuzzy orderings , 1971, Inf. Sci..

[17]  W. Salmon,et al.  Knowledge in Flux , 1991 .

[18]  Konstantinos Georgatos,et al.  Belief Update Using Graphs , 2008, FLAIRS.

[19]  Janusz Zalewski,et al.  Rough sets: Theoretical aspects of reasoning about data , 1996 .

[20]  Craig Boutilier,et al.  Revision Sequences and Nested Conditionals , 1993, IJCAI.

[21]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[22]  Konstantinos Georgatos.  Geodesic Revision , 2009, J. Log. Comput..

[23]  Karl Schlechta,et al.  Local and Global Metrics for the Semantics of Counterfactual Conditionals , 1994, J. Appl. Non Class. Logics.

[24]  Laura Giordano,et al.  Iterated Belief Revision and Conditional Logic , 2002, Stud Logica.

[25]  John L. Bell,et al.  A New Approach to Quantum Logic , 1986, The British Journal for the Philosophy of Science.

[26]  Konstantinos Georgatos.  On Indistinguishability and Prototypes , 2003, Log. J. IGPL.

[27]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[28]  Gösta Grahne,et al.  Updates and Counterfactuals , 1998, J. Log. Comput..