Logics for Contact and Measure - Intelligence Artificielle
Pré-Publication, Document De Travail Année : 2024

Logics for Contact and Measure

Résumé

We enrich contact algebras with a new binary relation that compares the size of regions, and provide axiom systems for various logics of contact and measure. Our contribution is three-fold: (1) we characterize the relations on a Boolean algebra that derive from a measure, thereby improving an old result of Kraft, Pratt and Seidenberg; (2) for all n≥1, we axiomatize the logic of regular closed sets of R^n with null boundary; (3) considering a broad class of equational theories that contains all logics of contact, we prove that they all have unary or finitary unification, and that unification and admissibility are decidable.
Fichier principal
Vignette du fichier
main.pdf (713.21 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04544145 , version 1 (12-04-2024)
hal-04544145 , version 2 (16-04-2024)

Identifiants

  • HAL Id : hal-04544145 , version 2

Citer

Philippe Balbiani, Quentin Gougeon, Tinko Tinchev. Logics for Contact and Measure. 2024. ⟨hal-04544145v2⟩
465 Consultations
143 Téléchargements

Partager

More