KR2023Proceedings of the 20th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 2-8, 2023.

Edited by
  1. Pierre Marquis,
  2. Tran Cao Son
  3. Gabriele Kern-Isberner

ISSN: 2334-1033
ISBN: 978-1-956792-02-7

Sponsored by
Published by

Copyright © 2023 International Joint Conferences on Artificial Intelligence Organization

Counterfactual Reasoning via Grounded Distance

  1. Carlos Aguilera-Ventura(University of Toulouse, IRIT-CNRS)
  2. Andreas Herzig(University of Toulouse, IRIT-CNRS)
  3. Xinghan Liu(University of Toulouse, IRIT-CNRS)
  4. Emiliano Lorini(University of Toulouse, IRIT-CNRS)
PDF
BibTeX
https://doi.org/10.24963/kr.2023/1

Keywords

  1. Nonmonotonic logics, default logics, conditional logics
  2. Explainable AI
  3. Belief revision and update, belief merging, information fusion

Abstract

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.