DocumentCode
2252722
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
fYear
2005
fDate
5-8 Dec. 2005
Firstpage
33
Lastpage
37
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/EPIA.2005.341259
Filename
4145918
Link To Document