Up !
Illner Solutions
3. 3 Nichtklassische
Logiken
Klassische
Logik ist zweiwertig und folgt dem Closed-World-Paradigma, was
bedeutet, es ist alles nötige bekannt und alle Regeln sind
widerspruchsfrei. Davon kann man bei wissensbasierten Softwaresystemen
nicht ausgehen.
Der
Weg zum Open-World-Paradigma in der Wissensverarbeitung bedeutet ein
Aufweichen der drei aristotelischen Axiome der klassischen Logik. Dazu
gibt es diverse Ansätze seit dem 19. Jh.
Jede Einschränkung der
Axiome hat neue Familien formaler Logiken hervorgebracht.
Neubearbeutung ab – Freitag, 28. November 2014, Letzrmals geändert am – Samstag, 04. Januar 2020
Erstmals kreiert am – Donnerstag, 23. Dezember 2004, Letztmals geändert am – Donnerstag, 19. Oktober 2006
Autor: Korgüll
Copyright 2004 – 2006, 2014 – 2020 Illner Solutions