Wissensrepräsentation mit Logik - LinkFang.de





Wissensrepräsentation mit Logik


Dieser Artikel oder Abschnitt bedarf einer Überarbeitung.

Wissensrepräsentation mit Logik ist eine Art der Wissensrepräsentation, die auf formaler Logik basiert. Zum Aufbau wissensbasierter Systeme müssen Objekte der realen Welt in einer Sprache repräsentiert werden, die ein Computer versteht, damit er mit diesem Wissen umgehen kann. So kann z.B. ein Experte sein Wissen über sein Fachgebiet formalisieren und für viele andere nutzbar machen (sog. Expertensystem). Ein logisches System ist eine hierzu geeignete formale Sprache.

Wissensrepräsentation mit Logik

Wissenbasiertes System

Verwendet man die klassische Logik als Repräsentation eines wissensbasierten Systems, spricht man von einem klassisch-logischen System.

Klassisch-logisches System

Ein solches logisches System lässt sich in zwei grundlegende Komponenten aufteilen. Die erste der beiden Komponenten eines klassisch-logischen Systems ist die sogenannte Inferenzrelation, um das menschliche Schließen zu modellieren. Die zweite Komponente besteht aus einer Repräsentationssprache, in der die Wissensbasis, der Kern des wissensbasierten Systems, formuliert werden kann. Die Aufgabe dieser Repräsentationssprache wird im klassisch-logischen System von den klassischen Logiken übernommen. Das bedeutet, dass das vorhandene Wissen in prädikatenlogischen Formeln kodiert wird. Das wichtigste Potential des auf diesen beiden Komponenten definierten klassisch-logischen Systems besteht jedoch in der Inferenz von Wissen selbst. Wird die Inferenzrelation entsprechend der logischen Repräsentationsprache definiert, so ergibt sich die Möglichkeit, Wissen zu inferieren, das bedeutet, aus bereits in dem System vorhandenem Wissen neues Wissen über die Inferenzrelation abzuleiten.

Inferenz im klassisch-logischen System

Aus der Einteilung der Inferenz in Deduktion, Induktion und Abduktion ergibt sich, dass sowohl Induktion, als auch Abduktion als Schlussfolgerungsmechanismen nicht notwendigerweise korrekt sind. Somit stellt Deduktion die einzig sichere Methode im Schluss dar (vgl. 3-Teilung der Inferenz nach Peirce (1839–1914)), weil das in diesem Fall abgeleitete Wissen immer wahr ist. Aufgrund dieser Eigenschaft benutzen logische Systeme die deduktive Instanz der Inferenz als Modellierung des logischen Folgerungsoperators. Eine korrekte Schrittfolge dieser Inferenzprozedur, in deren Verlauf neues Wissen B aus vorhandenem Wissen W abgeleitet wird, bezeichnet man auch als Beweis.

Mit Verwendung einer derartig deduktiven Inferenzkomponente wird es allerdings unmöglich, einmal als wahr abgeleitete Schlussfolgerungen wieder zu revidieren. Daher ist es in klassisch-logischen Systemen, die auf rein deduktiven Verfahren beruhen, unmöglich, nicht-monotones Schließen als fundamentales Merkmal menschlicher Inferenz korrekt zu modellieren.

Ein möglicher Lösungsansatz, der diesen Defekt im Inferenzmodell des logischen Systems beheben soll, besteht in der graduellen Abstufung der Korrektheit von Ableitungen. Diese Abstufung kann auf zwei Arten erreicht werden. Auf der einen Seite geschieht dies durch Verwendung von Wahrscheinlichkeiten. Indem Ableitungen über Prozentzahlen quantifiziert werden, erhält man eine probabilistische Logik in der graduelle Abstufungen durchaus möglich sind. Auf der anderen Seite wird die graduelle Abstufung von Schlussfolgerungen in Fuzzy-Logik durch die Verwendung von Gradzahlen zur Beschreibung vager Prädikate ermöglicht.

Aufbau eines logischen Systems

Grundkomponenten

  • [math]\Sigma[/math] = Signatur
  • Int([math]\Sigma[/math])= Menge aller Interpretationen über der Signatur [math]\Sigma[/math]
  • For([math]\Sigma[/math])= Menge aller Formeln über der Signatur [math]\Sigma[/math]
  • [math]\models_{\Sigma}[/math] = Erfüllungsrelation

Die Signatur Σ

Die mengentheoretische Intuition hinter dem Begriff der Signatur ist eine Menge aus Namen und Begriffen, durch die alle Elemente einer zu repräsentierenden Wissensbasis W formalisiert werden. Genauer gesagt handelt es sich bei den Elementen einer Signatur um Namen, die nach Prädikaten und Funktoren klassifiziert und nach ihrer Stelligkeit differenziert werden.

Aussagenlogische Signatur

Signaturen in der Aussagenlogik enthalten als Elemente nullstellige Namen oder Bezeichner, die auch als Aussagenvariablen bezeichnet werden.

