Indiscernibility and complementarity relations in information systems Chapitre d’ouvrage - 1999

Stéphane Demri, Ewa Orlowska, Dimiter Vakarelov

Stéphane Demri, Ewa Orlowska, Dimiter Vakarelov, « Indiscernibility and complementarity relations in information systems  », in Jelle Gerbrandy, Maarten Marx, Maarten de Rijke, Yde Venema (eds.), JFAK : Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, 1999. 〈http://festschriften.illc.uva.nl/j50/〉

Abstract

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.

Voir la notice complète sur HAL

Actualités