Projects per year
Our goal is to answer this question. Using an epistemic approach, we first characterize possible levels of partial knowledge about propositions, which leads to six truth values. We impose rationality conditions on the semantics of the connectives 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 extensions 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 information represented by null values is no more powerful than the usual two-valued logic with the standard Boolean interpretation 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.
|Title of host publication||Proceedings of the Twenty-Eighth International Joint Conferences on Artificial Intelligence|
|Publisher||International Joint Conferences on Artificial Intelligence Organization|
|Number of pages||5|
|Publication status||Published - 31 Aug 2019|
|Event||International Joint Conference in Artificial Intelligence - Macao, China|
Duration: 10 Aug 2019 → 16 Aug 2019
Conference number: 28th
|Conference||International Joint Conference in Artificial Intelligence|
|Abbreviated title||IJCAI 2019|
|Period||10/08/19 → 16/08/19|
1/10/16 → 31/05/22
Console, M., Guagliardo, P. & Libkin, L., 2 Nov 2018, Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-18). Tempe, Arizona, USA: AAAI Press, p. 592-601 10 p. (Principles of Knowledge Representation and Reasoning).
Research output: Chapter in Book/Report/Conference proceeding › Conference contributionOpen AccessFile