Wissensrepräsentationsmethoden

Wissensrepräsentationsmethoden
KI natürlich sprachliche Beschreibung logisch formale Darstellung Wissensrepräsentation, Wissensdarstellung, Datenmodelle Wissensverarbeitung

Wissensrepräsentationsmethoden (WRM) hybride WRM deklarative WRM prozedurale WRM regelorientierte WRM objektorientierte WRM Datenbanken lexikalische WRM Logik orientierte WRM relational entity relationship Modell grammatikalische WRM Thesauri Lexika Produktionsregelsysteme semantische Netze Frame - Repräsentationen strukturierte Vererbungsnetze

Kognitive Modellierung Begriff: Wortetikett (bezeichnet Begriff und vertritt ihn in der Kommunikation) alle Beziehungen zu anderen Begriffen komplexes Muster perzeptuellen (meist visuellen) Ursprungs

semantisches Netz: Darstellung von Begriffen und deren Beziehung Graph: Knoten = Begriffe, Kanten = Beziehungen, (Relationen)

} Wissensrepräsentationsmethoden Kognitives semantisches Netz:
Knoten sind Begriffe Kanten sind jeweils Klassen von ähnlichen Beziehungen zwischen Begriffen = „semantische Tiefenbeziehung“ Beispiel: } Tisch - Tischplatte Schiff - Bug Haus - Wohnung Auto - Kotflügel ... semantisch Tiefenbeziehung Relation PARS Abstraktionsklasse aller physischen Teil-Ganzes Beziehungen Sorten: Die Begriffe können in Sorten eingeteilt werden

Entitäten [ent] Situations- deskriptoren [sd] formale Entitäten [fe] Spezifikatoren [sp] Abstrakta [a] Konkreta [k] ... Eigen- schaften [p] Merk- male [me] relationale Abstrakta [ra] Sach verhalte [sv] Sub- stanzen [s] Diskreta [d] Kollektiva [co] Zeiten [t] Lokationen [l] Zahlen [n] Quantitäten [q] ... operationale Merkmale [op] nicht operationale Merkmale [nop] Vorgänge [v] Zustände [z] handlungsfähige Diskreta [ag] Artefakte [ar] vertikal gilt z.B. k  ent, horizontal sind die Sorten disjunkt

Beispiele {leer, rot, ... }  p {Charme, Feigheit, ... }  nop {regnen, integrieren, laufen,... }  v {Milch, Eisen, Sauerstoff,... }  s {Haus, Flugzeug, Zaun,... }  ar {gestern, Mittelalter, Winter,... }  t {drei, hunderte,... }  n {Höhe, Masse, Frequenz,... }  op {Äquivalenz, Analogie, ... }  ra {wohnen, ruhen, krank sein, ... }  z {Mann, Firma, Tiger, ... }  ag {Gebirge, Wald, Gemeinde, ... }  co {<in der Schule>, <auf dem Hof>, ... }  l {3 km, 5 kg, ... }  q

Relationen SUB: k x k SUB x y <=> Begriff x ist Begriff y untergeordnet Was ist ein x ? Welche y gibt es ? Beispiel: SUB SUB Turm Eiffelturm Bauwerk

SUBA: v x v SUBA x y <=> Vorgang x ist abstrahierten (generischen) Vorgang y untergeordnet Was tut <N.N.> ? Was {geschieht / wird getan} ? Beispiel: SUBA SUBA fahren bewegen <Wegeners letzte Grönlandfahrt>

PARS: k x k PARS x y <=> x ist Teil von y Woraus besteht y ? Wovon ist x ein Teil ? Wozu gehört x? POSS: ag x k POSS x y <=> Besitzer x besitzt materiellen Besitz y Wem gehört y ? Wer {besitzt/hat}y ? Was besitzt x? PROP: k x p PROP x y <=> Zuordnung von Eigenschaft y zu Objekt x Welche Eigenschaft hat x? Welche x sind y ?

Beispiel: „Peter besitzt ein kaputtes Auto mit Schiebedach“ SUB Auto POSS PARS PROP Peter kaputt SUB Schiebedach

