Wissensrepräsentation mit Logik

Wissensrepräsentation mit Logik

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.

Inhaltsverzeichnis

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

  • Σ = Signatur
  • Int(Σ)= Menge aller Interpretationen über der Signatur Σ
  • For(Σ)= Menge aller Formeln über der Signatur Σ
  • \models_{\Sigma} = 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: ΣAL = {Schnee,schneit,Sonne,kalt}

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:

Σ=(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: ΣPL1 = {Schneewegschaufeln(x,y),Mann,Gehweg,Kinder,Einfahrt}

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 Σ) 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 Σ ein Wahrheitswert zugeordnet. Diese Zuordnung erfolgt durch eine Interpretation σ für die gilt:

\sigma \in Int(\Sigma) = \Sigma \longrightarrow \{0,1\}

Dabei bezeichnet die Menge Int(Σ) die Menge aller Funktionen von einer gegebenen Signatur Σ nach {0,1}. Diese σ-Interpretation einer Signatur Σ 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:

I = (UI,FuncI,PredI)

wobei gilt:

  • UI = nichtleere Trägermenge (engl. carrier set) mit allen Objekten einer Interpretation
  • FuncI = Funktionsmenge:

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

  • PredI = Menge von Relationen:

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

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 \subseteq \underbrace{U \times\dots\times U}_{Stelligkeit\; n}

Beispiel:

Seien Signatur Σ = ({eins0,plus2},{gleich2}) mit pi = p, mit Stelligkeit i und Interpretation

(N, \{+ \in N\times N \rightarrow N \}, \{ \{(n,m) \in N\times N | n = m\} \})

gegeben. So gilt:

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

Die Menge der Formeln For(Σ)

Die Menge der Formeln über eine Signatur Σ 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(Σ) enthält alle Formeln, die sich entsprechend der vorgegebenen Grammatik für Formeln aus den Elementen der Signatur Σ 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(Σ) 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 Σ = {Mo,Di,Mi,Do,Fr,Sa,So} gegeben. So können z.B. die folgenden Formeln gebildet werden:

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

Neben den im vorangegangenen Abschnitt aufgeführten aussagenlogischen Formeln For(ΣAL) können Formeln in der prädikatenlogischen Formelmenge For(Σ) ebenso Variablen und Quantifizierungen über diese Variablen enthalten. Enthält eine Signatur Σ das einstellige Prädikat P(x), so enthält die Formelmenge For(Σ) 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: \forall x.\forall y.\forall z:Vater(x,y)\wedge Vater(y,z)\RightarrowGroßvater(x,z)

Sei ferner eine Signatur Σ={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 \forall x. \exists y: loves(x,y)
Somebody loves somebody \exists x. \exists y: loves(x,y)
Everybody loves everybody \forall x. \forall y: loves(x,y)
Nobody loves everybody \neg (\exists x. \forall y: loves(x,y))
Somebody loves nobody \exists x. \forall y: \neg loves(x,y)

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:

\models_\Sigma \subseteq Int(\Sigma) \times For(\Sigma)

Beispiel:

Sei I1eine Signatur, A ein Literal und gelte I1(A) = 1, dann gilt I_1\models_{\Sigma_{AL}} A.

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

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

Dabei wird F \models_\Sigma Ggelesen als "aus F folgt logisch G" oder "G folgt logisch aus F".


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Logik erster Ordnung — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …   Deutsch Wikipedia

  • Frame-Logik — Frames (engl. für: Rahmen) sind Konstrukte zur Wissensrepräsentation, die komplementär zur Repräsentation von Wissen mittels Logik (zum Beispiel Prädikatenlogik) sind. Als Erfinder der Frames gilt Marvin Minsky. Man kann sie sich im Wesentlichen… …   Deutsch Wikipedia

  • Frames (Wissensrepräsentation) — Frames (engl. für: Rahmen) sind Konstrukte zur Wissensrepräsentation, die komplementär zur Repräsentation von Wissen mittels Logik (zum Beispiel Prädikatenlogik) sind. Als Erfinder der Frames gilt Marvin Minsky. Man kann sie sich im Wesentlichen… …   Deutsch Wikipedia

  • Unifikation (Logik) — Unifikation ist eine Methode zur Vereinheitlichung prädikatenlogischer Ausdrücke. Zwei Ausdrücke werden unifiziert, indem ihre Variablen so durch geeignete Terme ersetzt werden, dass die resultierenden Ausdrücke gleich sind. Die Unifikation hat… …   Deutsch Wikipedia

  • Folgerungstheorem — Unter dem Begriff Deduktionstheorem sind zwei eng verwandte Theoreme bekannt, die in der mathematischen Logik von Bedeutung sind. Eine Variante des Theorems, auch als Folgerungstheorem bekannt, stellt auf den Begriff der logischen… …   Deutsch Wikipedia

  • Deduktionstheorem — Unter dem Begriff Deduktionstheorem sind zwei eng verwandte Theoreme bekannt, die in der mathematischen Logik von Bedeutung sind. Eine Variante des Theorems, auch als Folgerungstheorem bekannt, stellt auf den Begriff der logischen… …   Deutsch Wikipedia

  • Franz Baader — (* 15. Juni 1959 in Spalt) ist ein deutscher Informatiker. Er führt den Lehrstuhl für Automatentheorie an der Fakultät Informatik der TU Dresden. Leben Baader besuchte bis 1979 das Gymnasium in Roth und begann im Jahr 1980 ein Informatikstudium… …   Deutsch Wikipedia

  • Abstrakter Begriff — Mit dem Ausdruck Begriff (mhd. und frühnhd. begrif oder begrifunge) bezeichnet man üblicherweise eine semantische Einheit – im Unterschied zum Wort als sprachlicher Einheit den gemeinten Bedeutungsinhalt dieses Wortes oder den begrifflichen… …   Deutsch Wikipedia

  • Bedeutungsbildung — Mit dem Ausdruck Begriff (mhd. und frühnhd. begrif oder begrifunge) bezeichnet man üblicherweise eine semantische Einheit – im Unterschied zum Wort als sprachlicher Einheit den gemeinten Bedeutungsinhalt dieses Wortes oder den begrifflichen… …   Deutsch Wikipedia

  • Begriffen — Mit dem Ausdruck Begriff (mhd. und frühnhd. begrif oder begrifunge) bezeichnet man üblicherweise eine semantische Einheit – im Unterschied zum Wort als sprachlicher Einheit den gemeinten Bedeutungsinhalt dieses Wortes oder den begrifflichen… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”