Nächste Seite: Aufgabe 24
Vorige Seite: Aufgabe 22
![*](./redball.gif)
- Beschreibe die folgende Situation mit
einem KL-ONE Netz:
Ein Mensch ist eine Kreatur.
Ein Wissenschaftler ist ein Mensch.
Menschen haben einen Beruf.
Technische Berufe sind auch Berufe.
Informatik ist ein technischer Beruf.
Ein Techniker ist ein Mensch, der einen technischen Beruf ausübt.
Ein Informatiker ist ein Mensch, der Informatik als Beruf hat.
![*](./redball.gif)
- Subsumiert das Konzept Wissenschaftler das Konzept
Kreatur? Wenn ja, warum?
![*](./redball.gif)
- Ist das Subsumierungsproblem,
das ist die Frage, ob sich ein Konzept von einem anderen subsumieren
läßt, entscheidbar? Welche Komplexität hat das Problem (es ist kein
formaler Beweis verlangt)?
![*](./redball.gif)
- Stelle das Netz in der Prädikatenlogik dar.
![*](./redball.gif)
- Beschreibe einen technischen Informatiker und zeichne diesen
in das obige Bild ein (mit einer anderen Farbe). In welcher Relation
steht dieser zum Informatiker?
Christoph Quix, Thomas List, René Soiron
30. September 1996