*Result*: An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning.
Title:
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning.
Authors:
Burrieza, A.1 (AUTHOR), Mora, A.2 (AUTHOR), Ojeda-Aciego, M.2 (AUTHOR) aciego@uma.es, Orłowska, E.3 (AUTHOR)
Source:
International Journal of Computer Mathematics. Oct/Nov2009, Vol. 86 Issue 10/11, p1852-1866. 15p. 2 Diagrams.
Subject Terms:
Database:
Library, Information Science & Technology Abstracts
*Further Information*
*Logic programming has been used as a natural framework to automate deduction in the logic of order-of-magnitude reasoning. Specifically, we introduce a Prolog implementation of the Rasiowa-Sikorski proof system associated with the relational translation Re(OM) of the multi-modal logic of order-of-magnitude qualitative reasoning OM. [ABSTRACT FROM AUTHOR]*