Abstract
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude qualitative reasoning, extending the recently introduced system MQ, by means of a certain notion of negligibility relation which satisfies a number of intuitively plausible properties, as well as a minimal axiom system allowing for interaction among the different qualitative relations. The main aim is to show the completeness of the formal system introduced. Moreover, we consider some definability results and discuss possible directions for further research.
Citation
Please, cite this work as:
[BO05] A. Burrieza and M. Ojeda-Aciego. “A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations”. In: Fundam. Informaticae 68.1-2 (2005), pp. 21-46. URL: http://content.iospress.com/articles/fundamenta-informaticae/fi68-1-2-02.
@Article{Burrieza2005a,
author = {Alfredo Burrieza and Manuel Ojeda-Aciego},
journal = {Fundam. Informaticae},
title = {A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations},
year = {2005},
number = {1-2},
pages = {21–46},
volume = {68},
abstract = {Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude qualitative reasoning, extending the recently introduced system MQ, by means of a certain notion of negligibility relation which satisfies a number of intuitively plausible properties, as well as a minimal axiom system allowing for interaction among the different qualitative relations. The main aim is to show the completeness of the formal system introduced. Moreover, we consider some definability results and discuss possible directions for further research.},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/journals/fuin/BurriezaO05.bib},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi68-1-2-02},
}