A Logical Theory of Nonmonotonic Inference and Belief Change, Fachbücher von Alexander Bochman

"A Logical Theory of Nonmonotonic Inference and Belief Change" bietet eine umfassende Untersuchung der logischen Grundlagen des nicht-monotonen Schliessens. Das Buch geht davon aus, dass es eine allgemeine Theorie des nicht-monotonen Schliessens gibt, die über die Vielzahl bestehender Systeme hinausgeht. Es wird argumentiert, dass nicht-monotones Schliessen mit logischen Werkzeugen analysiert werden kann, ähnlich wie andere Arten des Schliessens. Um dieses Ziel zu erreichen, wird ein gemeinsamer logischer Rahmen und eine semantische Darstellung bereitgestellt, die es ermöglichen, verschiedene Arten des nicht-monotonen Schliessens zu interpretieren und zu studieren. Das Buch behandelt grundlegende Formen des nicht-monotonen Schliessens, einschliesslich skeptischer und glaubensbasierter Ansätze, sowie neue Arten wie Kontraktionsinferenzrelationen. Darüber hinaus wird ein allgemeines Konzept für den Glaubenswandel entwickelt, das die bestehenden Ansätze in der Literatur vereint und eine konstruktive Sicht auf die verwendete semantische Darstellung bietet. Es handelt sich um eine Monografie, die sowohl Vorteile als auch Herausforderungen für die Leserschaft mit sich bringt.