Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Vielwertige Logiken sind Logiken, die mehr als die beiden klassischen Wahrheitswerte, nämlich wahr und falsch, haben.
Tatsächlich können sie drei bis unendlich viele Wahrheitswerte haben. Diese Eigenschaft bietet zusammen mit der Wahrheitsfunktionalität einen leistungsfähigen Formalismus für Schlussfolgerungen in Situationen, in denen die klassische Logik - ebenso wie andere nicht-klassische Logiken - nicht weiterhilft. Ursprünglich philosophisch motiviert, erwiesen sich diese Logiken bald als relevant für eine Vielzahl von Anwendungen, die von der Schalttheorie bis zur kognitiven Modellierung reichen, und sie sind heute gefragter denn je, da man erkannt hat, dass Inkonsistenz und Vagheit in Wissensbasen und Informationsprozessen nicht nur unvermeidlich und akzeptabel, sondern vielleicht sogar willkommen sind.
Die wichtigsten modernen Anwendungen der (beliebigen) Logik sind im digitalen Computer zu finden, und wir benötigen daher das praktische Wissen, wie man Entscheidungen (d. h. Schlussfolgerungen) in vielwertigen Logiken computerisiert - was auch bedeutet, dass sie automatisiert werden -. Dies wiederum erfordert eine mathematische Grundlage für diese Logiken. Dieses Buch bietet sowohl diese mathematische Grundlage als auch dieses praktische Wissen in einem strengen, aber dennoch zugänglichen Text, während es gleichzeitig diese Logiken in den Kontext des Erfüllbarkeitsproblems und der automatisierten Deduktion einordnet.
Der Haupttext wird durch eine große Auswahl an Übungen ergänzt, ein Plus für den Leser, der nicht nur etwas über die vielwertigen Logiken lernen, sondern auch etwas mit ihnen machen möchte.
Die vorliegende zweite Auflage verbessert die erste durch korrigierte Ergänzungen und Errata, eine einheitlichere Notation, hinzugefügte Schlüsselkonzepte wie "fuzzy set" und "free for", bessere Abbildungen und einen völlig neu gestalteten, umfassenderen Index.
| ISBN: | 9781848902503 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
