Abstract
The different semantics that can be assigned to a logic program correspond to different assumptions made concerning the atoms whose logical values cannot be inferred from the rules. Thus, the well founded semantics corresponds to the assumption that every such atom is false, while the Kripke-Kleene semantics corresponds to the assumption that every such atom is unknown. In this paper, we propose to unify and extend this assumption-based approach by introducing parameterized semantics for logic programs. The parameter holds the value that one assumes for all atoms whose logical values cannot be inferred from the rules. We work within Belnap’s four-valued logic, and we consider the class of logic programs defined by Fitting.
Following Fitting’s approach, we define a simple operator that allows us to compute the parameterized semantics, and to compare and combine semantics obtained for different values of the parameter. The semantics proposed by Fitting corresponds to the value false. We also show that our approach captures and extends the usual semantics of conventional logic programs thereby unifying their computation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arieli, O. and Avron, A., The Value of Four Values, Artificial Intelligence 102:97–141, 1998.
Belnap, N. D., Jr, A Useful Four-Valued Logic, in: J. M. Dunn and G. Epstein (eds.), Modern Uses of Multiple-valued Logic, D. Reichel, Dordrecht, 1977.
Fitting, M. C., A Kripke/Kleene Semantics for Logic Programs, J. Logic Programming, 2:295–312 (1985).
Fitting, M. C., Bilattices and the Semantics of Logic Programming, J. Logic Programming, 11:91–116 (1991).
Fitting, M. C., Weil-Founded Semantics, Generalized, in: v. Saraswat and K. Ueda (eds.), Logic Programming, Proceeding of the 1991 International Symposium, MIT Press, Cambridge, MA, 71–84, 1991.
Fitting, M. C., The Family of Stable Models, J. Logic Programming, 17:197–225 (1993).
Gelfond, M. and Lifschitz, V., The Stable Model Semantics for Logic Programming, in: R. Kowalski and K. Bowen (eds.), Proceedings of the Fifth Logic Programming Symposium MIT Press, Cambridge, MA, 978–992, 1988.
Ginsberg, M. L., Multivalued Logics: a Uniform Approach to Reasonning in Artificial Intelligence, Computationnal Intelligence, 4:265–316, 1988.
Ginsberg, M. L., Bilattices and modal operators, J. of Logic Computation, 1:41–69, 1990.
Loyer, Y., Spyratos, N., Stamate, D., Unification des sémantiques usuelles de programmes logiques, Journées Francophones de Programmation Logique et programmation par Contraintes, Nantes, 135–150, 1998.
Przymusinski, T. C., Extended Stable Semantics for Normal and Disjunctive Programs, in D. H. D. Warren and P. Szeredi (eds.), Proceedings of the Seventh International Conference on Logic Programming, MIT Press, Cambridge, MA, 459–477, 1990.
Przymusinski, T. C., Well-Founded Semantics Coincides with Three-Valued Stable Semantics, Fund. Inform., 13:445–463, 1990.
Van Gelder, The Alternating Fixpoint of Logic Programs with Negation, in: Proceedings of the Eighth Symposium on Principles of Database Systems, ACM, Philadelphia, 1–10, 1989.
Van Gelder, A., Ross, K. A., Schlipf, J. S., Unfounded Set and Well-Founded Semantics for General Logic Programs, in: Proceedings of the Seventh Symposium on Principles of Database Systems, 221–230, 1988.
Van Gelder, A., Ross, K. A., Schlipf, J. S., The Well-Founded Semantics for General Logic Programs, J. ACM, 38:620–650, 1991.
Yablo, S., Truth and Reflection, J. Philos. Logic, 14:297–349, 1985.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Loyer, Y., Spyratos, N., Stamate, D. (1999). Computing and Comparing Semantics of Programs in Four-Valued Logics. In: Kutyłowski, M., Pacholski, L., Wierzbicki, T. (eds) Mathematical Foundations of Computer Science 1999. MFCS 1999. Lecture Notes in Computer Science, vol 1672. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48340-3_6
Download citation
DOI: https://doi.org/10.1007/3-540-48340-3_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66408-6
Online ISBN: 978-3-540-48340-3
eBook Packages: Springer Book Archive