FrontPage > TuWienMitschriften > WissensbasierteSysteme > GrundlagenWissensbasierteSysteme

Wir unterscheiden zwischen Inferenz und Logik.

Logik

Wissenschaft von den Strukturen, Formen und Gesetzen des Denkens

Inferenz

Prozess der Schlu�folgerung. Hier liegt der Fokus der Veranstaltung.

Im g�nstigsten Fall kann der Computer f�r uns Schlie�en.

Menschliches Schlie�en

(W, B) (- R

W...Welt Wissen, B...neues Wissen, R...Inferenzrelation

(W_Regen, B_Strasse_nass) (- R
(W_Regen, B_gr�ne_Ampel) (- R

Normalerweise: W |- B

|- ... Ableiten /Inferenzrelation
(- ... Element von

oder auch: W R B (siehe Algebra)

...das Schlie�en ist Kontext / Kulturabh�ngig!

Zielsetzung der K�nstlichen Intelligenz:

implementiere Inferenzrelation in einem (Computer-)System

• repr�sentiere W und B
• f�hre Schlussfolgerungen auf der Repr�sentation von W und B aus

wie implementiere ich Wissen (technisch)?

regelbasiert (PROLOG & Co)

• Klausellogik

durch Frames (70er Jahre, LISP)

Frames sind eine objektorientierte Wissensrepr�sentation, die allerdings gewisse Laufzeitprobleme hat. Aus Frames haben sich sp�ter die objektorientierten Programmiersprachen a la Smalltalk, C++ und Objective C entwickelt.

• Vererbung / Methodenaufruf

Hybridform (erh�ht die Praktikabilit�t)

Inferenz

Eine Inferenz steht nie f�r sich alleine. Es hei�t immer: Eine Inferenz bez�glich eines Repr�sentationssystems.

Menschliches Schlie�en

Bei _jeder_ Form der Wissensrepr�sentation gibt es sowohl

• Syntax: W (Grammatik) als auch
• Semantik: Semantik(W)

-> R ist eine Relation auf der syntaktischen Ebene.

Der Mensch verf�gt �ber eine sogenannte "intendierte Semantik". Also zB "das ist eine Kreide". Beim Computer hingegen ist das alles ganz anders.

W |- B ist Syntax. Und das ist gut f�r den Computer, der das gut verarbeiten kann.

Wann modelliert Inferenzrelation R das menschliche Schlie�en?

(W, B) (- R

g.d.w. (genau dann wenn)

aus Semantik (W) schlie�t der Mensch Semantik (B)

InferenzArten

Last modified 2005-03-07 19:07 by rck