Beispiel: [math]\Sigma_{AL}=\{Schnee, schneit, Sonne, kalt\}[/math]

Prädikatenlogische Signatur

Signaturen in der Prädikatenlogik 1. Stufe beinhalten null- und mehrstellige Funktoren und Prädikate. Somit kann eine Signatur in der Prädikatenlogik als Tupel betrachtet werden, wobei git:

[math]\Sigma[/math]=(Func, Pred)

Mit

  • Func = Menge von null- oder mehrstelligen Funktoren nullstellige Funktoren werden als Konstanten bezeichnet
  • Pred = Menge von null- oder mehrstelligen Prädikaten

Aufgrund der Tatsache, dass die Aussagenlogik eine echte Teilmenge der Prädikatenlogik 1. Stufe ist, enthält die Menge aller prädikatenlogischen Signaturen ebenso die Menge aller aussagenlogischen Signaturen als echte Teilmenge. Daraus folgt, dass die Aussagenvariablen durch nullstellige Prädikate modelliert werden können. Diese können atomare Formeln, also die Atome der Aussagenlogik darstellen.

Beispiel: [math]\Sigma_{PL1}=\{Schneewegschaufeln(x,y), Mann, Gehweg, Kinder, Einfahrt\}[/math]

Die Menge der Interpretationen Int(Σ)

Die wichtigste Eigenschaft einer Interpretation innerhalb des logischen Systems besteht darin, dass sie, zusammen mit der Erfüllungsrelation, die Verbindung zwischen der Syntax (in Form der Signatur [math]\Sigma[/math]) der Repräsentationssprache und der Semantik von Aussagen herstellt, indem sie die Namen der Signatur zu Objekten einer Wissensbasis W zuweist.

Interpretation in der Aussagenlogik

Bei der Interpretation einer aussagenlogischer Signatur wird jeder Aussagenvariable aus der Signatur [math]\Sigma[/math] ein Wahrheitswert zugeordnet. Diese Zuordnung erfolgt durch eine Interpretation [math]\sigma[/math] für die gilt:

[math]\sigma \in Int(\Sigma) = \Sigma \longrightarrow \{0,1\}[/math]

Dabei bezeichnet die Menge Int([math]\Sigma[/math]) die Menge aller Funktionen von einer gegebenen Signatur [math]\Sigma[/math] nach [math]\{0,1\}[/math]. Diese [math]\sigma[/math]-Interpretation einer Signatur [math]\Sigma[/math] wird auch Belegung genannt, weil durch diese Funktion jeder Aussagenvariable mit einem Wahrheitswert belegt wird.

Interpretation in der Prädikatenlogik

In der PL1 lässt sich der Aufbau einer Interpretation wie folgt beschreiben:

[math]I =(U_I , Func_I , Pred_I)[/math]

wobei gilt:

  • [math]U_I[/math] = nichtleere Trägermenge (engl. carrier set) mit allen Objekten einer Interpretation
  • [math]Func_I[/math] = Funktionsmenge:

[math]\{f_I: \underbrace{U_I \times\dots\times U_I}_{n-mal} \rightarrow U_I | f \in Func\; mit\; Stelligkeit\; n \in N\}[/math]

  • [math]Pred_I[/math] = Menge von Relationen:

[math]\{p_I \subseteq \underbrace{U_I \times\dots\times U_I}_{n-mal} \rightarrow U_I | p \in Pred\; mit\; Stelligkeit\; n \in N\}[/math]

Eine Interpretation I in PL1 bildet Funktoren und Prädikaten der Signatur auf Objekte der zu repräsentierenden Welt über dem Universum U gemäß folgender Tabelle ab:

Nullstellige Funktoren Elemente aus U
Ein- oder mehrstellige Funktoren Funktionen
Nullstellige Prädikate Belegung mit Wahrheitswert
Einstellige Prädikate Teilmenge von U
Mehrstellige Prädikate Relationen R [math]\subseteq \underbrace{U \times\dots\times U}_{Stelligkeit\; n}[/math]

Beispiel:

Seien Signatur [math]\Sigma=(\{eins^0, plus^2\},\{gleich^2\})[/math] mit [math]p^i[/math] = p, mit Stelligkeit i und Interpretation

[math](N, \{+ \in N\times N \rightarrow N \}, \{ \{(n,m) \in N\times N | n = m\} \})[/math]

gegeben. So gilt:

I(eins) [math]1\in N = U[/math]
I(plus) [math]+ \in N\times N \rightarrow N[/math]
I(gleich) [math]\{(n,m) \in N\times N | n = m\}= \{(0,0),(1,1), \dots\}[/math]

Die Menge der Formeln For(Σ)

