First-order characterization and modal analysis of indiscernibility and complementarity in information systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

First-order characterization and modal analysis of indiscernibility and complementarity in information systems

Résumé

In this paper, we study indiscernibility relations and complementarity relations in information systems. The first-order characterization of indiscernibility and complementarity is obtained through a duality result between information systems and certain structures of relational type characterized by first-order conditions. The modal analysis of indiscernibility and complementarity is performed through a modal logic which modalities correspond to indiscernibility relations and complementarity relations in information systems.
Fichier principal
Vignette du fichier
FOCAMAOIACIIS.pdf (162.86 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03252571 , version 1 (07-06-2021)

Identifiants

Citer

Philippe Balbiani, Dimiter Vakarelov. First-order characterization and modal analysis of indiscernibility and complementarity in information systems. 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2001), Sep 2001, Toulouse, France. pp.772-781, ⟨10.1007/3-540-44652-4_68⟩. ⟨hal-03252571⟩
17 Consultations
72 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More