Counterfactual Reasoning via Grounded Distance - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Counterfactual Reasoning via Grounded Distance

Résumé

Conditional logics are usually interpreted in terms of closest world and minimal change. It relies on a measure of distance between worlds which is defined abstractly, i.e. as an element of the model. The typical example of a concrete measure in literature is the Hamming distance. We show that given countably infinite atomic propositions in the language, Hamming distance is not merely an example, but grounded for two arguably most important conditional logics, Lewis' VC and VCU. That means, a formula is satisfied in a VC (resp. VCU) model, if and only if it is satisfied in a VC (resp. VCU) model whose distance between worlds is Hammingian.

Dates et versions

hal-04307012 , version 1 (25-11-2023)

Identifiants

Citer

Carlos Aguilera-Ventura, Andreas Herzig, Xinghan Liu, Emiliano Lorini. Counterfactual Reasoning via Grounded Distance. 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Principles of Knowledge Representation and Reasoning, Incorporated (KR, Inc.), Sep 2023, Rhodes, Greece. pp.2-11, ⟨10.24963/KR.2023/1⟩. ⟨hal-04307012⟩
47 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More