Skip to main content
SpringerLink
Log in

Properties and actions

  • Conference paper
  • First Online:
Natural Language and Logic

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 459))

  • 218 Accesses

Abstract

One of the current issues of knowledge processing is the problem of integrating knowledge representation with classical programming languages. This may have two reasons. First, large software products already exist, and ‘newcomers’ have to take care of how they fit into the landscape. Second, some problems seem to inherently call for procedural programming, either because of execution speed or since their algorithmic treatment is known from other contexts. It is e.g. not appropriate to program matrix multiplication in Prolog.

In this paper, a general solution is presented for the problem of integrating full first-order predicate logic in a procedural language like PASCAL. We suspect that our approach can be used to develop a formal semantics for fragments of natural language describing properties and actions.

SCHFELD at DHDIBMI (EARN)

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Barwise (Ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam 1977

    Google Scholar 

  2. E.W. Beth, The foundations of mathematics, North-Holland Publ. Co., Amsterdam 1959

    Google Scholar 

  3. W. Bibel, Matings in Matrices, Communications of the ACM 26(1983), 844–852

    Article  Google Scholar 

  4. K.A. Bowen, R.A. Kowalski, Amalgamation of language and metalanguage in logic programming, in: D.D. Clark, S.-A. Tärnlund (Eds.), Logic Programming, Academic Press (1982), 153–172

    Google Scholar 

  5. C. Muller, Modula-Prolog User Manual, KLR 85-107 C, Brown, Boveri & Company, Baden/Switzerland (1985)

    Google Scholar 

  6. W. Schönfeld, PROLOG extensions based on tableau calculus, Proc. 9th Int. Conf. Artificial Intelligence, Aug. 1985, Los Angeles, Ca., Vol. 2, pp. 730–732.

    Google Scholar 

  7. W. Schönfeld, W. Stephan, Integration of Descriptive and Procedural Language Constructs, to appear in the Proc. Computer Science Logic '88 (Duisburg), Springer Lecture Notes in Computer Science.

    Google Scholar 

  8. J. E. Stoy, Denotational Semantics: The Scott-strachey Approach to Programming Language Theory, MIT Press, Cambridge, Mass., 1977.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM Germany Scientific Center — IWBS, Wilckensstr. 1a, D-6900, Heidelberg 1

    Wolfgang Schönfeld

Authors
  1. Wolfgang Schönfeld
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rudi Studer

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schönfeld, W. (1990). Properties and actions. In: Studer, R. (eds) Natural Language and Logic. Lecture Notes in Computer Science, vol 459. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53082-7_25

Download citation

  • DOI: https://doi.org/10.1007/3-540-53082-7_25

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53082-4

  • Online ISBN: 978-3-540-46653-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation