Advertisement

Prolog pp 87-93 | Cite as

Klassifikation, Analyse und Synthese von Termen

  • Ralf Cordes
  • Rudolf Kruse
  • Horst Langendörfer
  • Heinrich Rust
Part of the Artificial Intelligence / Künstliche Intelligenz book series (KI)

Zusammenfassung

In dieser Lektion werden einige Prädikate vorgestellt, mit denen wir Terme klassifizieren und analysieren können. Diese Prädikate werden häufig extralogisch genannt, weil ihre Bedeutung nicht von der rein prädikatenlogischen Semantik erfaßt wird.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig 1990

Authors and Affiliations

  • Ralf Cordes
  • Rudolf Kruse
  • Horst Langendörfer
  • Heinrich Rust

There are no affiliations available

Personalised recommendations