Nächste Seite: Aufgabe 25 Vorige Seite: Aufgabe 23

Aufgabe 24

Gegeben sei der folgende Text:

Eine Pflanze kann in mehreren Farben leuchten. Bäume sind Pflanzen. Alle Bäume sind von grüner Farbe. Alle Bäume bestehen aus Stamm und Krone.

Modelliere den Text in KL-ONE-artiger Notation.

Stelle das Netz in der Prädikatenlogik dar.

Erläutere die Begriffe primitives und definiertes Konzept .

Nun wissen wir, daß ``binäre Bäume'' zwar Bäume, aber keine Pflanzen sind. Gib an, wie solche Widersprüche in KL-ONE behandelt werden könnten. Diskutiere die Methode auch unter Berücksichtigung des Schließungsalgorithmus.