Rhodes, Greece. September 2-8, 2023.

Edited by

ISSN: 2334-1033

ISBN: 978-1-956792-02-7

Sponsored by

Published by

Copyright © 2023 International Joint Conferences on Artificial Intelligence Organization

- Nonmonotonic logics, default logics, conditional logics
- Explainable AI
- Belief revision and update, belief merging, information fusion

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.