On Approximation of the Semantic Operators Determined by Bilattice-Based Logic Programs

We introduce the class of bilattice-based annotated logic programs (BAPs). These programs extend the general annotated programs of Kifer and Subrahmanian to the bilattice case. The immediate consequence operator TP is defined for BAPs and its continuity is proven. A theorem of Seda concerning the approximation of the least fixed point of the two-valued TP-operator is generalized to the case of BAPs. Finally, alternative bilattice-based logic programs are compared with BAPs, and theorems on the computation of the least fixed points of their semantic operators are established. This gives an extension of the theorem on approximation of the least fixed point of TP to a wide class of bilattice-based logic programs.

[1]  Krysia Broda,et al.  Neural-Symbolic Learning Systems , 2002 .

[2]  V. S. Subrahmanian,et al.  Probabilistic Logic Programming , 1992, Inf. Comput..

[3]  Matthew L. Ginsberg,et al.  Multivalued logics: a uniform approach to reasoning in artificial intelligence , 1988, Comput. Intell..

[4]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[5]  Melvin Fitting,et al.  Bilattices in logic programming , 1990, Proceedings of the Twentieth International Symposium on Multiple-Valued Logic.

[6]  M. H. van Emden,et al.  Quantitative Deduction and its Fixpoint Theory , 1986, J. Log. Program..

[7]  Krysia Broda,et al.  Neural-symbolic learning systems - foundations and applications , 2012, Perspectives in neural computing.

[8]  Melvin Fitting,et al.  Fixpoint Semantics for Logic Programming a Survey , 2001, Theor. Comput. Sci..

[9]  V. S. Subrahmanian,et al.  Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..

[10]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[11]  Anthony Karel Seda,et al.  On the Integration of Connectionist and Logic-Based Systems , 2006, MFCSIT.

[12]  Melvin Fitting,et al.  Metric Methods Three Examples and a Theorem , 1994, J. Log. Program..

[13]  Michael Kifer,et al.  RI: a logic for reasoning with inconsistency , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[14]  Michael Kifer,et al.  A logic for reasoning with inconsistency , 1992, Journal of Automated Reasoning.

[15]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[16]  Fahiem Bacchus,et al.  Lp, a logic for representing and reasoning with statistical knowledge , 1990, Comput. Intell..

[17]  Melvin Fitting,et al.  Bilattices and the Semantics of Logic Programming , 1991, J. Log. Program..

[18]  Laks V. S. Lakshmanan,et al.  On a theory of probabilistic deductive databases , 2001, Theory and Practice of Logic Programming.