论文信息 - Implementing a relational system for order of magnitude reasoning

Implementing a relational system for order of magnitude reasoning

This work concentrates on the automated deduction of logics of order-of-magnitude reasoning. Specifically, a Prolog implementation is presented for the RasiowaSikorski proof system associated to the relational translation Re(OM) of the multimodal logic of qualitative order-of-magnitude reasoning OM.

[1] R. Sikorski,et al. The mathematics of metamathematics , 1963 .

[2] Andrea Formisano,et al. A Prolog tool for relational translation of modal logics: a front-end for relational proof systems , 2005 .

[3] E. Orlowska. Relational interpretation of modal logics , 1988 .

[4] Manuel Ojeda-Aciego,et al. Relational Approach to Order-of-Magnitude Reasoning , 2006, Theory and Applications of Relational Structures as Knowledge Instruments.

[5] Ewa Orlowska,et al. Relational Semantics for Nonclassical Logics: Formulas are Relations , 1994 .

[6] Manuel Ojeda-Aciego,et al. A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations , 2005, Fundam. Informaticae.

[7] Beata Konikowska,et al. Rasiowa-Sikorski deduction systems in computer science applications , 2002, Theor. Comput. Sci..

[8] Joanna Golinska-Pilarek,et al. Tableaux and Dual Tableaux: Transformation of Proofs , 2007, Stud Logica.