Translating a Modal Language with Embedded Implication into Horn Clause Logic

In this paper we present a method for translating Horn clauses extended with modalities and embedded implication (which provide reasoning capabilities in a multiagent situation and hypothetical reasoning) into Horn clauses, therefore suitable for SLD resolution. The translation takes two steps: the first one eliminates embedded implications by introducing new modalities; the second eliminates modalities by adding an argument which represents the worlds of the Kripke semantics to all predicates.

[1]  Laura Giordano,et al.  A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning , 1998, J. Log. Comput..

[2]  Laura Giordano,et al.  A Multimodal Logic to Define Modules in Logic Programming , 1993, ILPS.

[3]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[4]  Gopalan Nadathur,et al.  Scoping Constructs in Logic Programming: Implementation Problems and their Solutions , 1995, J. Log. Program..

[5]  Martín Abadi,et al.  Temporal Logic Programming , 1989, J. Symb. Comput..

[6]  David Scott Warren,et al.  Database Updates in Pure Prolog , 1984, FGCS.

[7]  Patrice Enjalbert,et al.  Multimodal Logic Programming Using Equational and Order-Sorted Logic , 1992, Theor. Comput. Sci..

[8]  Dale Miller,et al.  A Logical Analysis of Modules in Logic Programming , 1989, J. Log. Program..

[9]  Andreas Nonnengart.  How to Use Modalities and Sorts in Prolog , 1994, JELIA.

[10]  Luis Fariñas del Cerro,et al.  Modal deduction with applications in epistemic and temporal logics , 1995 .

[11]  Dov M. Gabbay,et al.  Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language , 1995, LPNMR.

[12]  Patrice Enjalbert,et al.  Modal Theorem Proving: An Equational Viewpoint , 1989, IJCAI.

[13]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[14]  Hans Jürgen Ohlbach,et al.  Semantics-Based Translation Methods for Modal Logics , 1991, J. Log. Comput..

[15]  John L. Pollock,et al.  Basic modal logic , 1967, Journal of Symbolic Logic.

[16]  Laura Giordano,et al.  Structuring Logic Programs: A Modal Approach , 1994, J. Log. Program..