Abstract
This paper starts from a denotational semantics for first order logic proposed by Apt. He interprets first order logic as a programming language within the declarative paradigm, but different from the usual approach of logic programming. For his proposal Apt obtains soundness with respect to the standard interpretation of first order logic. Here we consider the expressivity (or:computation power) of the system proposed, i.e., the programs for which no error messages are produced.
To gain computational realism a decrease in expressivity compared to first order logic is inevitable. In [1] the expressivity was compared with logic programming with both positive and negative results. Here we consider three ways of improving the situation: replacing the original interpretation of conjunction-as-sequential-composition by a symmetric interpretation of conjunction; extending the framework with the option of recursive definitions by Clark completions; replacing the interpretation of disjunction-as-choice by an interpretation which is in the style of ‘backtracking’: only produce an error if all options lead to error.
For each improvement we obtain a soundness result. The three improvements are developed independently in a way that makes sure that also their combination preserves soundness.
The combination gives a considerable improvement of the expressivity of the denotational semantics that Apt proposed, both in the comparison with first order logic and in the comparison with logic programming.
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
Apt, K.R.: A denotational semantics for first-order logic. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 53–69. Springer, Heidelberg (2000)
Apt, K.R., Bol, R.: Logic programming and negation: a survey. Journal of Logic Programming, 9–71 (1994)
Apt, K.R., Brunekreef, J., Partington, V., Schaerf, A.: Alma-0: An imperative language that supports declarative programming. ACM Toplas 20(5), 1014–1066 (1998)
Apt, K.R., Smaus, J.-G.: Rule-based versus procedure-based view on programming. In: Joint Bulletin of the Novosibirsk Computing Center and Institute of Informatics Systems. Computer Science, vol. 16, pp. 75–97 (2001)
Apt, K.R., Vermeulen, C.F.M.: First-order logic viewed as a constraint programming language. In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS (LNAI), vol. 2514, pp. 19–35. Springer, Heidelberg (2002)
Jaffar, J., Maher, J.M.: Constraint logic programming: a survey. Journal of Logic Programming 19/20 (1994)
Kowalski, R.: Predicate logic as a programming language. In: Proc. of the IFIP Congress 1974, pp. 569–574. North-Holland, Amsterdam (1974)
Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)
Marriott, K., Stuckey, P.: Programming with Constraints: an introduction. The MIT Press, Cambridge (1998)
Smaus, J.-G.: The optimality of apt’s generic semantics for first-order equations (2002) (work in progress)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vermeulen, K.F.M. (2003). More Computation Power for a Denotational Semantics for First Order Logic. In: Baaz, M., Makowsky, J.A. (eds) Computer Science Logic. CSL 2003. Lecture Notes in Computer Science, vol 2803. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45220-1_43
Download citation
DOI: https://doi.org/10.1007/978-3-540-45220-1_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40801-7
Online ISBN: 978-3-540-45220-1
eBook Packages: Springer Book Archive