Einführung in die Methoden der Künstlichen Intelligenz - Goethe ...

7 Konzeptbeschreibungssprachen
Beispiel 7.2.8. Wir geben einige Beispiele, was man in diesen Sprachen ausdrücken kann. Wenn
man die Konzeptnamen Mensch, Frau, Mann und keine weiteren Axiome hat, sind die Beziehungen
zwischen Mensch, Frau und Mann ziemlich frei. Als Axiome würde man sich wünschen Frau ⊓
Mann = ⊥, d.h. die beiden Konzepte sollen disjunkt sein; und Mensch ≡ Frau ⊓ Mann, d.h.
Menschen sind entweder Mann oder Frau.
Mittels der Relationen kann man weitere Konzepte definieren:
Eltern := Mensch ⊓ (∃hatKind.Mensch)
Da das noch Freiheiten lässt, ist folgende Definition genauer
Eltern := Mensch ⊓ (∃hatKind.Mensch) ⊓ (∀hatKind.Mensch)
Desweiteren kann man definieren:
Mutter := Frau ⊓ Eltern
Hier kann das Wissensrepräsentationssystem in Prinzip herausfinden, dass gilt I(Mutter) ⊆
I(Frau). Eine Studentin könnte man definieren durch
Studentin := Frau ⊓ (∃studiertFach.⊤)
Anzahlbeschränkungen kann man verwenden z.B. in
Bigamist := Mann ⊓ (≥ 2 verheiratetMit)
⊓ (≤ 2 verheiratetMit) ⊓ (∀verheiratetMit.Frau)
wenn verheiratetMit eine Rolle ist. Ist verheiratetMit sowieso eine atomare Funktion, dann sollte
die Semantik (die wir gleich definieren) liefern: I(Bigamist) = ∅ für jede Interpretation I.
Sei isstGerne eine Rolle, dann beschreibt das Konzept
Mensch ⊓ (verheiratetMit; isstGerne = isstGerne)
gerade alle Menschen deren Ehepartner das gleiche Essen mögen, wie sie selbst.
Verwendet man atomare Rollen und Pfadgleichungen, so beschreibt das Konzept
Mann ⊓ (hatNachnamen = hatMutter; hatNachnamen)
alle Männer, die den selben Nachnamen wie ihre Mutter haben (wobei hatNachnamen und
hatMutter atomare Funktionen sind).
Man erkennt, dass der Formalismus die Konzeptbildung mittels Vereinigung, Schnitt,
Komplement, und über Eigenschaften bzw. Relationen erlaubt.
Stand: 31. Januar 2013 224 M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13