On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility

  • Joanna Golińska-Pilarek
Conference paper

DOI: 10.1007/978-3-642-33353-8_20

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7519)
Cite this paper as:
Golińska-Pilarek J. (2012) On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. In: del Cerro L.F., Herzig A., Mengin J. (eds) Logics in Artificial Intelligence. Lecture Notes in Computer Science, vol 7519. Springer, Berlin, Heidelberg

Abstract

Qualitative Reasoning (QR) is an area of research within Artificial Intelligence that automates reasoning and problem solving about the physical world. QR research aims to deal with representation and reasoning about continuous aspects of entities without the kind of precise quantitative information needed by conventional numerical analysis techniques. Order-of-magnitude Reasoning (OMR) is an approach in QR concerned with the analysis of physical systems in terms of relative magnitudes. In this paper we consider the logic OMRN for order-of-magnitude reasoning with the bidirectional negligibility relation. It is a multi-modal logic given by a Hilbert-style axiomatization that reflects properties and interactions of two basic accessibility relations (strict linear order and bidirectional negligibility). Although the logic was studied in many papers, nothing was known about its decidability. In the paper we prove decidability of OMRN by showing that the logic has the strong finite model property.

Keywords

multi-modal logic qualitative reasoning order-of-magnitude reasoning bidirectional negligibility knowledge representation decidability 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Joanna Golińska-Pilarek
    • 1
  1. 1.Institute of PhilosophyUniversity of WarsawPoland

Personalised recommendations