Title :
On the modal logic of order-of-magnitude qualitative reasoning: a tableau calculus
Author :
Burrieza, Alfredo ; Ojeda-Aciego, Manuel
Author_Institution :
Dept. Filosofia, Univ. de Malaga
Abstract :
This work is based on the multimodal logic L(MQ), recently introduced, which formalizes order-of-magnitude qualitative reasoning. The aim of this paper is to provide a sound and complete tableau method for the future fragment of L(MQ)
Keywords :
common-sense reasoning; process algebra; multimodal logic; order-of-magnitude qualitative reasoning; tableau calculus; Calculus; Coherence; Control systems; Differential equations; Extraterrestrial measurements; Fuzzy logic; Fuzzy reasoning; Ordinary magnetoresistance; Read only memory;
Conference_Titel :
Artificial intelligence, 2005. epia 2005. portuguese conference on
Conference_Location :
Covilha
Print_ISBN :
0-7803-9366-X
Electronic_ISBN :
0-7803-9366-X
DOI :
10.1109/EPIA.2005.341259