Tiefenkasusrelationen Innerhalb eines Vorgangs nehmen Entitäten Rollen ein Vorgang = Knoten Tiefenkasusrelationen = Kanten In natürlichen Sprachen werden Tiefenkasusrelationen durch Fälle oder Präpositionen ausgedrückt („mit Hilfe von“)

AGT: v x ag AGT x y <=> Handlung x wird aktiv von handlungsfähigem Objekt y ausgeführt Wer hat x {getan/ausgeführt} ? Von wem wird x durchgeführt ? DAT: v x k DAT x y <=> Vorgang x wendet sich Objekt y zu An wen wendet sich x ? Wem wendet sich x zu ? OBJ: v x k OBJ x y <=> Objekt y ist passiv am Vorgang x beteiligt (wird nicht verändert). {Wen/Was} <transitive Handlung> man ? <transitive Handlung> {„sieht“, „trifft“, „beschreibt“,...}

INSTR: v x ag INSTR x y <=> Beziehung zwischen Vorgang (Handlung) x und Instrument y, mit dem die Handlung ausgeführt wird Womit wird x ausgeführt ? THM: v x {a  k} THM x y <=> Beziehung zwischen Vorgang und thematischem Inhalt, wenn Vorgang geistiger Prozeß {Worüber/Wovon <inf-handlg> ? <inf-handlg>  {„schreiben“, „berichten“, „nachdenken“,...} INIT / RSLT: v x {z  k} INIT x y bzw RSLT x y <=> Anfangs- bzw End-Zustand (Ergebnis) einer Handlung x. Was ist der Anfangszustand / Ergebnis von x ?

Beispiel: „Peter schreibt mit der Schreibmaschine einen Bericht über das Praktikum“ SUBA schreiben Schreibmaschine INSTR SUB THM Peter OBJ AGT SUB SUB Praktikum Bericht

Attribut-Wert Beziehungen DATTR: {a  k} x {a  k} DATTR x y <=> x wird durch definierendes Attribut y charakterisiert Welches {Merkmal/Attribut} besitzt x ? Wodurch ist x charakterisiert ? VALR: {a  k}x {a  k fe} VALR x y <=> Wertebereich für Merkmal x Welche {Werte/Ausprägungen} kommen für das Merkmal y prinzipiell in Frage ? VAL: {a  k}x {a  k fe} VAL x y <=> y ist die konkrete Wertausprägung von Merkmal x Welchen Wert {besitzt/hat} x ? Welche(n) <Merkmalsname> hat das Objekt ? <Merkmalsname>  {Höhe, Dichte, Farbe, ...}

SUB: k x k SUB x y <=> Begriff x ist Begriff y untergeordnet SUBA: v x v SUBA x y <=> Vorgang x ist abstrahierten (generischen) Vorgang y untergeordnet PARS: k x k PARS x y <=> x ist Teil von y POSS: ag x k POSS x y <=> Besitzer x besitzt materiellen Besitz y PROP: k x p PROP x y <=> Zuordnung von Eigenschaft y zu Objekt x AGT: v x ag AGT x y <=> Handlung x wird aktiv von handlungsfähigem Objekt y ausgeführt DAT: v x k DAT x y <=> Vorgang x wendet sich Objekt y zu OBJ: v x k OBJ x y <=> Objekt y ist passiv am Vorgang x beteiligt (wird nicht verändert). INSTR: v x ag INSTR x y <=> Beziehung zwischen Vorgang (Handlung) x und Instrument y, mit dem die Handlung ausgeführt wird THM: v x {a  k} THM x y <=> Beziehung zwischen Vorgang und thematischem Inhalt, wenn Vorgang geistiger Prozeß INIT / RSLT: v x {z  k} INIT x y bzw RSLT x y <=> Anfangs- bzw End-Zustand (Ergebnis) einer Handlung x. DATTR: {a  k} x {a  k} DATTR x y <=> x wird durch definierendes Attribut y charakterisiert VALR: {a  k}x {a  k fe} VALR x y <=> Wertebereich für Merkmal x VAL: {a  k}x {a  k fe} VAL x y <=> y ist die konkrete Wertausprägung von Merkmal x

Beispiel: „ Ein Auto hat einen Preis, der zwischen 2500 € und 75000 € liegt. Peters Auto kostet €“ Preis Slotname SUB Auto Oberbegriff Autopreis [2500 € , € ] DATTR VALR SUB SUB Peter <Preis von Peters Auto> 22500 € POSS Instanz VAL DATTR Filler

Temporale und lokale Restriktionen Gehören aus logischer Sicht anderer Ebene an als die bisherigen Relationen Schränken Gültigkeitsbereich von Aussagen ein (Operatoren über Aussagen) - bisherige Relationen machen Aussagen

TEMP: sv x t TEMP x y <=> Einschränkung der Gültigkeit von Sachverhalt x auf das Zeitintervall y {Wann/Zu welcher Zeit} {galt x/fand x statt}? LOK: sv x l LOLK x y <=> Einschränkung der Gültikeit des Sachverhalts x auf die Lokation y {Wo / an welchem Ort} {gilt/findet statt/ereignet sich} x ?

Beispiel: „ Im Mittelalter trugen Ritter in Europa eine Eisenrüstung“ tragen Mittelalter SUBA TEMP SUB Eisenrüstung OBJ LOK g SUB AGT Ritter FORMEL Europa a  Kapsel (propositionaler Kern) Allg Bhptg.

Schichten: Einführung einer Unterscheidung zwischen Individualbegriffen (Peter I., Beethoven, Rembrandt) und (generische Begriffe) (Zar, Komponist, Maler) Besonderheit: Unterscheidung zwischen individuell und generisch bei nicht Konkreta => Einführung zweier Schichten Beispiel: individuell generisch <gestern Nacht> nachts <Peters Krankheit> Krankheit

„der“, „dieser“, „ein“, ... Determinatoren Referenz auf Extension „alle“, „jeder“, ... Quantoren Mengen „drei Schüler“, „mehr als hundert Teile“, Aufzählungen „die einen ... die anderen“, „einige davon“, „außer“ .... => 2 zusätzliche Schichten: intesionale Ebene präextensionale Ebene

Der Hund beißt den Postboten AGT beißen SUB Hund Postbote b p h SUBA OBJ

Jeder Hund beißt einen Postboten x [ Hund(x)  (y Postbote(y)  beißt(x,y)) ] Allg. Bhptg. Hund beißen Postbote SA SUBA SUB SUB SUB FORMEL h b automatisch mit  quantifiziert p OBJ S1 AGT a 

Jeder Hund beißt jeden Postboten x y [ (Hund(x)  Postbote(y))  beißt(x,y) ] Sonderschicht, um bei Abfragen wie „Wer wird gebissen“ nicht p geliefert zu bekommen (p ist Variable) Hund beißen Postbote SA SUBA SUB SUB h b p OBJ S1 AGT Allg. Bhptg. SUB  FORMEL  a

Jeder Hund in der Stadt beißt den Wachtmeister x [ Stadthund(x)  beißt(x,Wachtmeister) ] SUB Hund beißen Wachtmeister Stadthund SA SUBA SUB SUB S1 nicht mit  quantifiziert h b w OBJ AGT Allg. Bhptg. SUB  FORMEL a

Semantische Netze: Fragebeantwortung
„Das ALGOL Programm QUADI6 berechnet das bestimmte Integral einer Funktion mit Hilfe der Simpson Regel. Die Funktion ist vom Nutzer durch ihre Werte in äquidistanten Schnittstellen vorzugeben. Die Anzahl dieser Stützstellen muß gerade sein. Die Funktionswerte werden mit Hilfe des REX-Systems von einem externen Speicher übernommen.“

Fragetypen

Fragebeantwortung Frage: „Gibt es ein Programm, das ein bestimmtes Integral mit Hilfe der Simpson-Regel berechnet ?“ (FRAGETYP Entex REFTEIL NIL FOKUS X SPEZIFIKATION ((SUB X Programm) (AGT Y X) (SUBA Y berechnen) (OBJ Y Z)(INSTR Y Simpson-Regel) (SUB Z Integral) (PROP Z bestimmt))) Fragebeantwortung = Suche nach gleichen Teilstrukturen in der Frage und im semantischen Netz

Fragebeantwortung Erzeugung eines Suchbaums Frageknoten: Konstanten in der Frage (Programm, berechnen, ..) Fragezentren: Knoten, die in mehreren verschiedenen Suchpfaden auftreten

} informierte Suche: Bewertungskriterien durch Fragemuster geleitet
(R K1 K2) } Kante des SN == Tripel der Frage --> Tripel „verifiziert“ // hohe Bewertung Relation Kante Jeder Knoten des Suchbaums enthält - noch zu verifiierendes Fragemuster, - Liste der Variablenersetzungen die schon gemacht wurden

