Propositional and predicate logics of incomplete information - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Artificial Intelligence Année : 2022

Propositional and predicate logics of incomplete information

Résumé

One of the most common scenarios of handling incomplete information occurs in relational databases. They describe in-complete knowledge with three truth values, using Kleene’s logic for propositional formulae and a rather peculiar exten-sion to predicate calculus. This design by a committee from several decades ago is now part of the standard adopted by vendors of database management systems. But is it really the right way to handle incompleteness in propositional and pred-icate logics? Our goal is to answer this question. Using an epistemic ap-proach, we first characterize possible levels of partial knowl-edge about propositions, which leads to six truth values. We impose rationality conditions on the semantics of the connec-tives of the propositional logic, and prove that Kleene’s logic is the maximal sublogic to which the standard optimization rules apply, thereby justifying this design choice. For exten-sions to predicate logic, however, we show that the additional truth values are not necessary: every many-valued extension of first-order logic over databases with incomplete informa-tion represented by null values is no more powerful than the usual two-valued logic with the standard Boolean interpreta-tion of the connectives. We use this observation to analyze the logic underlying SQL query evaluation, and conclude that the many-valued extension for handling incompleteness does not add any expressiveness to it.
Fichier principal
Vignette du fichier
kr18.pdf (388.67 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03934331 , version 1 (05-12-2023)

Identifiants

Citer

Marco Console, Paolo Guagliardo, Leonid Libkin. Propositional and predicate logics of incomplete information. Artificial Intelligence, 2022, 302, pp.103603. ⟨10.1016/j.artint.2021.103603⟩. ⟨hal-03934331⟩
54 Consultations
41 Téléchargements

Altmetric

Partager

More