Bewertung:

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Bridges from Classical to Nonmonotonic Logic
Stellen Sie sich einen Roboter vor, der versucht, eine schwierige Situation einzuschätzen und einen Weg zu finden, darauf zu reagieren. Seine Sensoren empfangen Ströme von Informationen, aus denen er versucht, Urteile zu fällen.
Wenn er sich allein auf Deduktion verlässt, wird er nicht weit kommen, egal wie schnell seine Inferenzmaschinen sind; denn selbst die umfangreichsten Informationen sind in der Regel immer noch unvollständig: Es gibt relevante Fragen, die er nicht auf die eine oder andere Weise lösen kann. Der Roboter - oder der menschliche Agent - muss über diese Grenzen hinausgehen. Er muss ?supraklassisch" vorgehen, d.
h.
mehr schlussfolgern, als die klassische Logik allein zulässt. Aber solche Schlussfolgerungen sind von Natur aus unsicher.
Sie sind auch nicht monoton, in dem Sinne, dass die Gewinnung weiterer Informationen, selbst wenn sie mit dem vorhandenen Bestand übereinstimmen, uns sowohl zu abweichenden als auch zu zusätzlichen Schlussfolgerungen führen kann. Die nichtmonotone Logik ist die Lehre von solchen Schlussfolgerungen und ist seit mehr als zwei Jahrzehnten Gegenstand intensiver Forschung. Doch für den Neuling ist sie immer noch eine verwirrende Angelegenheit, der es an Einheitlichkeit mangelt, da viele Systeme in unterschiedliche Richtungen gehen.
Ziel dieses Buches ist es, dem Thema die Rätselhaftigkeit zu nehmen und ein klares Gesamtbild der Vorgänge zu vermitteln. Es macht die wesentlichen Ideen und Ansätze der nichtmonotonen Logik für jeden zugänglich und sinnvoll, der über ein paar Grundkenntnisse der diskreten Mathematik und ein Minimum an Wissen über die klassische Aussagenlogik verfügt. Es ist wie ein Lehrbuch geschrieben, mit detaillierten Erklärungen, Beispielen, Kommentaren, Übungen und Antworten.
Es ist für Studierende und Lehrende gleichermaßen ein unschätzbarer Leitfaden.