1993 | OriginalPaper | Buchkapitel
Logic
verfasst von : Frank Puppe
Erschienen in: Systematic Introduction to Expert Systems
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The knowledge representation which has been most thoroughly investigated experimentally and is often used as a reference point for other representations is first-order predicate logic. However, since its practical use for expert systems is relatively slight, it is used here mainly as an introduction to the problems of knowledge representation systems and as a motivation for the development of other formalisms. Comprehensive introductions to predicate logic can be found, e.g., in [Bibel 87], [Charniak 85], [Genesereth 87], [Lloyd 87], [Melvin 91], [Nilsson 82].