| 
View
 

Automatisches Schließen

Page history last edited by Korgüll 10 years, 3 months ago Saved with comment

 

Automatisches Schließen

 


Das Automatische Schließen ist einer der drei großen Bereiche der Künstlichen Intelligenz bzw. der Mechanischen Intelligenz.

Die anderen sind die Sprachverarbeitung und die Systemsimulation.

 

Illner Solutions schlägt auch für das Automatische Schließen einen Paradigmenwechsel vor, nämlich vom Closed-World-Paradigma zum Open-World-Paradigma.

 

 

Unscharfe Logik


... kurzfassung ...

 

 

Schließen in der Aussagelogik


... Schließen it nicht äquivalent ! das Ergebnis wird also schwächer. Wir suchen Bs aus A → B - Regeln.

 

http://de.wikipedia.org/wiki/Modus_ponens

{ A, A → B } gültig => B gültig (nicht-B wird nicht beachtet !)

gültig ist nur T. - Wenn A = F, dann ist auch B = T möglich, aber das zählt nicht. { A=F, A → B }

{ A=U, A → B } - sowohl als auch-Prämisse: U → T möglich. => Wert soll stattdessen propagiert werden !

 

Der Prolog-Mechanismus geht hier nicht !

Stattdessen will ich Werte propagieren ! Regeln = T aufnehmen, bringt es nicht. und or nicht gelten zur Auswertung, da sind auch die zwei -> möglich. Aber nicht zum Fakten ableiten !

A=U, A => B : B = U materialisieren.

 

d.h. A muss festgestellt werden:

1) in => propagations-Regeln.

2) in exakten Regeln, die P und die nicht-P folgern / Fakten !)

 

Comments (0)

You don't have permission to comment on this page.