Was, wenn zwei Pfade sich in einem Knoten des SN
(semantisches Netz) kreuzen ? --> Fragzentrum. Gibt zwei Knoten im Suchbaum (da unterschiedliches noch zu verifizierendes Fragemuster) Fragezentern haben hohe Bewertung.

intensional <der Bär> <alle Lehrer> <alle Braunbären> <ein neuer Lehrer> <der neue Lehrer> <alle Bären> präextensional Prototyp Mengen Kardinalitäten Mengenrelationen parametrisiertes Individuum <Menge aller Bären>

Das Referenzproblem Peter sah gestern den neuen Lehrer einzigartiges Objekt der Realität Peter kaufte sich ein neues Fahrrad logische Variable, deren Belegung offen ist (parametrisiertes Individuum) Peter hat noch nie einen Yeti gesehen auch die Existenz eines entsprechenden Objekts bleibt offen

Wissensrepräsentationsmethoden > Frames
bestimmte Entität (Objekt, Sachverhalt, Ereignis) oder Klasse von Entitäten beschrieben durch Merkmals-Wert Paare Slots Filler Frames können in Hierarchien angeordnet werden untergeordnete Frames erben von übergeordneten Frames (sog. MEMBER-) Slots und Werte. OWN Slots werden nicht vererbt

