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

7 Konzeptbeschreibungssprachen
{x | ∃y.(I(A)(x) = y ∧ (y ∈ I(C 1 )) ∧ y ∈ I(C 2 ))}
= {x | ∃y.(I(A)(x) = y ∧ y ∈ I(C 1 )) ∧ I(A)(x) = y ∧ y ∈ I(C 2 )}
= {x | (∃y.(I(A)(x) = y ∧ y ∈ I(C 1 ))) ∧ ∃y.I(A)(x) = y ∧ y ∈ I(C 2 )}
= I((∃A.K 1 ) ⊔ (∃A.C 2 ))
Entsprechende Aussagen gelten für ⊓. Hierbei ist der Definitionsbereich zu beachten.
Es gilt: Die Subsumtion in ALC mit funktionalen Rollen, d.h. Attributen, ist entscheidbar,
auch wenn agreements (role value maps) hinzugenommen werden.
7.5.5 Verarbeitung natürlicher (geschriebener) Sprache
Man kann Merkmalsstrukturen im Bereich (Unifikations-)Grammatiken zur Verarbeitung
natürlicher Sprache in der Computerlinguistik verwenden. Man schreibt die Anwendung
von Funktionen auch in der Dot-Notation. D.h. statt f(g(x)) schreibt man x.f.g
Beispiel 7.5.1. Beispielsweise kann man das Wort „sie“im Deutschen wie folgt charakterisieren:
sie := (Syn.cat = P P ) ⊓ (Syn.agr.person = 3) ⊓ (Syn.agr.sex = W )
⊓(Syn.agr.num = sg)
oder
sie := (Syn.cat = P P ) ⊓ (Syn.agr.person = 3) ⊓ (Syn.agr.num = pl)
Grammatikregeln werden um Attributgleichungen (feature agreements, Pfadgleichungen) erweitert:
NP = Det Adj N (Det.person) = (N.person) ⊓ (Det.casus) = (N.casus)
Anwendungen für Merkmalsstrukturen sind:
• Lexikoneinträge von Wörtern, oder Wortklassen:
• Semantische Zuordnung von Wörtern aus dem Lexikon
z.B. Bank: Gebäude oder Sitzmöbel
• Kontextfreie Grammatikregeln mit Bedingungen
Der Test, ob eine Regel anwendbar ist, erfordert dann einen Konsistenztest für eine
Merkmalsstruktur
Dieser Test wird auch Unifikation von Merkmalsstrukturen genannt („feature unification“).
Die entsprechenden Grammatiken heißen auch Unifikationsgrammatiken (PATR-II,
STUF, ....)
Die Ausdrucksstärke von Merkmalsstrukturen kann je nach erlaubten Konstrukten
ebenfalls unterschiedlich sein.
Stand: 30. Januar 2013 254 M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13