Brücken von klassischer zu nichtmonotoner Logik

Bewertung:   (3,8 von 5)

Brücken von klassischer zu nichtmonotoner Logik (David Makinson)

Leserbewertungen

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.

Originaltitel:

Bridges from Classical to Nonmonotonic Logic

Inhalt des Buches:

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.

Weitere Daten des Buches:

ISBN:9781904987000
Autor:
Verlag:
Sprache:Englisch
Einband:Taschenbuch

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Mengen, Logik und Mathematik für die Datenverarbeitung - Sets, Logic and Maths for...
Dieses leicht verständliche Lehrbuch führt in die mathematische...
Mengen, Logik und Mathematik für die Datenverarbeitung - Sets, Logic and Maths for Computing
Brücken von klassischer zu nichtmonotoner Logik - Bridges from Classical to Nonmonotonic...
Stellen Sie sich einen Roboter vor, der versucht,...
Brücken von klassischer zu nichtmonotoner Logik - Bridges from Classical to Nonmonotonic Logic

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)