Universität Dortmund
Lehrstuhl Informatik VIII
Stefan Haustein
Wintersemester 2000
2000-11-15
Übungsblatt 5 zur Vorlesung Künstliche Intelligenz
Abgabe bis Do., 22.11.2000, Briefkasten LS VIII im Eingangsbereich GB IV
Gegeben sei das folgende Szenario:
Güter, Motor, und Verkehrswege sind nicht näher definiert.
Straßen und Schienen sind Verkehrswege.
Möbel sind Güter.
Fahrzeuge können auf Verkehrswegen fahren.
Transportfahrzeuge sind Fahrzeuge, die irgendwelche Güter transportieren können.
Kfz sind Fahrzeuge, die durch einen Motor angetrieben werden und nur auf Straßen fahren.
LKW sind Kfz, die irgendwelche Güter transportieren können.
Güterzüge sind Züge, die irgendwelche Güter transportieren.
Züge sind Fahrzeuge, die nur auf Schienen fahren.
Möbelwagen sind LKW, die nur Möbel transportieren.
"DuDu" ist ein Möbelwagen.
"DuDu" transportiert G64 und G128.
G64 und G128 sind Güter.
Z512 ist ein Zug
Z512 transportiert Bananen und Kohlen.
Bananen und Kohlen sind Güter.
Aufgabe 5.1 (4 Punkte)
Formalisieren Sie die T-Box und die A-Box für das oben angegebene
Szenario. Geben Sie eine grafische Darstellung an.
Aufgabe 5.2 (3 Punkte)
Zeigen Sie, dass aus der Terminologie für das obige Szenario folgt,
dass Transportfahrzeuge Güterzüge subsumieren.
Aufgabe 5.3 (3 Punkte)
Beantworten Sie mit Hilfe der Prozedur covers die Frage,
ob Z512 ein Güterzug ist.
Aufgabe 5.4 (3 Punkte)
Von welchem Begrif ist "DuDu" eine Instanz? Erlätern Sie
Ihre Antwort mit Hilfe des Realisierungsalgorithmuns und
stellen Sie die drei Schritte der Propagierung, Abstraktion
und Klassifikation dar.