Ein Problemlösungsverfahren zur Verarbeitung inkonsistenter Theorien

Mehr zum Buch

Shirin Bakthari zielt darauf ab, eine Symbiose zwischen parakonsistenter Logik und Künstlicher Intelligenz zu schaffen, indem sie bei der Entwicklung von Problemlösungsverfahren nicht-klassische Logiken einsetzt, die methodisch mit Inkonsistenzen umgehen. Das vorgestellte Verfahren unterscheidet sich von bisherigen Ansätzen der Künstlichen Intelligenz, indem es inkonsistente Theorien tatsächlich toleriert und verarbeitet. Bakthari möchte mit seiner Konzeption die Perspektive auf Inkonsistenz neu gestalten und einen Lösungsvorschlag für die Verarbeitung inkonsistenter Theorien anbieten. Anders als bestehende KI-Ansätze, die Inkonsistenzen lediglich als Hindernis für Problemlösungen betrachten, entwickelt der Autor ein Verfahren, das wissensbasierte Systeme mit der nötigen Robustheit im Umgang mit Inkonsistenzen ausstattet. Dieses Verfahren ermöglicht ein kooperatives Verhalten, indem es Inkonsistenzen erkennt, deren Art feststellt und eine differenzierte Handhabung zur Ermittlung erfolgreicher Problemlösungen verfolgt. Baktharis Ansatz eröffnet neue Möglichkeiten für die Integration von Inkonsistenz in intelligente Systeme und fördert ein methodisches Vorgehen, das die Herausforderungen der Inkonsistenz aktiv adressiert.