7. Schließen mit Unsicherheit

Das Kapitel 'Schließen mit Unsicherheit' untersucht die Herausforderungen der zweiwertigen Logik im Alltag und wie Wahrscheinlichkeitsrechnung und Bayes-Netze diese Probleme lösen können. Es wird gezeigt, wie Aussagen wie 'Fast alle Vögel können fliegen' formalisiert und Inferenzen daraus abgeleitet werden können. Die Wahrscheinlichkeitsrechnung eignet sich besonders gut für die Modellierung des Schließens mit Unsicherheit, da sie intuitiv einfach zu interpretieren ist. Ein einfaches, aber wichtiges Beispiel ist das medizinische Expertensystem LEXMED, das zeigt, wie Wahrscheinlichkeitsregeln und Bayes-Netze in der Praxis angewendet werden können. Das Kapitel führt auch in die Methoden der maximalen Entropie und des Bayesschen Schließens ein, die es ermöglichen, unsichere und unvollständige Informationen effektiv zu verarbeiten. Besonders hervorhebenswert ist die detaillierte Darstellung der Kettenregel und der bedingten Unabhängigkeit, die für das Verständnis und die Anwendung von Bayes-Netzen entscheidend sind. Das Kapitel schließt mit einem praktischen Beispiel aus der medizinischen Diagnose, das zeigt, wie Wahrscheinlichkeitsaussagen und Bayes-Netze verwendet werden können, um komplexe Zusammenhänge zu modellieren und schnell Entscheidungen zu treffen.