Indiscernibility and complementarity relations in information systems - Archive ouverte HAL
Chapitre D'ouvrage Année : 1999

Indiscernibility and complementarity relations in information systems

Résumé

We present logical systems for an analysis of data that have the form of descriptions of some objects of an application domain in terms of their attributes. We analyse two types of relationships among objects referred to as indiscernibility and complementarity. We present a modal logic LIC for reasoning about indiscernibility, complementarity and relationships between them. We define a Kripke-style semantics for LIC as well as semantics determined by information systems. We present a sound and complete deduction system for LIC. We also investigate the complexity of the satisfiability problem for LIC.
Fichier principal
Vignette du fichier
DOV99.pdf (237.25 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03192504 , version 1 (08-04-2021)

Identifiants

  • HAL Id : hal-03192504 , version 1

Citer

Stéphane Demri, Ewa Orlowska, Dimiter Vakarelov. Indiscernibility and complementarity relations in information systems. Jelle Gerbrandy; Maarten Marx; Maarten de Rijke; Yde Venema. JFAK: Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, , 1999. ⟨hal-03192504⟩

Collections

UGA IMAG CNRS
57 Consultations
41 Téléchargements

Partager

More