Die Menge der Formeln über eine Signatur [math]\Sigma[/math] ist ein wesentlicher Bestandteil eines logischen Systems. Formeln bilden die syntaktische Repräsentation von Objekten der zu repräsentierenden Welt W, von Aussagen über diese Objekte, sowie von Sachverhalten, mit denen die Welt W beschrieben wird. Eine wesentliche Eigenschaft der Formeln eines logischen Systems ist ihre Wohlformuliertheit (engl. well-formed formula). For([math]\Sigma[/math]) enthält alle Formeln, die sich entsprechend der vorgegebenen Grammatik für Formeln aus den Elementen der Signatur [math]\Sigma[/math] bilden lassen. Genau für diese Formeln gilt die Eigenschaft der Wohlformuliertheit.

Formeln in Aussagenlogik

Handelt es sich bei der Signatur um eine rein aussagenlogische Signatur, d.h. die Signatur enthält ausschließlich Aussagevariablen (= nullstellige Prädikate), so bilden diese selbst bereits atomare aussagenlogische Formeln, die sogenannten Literale. Die Menge For([math]\Sigma[/math]) umfasst bei einer aussagenlogischen Signatur somit die Signatur selbst und alle komplexeren Formen, die entsprechend der Grammatik für Formeln durch logische Verknüpfungen gebildet werden können.

Beispiel:

Sei eine Signatur [math]\Sigma[/math] = {Mo,Di,Mi,Do,Fr,Sa,So} gegeben. So können z.B. die folgenden Formeln gebildet werden:

[math]\neg Mo \Rightarrow Di[/math]
[math]\neg Mo \wedge\neg Di \wedge\neg Mi \wedge\neg Do \wedge\neg Fr \Rightarrow Sa \wedge So[/math]
[math] Mo \vee Di \vee Mi \vee Do \vee Fr \Rightarrow Sa \vee So[/math]
Formeln in Prädikatenlogik

Neben den im vorangegangenen Abschnitt aufgeführten aussagenlogischen Formeln For([math]\Sigma_{AL}[/math]) können Formeln in der prädikatenlogischen Formelmenge For([math]\Sigma[/math]) ebenso Variablen und Quantifizierungen über diese Variablen enthalten. Enthält eine Signatur [math]\Sigma[/math] das einstellige Prädikat P(x), so enthält die Formelmenge For([math]\Sigma[/math]) das Prädikat selbst, sowie existentielle und universelle Quantifizierung der Aussage P über die Individuenvariable x

Beispiel:

Sei eine Signatur Beispiel: = {Vater(x,y), Großvater(x,y)} gegeben und seien x, y, z Variablen, so lässt sich daraus die folgende Formel ableiten: [math]\forall x.\forall y.\forall z:[/math]Vater(x,y)[math]\wedge[/math] Vater(y,z)[math]\Rightarrow[/math]Großvater(x,z)

Sei ferner eine Signatur [math]\Sigma[/math]={loves(x,y)} gegeben, wobei x, y Variablen für Personen bezeichnen. So lassen sich folgende Sätze durch prädikatenlogische Formeln über dieser Signatur formulieren:

Everybody loves somebody [math]\forall x. \exists y: loves(x,y)[/math]
Somebody loves somebody [math]\exists x. \exists y: loves(x,y)[/math]
Everybody loves everybody [math]\forall x. \forall y: loves(x,y)[/math]
Nobody loves everybody [math]\neg (\exists x. \forall y: loves(x,y))[/math]
Somebody loves nobody [math]\exists x. \forall y: \neg loves(x,y)[/math]

Die Erfüllungsrelation

Zusammen mit der Interpretation einer Signatur stellt die Erfüllungsrelation die Verbindung zwischen den syntaktisch durch Formeln repräsentierten Objekten einer Welt W und deren Semantik in W dar. Eine Erfüllungsrelation gibt an, wann eine Formel in einer Interpretation gilt und ob eine Formel in einer Interpretation wahr oder falsch ist. Da diese Relation eine der Grundkomponenten des logischen Systems ist, stellt jedes logische System eine solche Erfüllungsrelation (satisfaction relation) bereit:

[math]\models_\Sigma \subseteq Int(\Sigma) \times For(\Sigma)[/math]

Beispiel:

Sei [math]I_1[/math]eine Interpretation, A ein Literal und gelte [math]I_1[/math](A) = 1, dann gilt [math]I_1\models_{\Sigma_{AL}} A[/math].

Überträgt man die Erfüllungsrelation auf eine Relation zwischen Formeln, so erhält man die logische Folgerung:

[math]\models_\Sigma \subseteq For(\Sigma)\times For(\Sigma)[/math]
[math]F \models_\Sigma G \Leftrightarrow \forall I \in \Sigma \longrightarrow \{0,1\}: I \models_\Sigma F \Rightarrow I \models_\Sigma G[/math]

Dabei wird [math]F \models_\Sigma G[/math]gelesen als "aus F folgt logisch G" oder "G folgt logisch aus F".


Kategorien: Keine Kategorien vorhanden!

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Wissensrepräsentation mit Logik (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.