A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations

Authors:
Alfredo Burrieza;Manuel Ojeda-Aciego
Affiliations:
Department Filosofía. Universidad de Málaga. Spain. E-mail: burrieza@uma.es;Department Matemática Aplicada. Universidad de Málaga. Spain. E-mail: aciego@ctima.uma.es
Venue:
Fundamenta Informaticae
Year:
2005

Citing 6
Cited 1

Order of magnitude reasoning

Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Proving properties of continuous systems: qualitative simulation and temporal logic

Artificial Intelligence
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning

Applied Intelligence
Qualitative spatiotemporal representation and reasoning: a computational perspective

Exploring artificial intelligence in the new millennium
Reasoning with orders of magnitude and approximate relations

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Numeric reasoning with relative orders of magnitude

AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence

On decidability of a logic for order of magnitude qualitative reasoning with bidirectional negligibility

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.