KEE: Knowledge Engineering Environement Programm von Intellicorp als Wissensrepräsentationsmethode

Vererbung Speicher sparen Zeit sparen Redundanz vermeiden p Merkmal u,w Werte V p: w S1 S2 S3 p: u p: u S31 p: w SAME p: {u,w} UNION p: u OVERRIDE p: u

Wissensrepräsentationsmethoden > SVN
Strukturierte Vererbungsnetze Repräsentierung von Wissen in Form von Begriffen (Konzepte) Erklärung Klassifikation der Begriffe Beziehungen zwischen den Begriffen Unterschied zu Kognitiven Semantischen Netzen ?

generische Konzepte Mann Klassen individuelle Konzepte Peter Individuum, Instanz Unterbegriff - Oberbegriff - Klassenhierarchien

... Wissensrepräsentationsmethoden > SVN Objekt Lebewesen
Gegenstand Mensch Gebäude Frau Mann Angestellter Hörsaal Bibliothek FH-Gebäude Mitarbeiterin Mitarbeiter Wer fällt aus der Reihe ?

Rollen = 2 stellige Relationen Rollen sind gekennzeichnet durch : Wertebereich: eigentlich eher Typ Rolle: Lehr- veranstaltung Konzept: v/r Raum Ausbildungsort v/r value restriction „Der Raum nimmt gegenüber der Lehrveranstaltung (Richtung Pfeil!) die Rolle eines ‚Ausbildungsorts‘ an Der Wertebereich ist die Menge aller Räume.

Kardinalität: Anzahl der Rollen, mit gleichem Wertebereich und Namen (n1,n2) : n1 Minimum, n2 Maximum der Anzahl der Rollen

Inhalt Lehrstoff Ausbildungsort v/r (1,NIL) Raum Lehr- veranstaltung Lehrender (1,NIL) v/r v/r (1,3) Person Lernender v/r (1,NIL) Hörsaal v/r Vorlesung Professor v/r (1,1) (1,1) Seminar- raum v/r Seminar v/r Assistent (1,1)

Beziehungen zwischen Rollen Subsumption zwischen Konzepten Unterordnung zwischen Rollen Ein subsumptiertes Konzept spiele eine Rolle: Diese Rolle ist eine Restriktion der Rolle des oberen Konzepts wenn sie gleich heißt und wenn sie die Wertebeschränkung des oberen Konzepts sowie die Kardinalitätsbeschränkungen erfüllt.

