Inference and query answering over fuzzy Boolean extension of Allen’s interval logic

Issue title: Special Section: Similarity, correlation and association measures - dedicated to the memory of Lotfi Zadeh

Guest editors: Ildar Batyrshin, Valerie Cross, Vladik Kreinovich and Maria Rifqi

Article type: Research Article

Authors: Plesniewicz, Gerald S.^{; *}

Affiliations: Applied Mathematical Department, National Research University MPEI, Krasnokazarmennaya, Moscow, Russia

Correspondence: [*] Corresponding author. Gerald S. Plesniewicz, Applied Mathematical Department, National Research University MPEI, Krasnokazarmennaya 14, 111250, Moscow, Russia. E-mail: PlesnevichGS@mpei.ru.

Abstract:  We define a fuzzy logic whose sentences are Boolean combinations of Allen’s relations between temporal intervals. Estimates for truth degrees can be associated with sentences of this logic. Such estimates make up a certain logic EL for which we define the inference method based on analytic tableaux. We define the method of query answering over ontologies and their fact bases that are finite subsets of EL.

Keywords: Fuzzy logic, interval logics, Allen’s interval logic, deduction, query answering

DOI: 10.3233/JIFS-18446

Journal: Journal of Intelligent & Fuzzy Systems, vol. 36, no. 4, pp. 3033-3043, 2019