Beziehungen zwischen Rollen Beispiel: Ausbildungsort Raum Lehr- veranstaltung v/r (1,NIL) restricts Hörsaal v/r Vorlesung (1,1)

Beziehungen zwischen Rollen Differenzierung Inhalt Lehr- veranstaltung Lehrstoff v/r (1,NIL) Man beachte: (2,nil) bei restrict Inhalt aber (1,nil) bei differenzierten Rollen restricts (2,nil) diffs kombinierte Lehrveranstaltung (1,nil) diffs Übung (1,nil) Kernthema

Individuelle Konzepte sowas wie „Instanzen“ der generischen Konzepte (Objekte der Klassen) neue Rollentypen zwischen individuellen Konzepten I - Rolle (individuelle Rolle) verknüpft eine Instanz mit einer weiteren Instanz werden von generischer Rolle abgeleitet (satisfies) keine Werteinschränkung sondern konkreter Wert P - Rolle (bestimmter Rollensatz) verknüpft eine Instanz mit der Menge der aktuellen Instanzen, die die Rolle erfüllen (NICHT potentiell möglich Instanzen, wie bei generischen Rollen) werden von generischer Rolle abgeleitet (partic.)

Beispiel: Lehrender Lehr- veranstaltung v/r Person v/r (1,NIL) satisfies Vorlesung KI val Prof. Meier (1,1) partic. v/r Teilnehmer Vorlesung KI

Sachverhaltsbeschreibungen (A-Box) ausgelassen (KE 5 S. 48)

Wie fügt man eine neues Konzept in das Netz ein ?? Klassifizierung = Finden des speziellsten übergeordneten Konzepts

falsch klassifiziert Lehrveranstaltung ist nicht das speziellste übergeordnete Konzept Person Lehr- veranstaltung Vorlesung Lehrender v/r restricts Professor (1,1) (1,NIL) Teilnehmer restricts Lehr- veranstaltung mit 80 Teilnehmern und 1 Professor restricts (80,80) (1,1) v/r

Person Lehr- veranstaltung Vorlesung Lehrender v/r restricts Professor (1,1) (1,NIL) Teilnehmer restricts Lehr- veranstaltung mit 80 Teilnehmern und 1 Professor (1,1) v/r (80,80)

Algorithmus zum Einfügen eines definierten Konzepts X+ unter das speziellste Oberkonzepts SOK primitive Konzepte = Konzepte, die nicht vollständig spezifiziert (Baum, Zitrone,...) definierte Konzepte = Konzepte werden unter Bezugnahme auf primitive Konzepte definiert (Jungeselle = unverheirateter, erwachsener Mann) durch + gekennzeichnet

Man benötigt eine Funktion SOK(X+, W) die eine Menge Cs liefert, die in dem Netzteilbaum mit Wurzel W die SOK zu X+ bilden d.h. für alle C aus Cs gilt: C subsumiert X+ es gibt kein definiertes Konzept C‘ mit C subsumiert C‘ und C‘ subsumiert X+

1. Schritt 1.1 Setze Cs = leere Menge 1.2 Ermittle spezifischstes primitives Konzept W in der Definition von X+ mit W subsumiert X+ 1.3 Setze Cs = Cs vereinigt mit SOK(W, X+) 1.4 Falls W keine übergeordneten Knoten hat: fertig 1.5 Setze W := spezifischstes primitives Konzept, das W strikt subsumiert („Hochsteigen im Netz zu anderen Netzteilen“) Weiter bei 1.3 2. Schritt von X+ zu jedem C aus Cs eine Subsumptionsbeziehung einschließlich Rollenrestriktionen eintragen

Wissensrepräsentationsmethoden

Ähnliche Präsentationen

Präsentation zum Thema: "Wissensrepräsentationsmethoden"— Präsentation transkript:

Ähnliche Präsentationen

Über Projekt

Feedback

Anmelden

Anmeldung über soziales Netzwerk:

Wissensrepräsentationsmethoden

Ähnliche Präsentationen

Präsentation zum Thema: "Wissensrepräsentationsmethoden"— Präsentation transkript:

Ähnliche Präsentationen

Über Projekt

Feedback