Wir werden sehen, dass die Abduktion nach folgendem Ansatz der Schluss auf eine plausible Erklärung ist. Eine plausible Erklärung ist eine epistemische Möglichkeit, die relativ zum epistemischen Zustand und dem belief set bestimmt wird. Plausibel zu sein bedeutet konsistent mit dem epistemischen Zustand des Agenten vereinigt zu sein, symbolisiert durch das epistemische Konditional, das Ableitungen aus diesem epistemischen Zustand ermöglicht und hierdurch den deduktiven Charakter einer Erklärung erfasst. Die epistemische Möglichkeit ist durch eine potentielle, plausible Erklärung konstituiert, die den Status der epistemischen Möglichkeit kennzeichnet: Von der stärksten Variante, der Prognose, bis hin zu den schwächeren Varianten der might und weak explanation.
Keywords: Abduktion, Belief Revision, AGM-Theorie, epistemische Zustände.
Inhaltsverzeichnis
1. Ein einleitender Exkurs zum Begriff der Abduktion:
1.2 Allgemeine Einführung
1.3 Einführung der Grundbegriffe und Modelle
2. Die Modellierung von Belief Revision
2.1 Die epistemische Subjunktion, das Konditional "⇒":
2.2 Default Rules and Expectations
3. Epistemic Explanation
3.1 Predictive Explanations
3.2 Might Explanations
3.3 Weak Explanation
3.4 Preferences
4. Zusammenfassung
Zielsetzung & Themen
Die vorliegende Arbeit untersucht den Ansatz von Craig Boutilier und Veronica Becher zur Modellierung von Abduktion als Form der Belief Revision. Ziel ist es, ein qualitatives Erklärungsmodell zu entwickeln, das den nonmonotonen Charakter von Erklärungen durch das Konzept der Plausibilität innerhalb eines epistemischen Zustands abbildet, anstatt sich rein auf quantitative Wahrscheinlichkeiten zu stützen.
- Grundlagen der Abduktion und epistemische Modellierung
- Die Rolle des Konditionals in der Belief Revision
- Differenzierung verschiedener Erklärungsmuster (Predictive, Might, Weak)
- Plausibilitätsordnungen und deren Einfluss auf den Belief-Zustand
Auszug aus dem Buch
Die Schwierigkeiten einer Theorie der Abduktion:
(1) Aus einer Erklärung folgt nicht deduktiv das Explanandum. Die Erklärung erfolgt in einem nonmonotonen Sinne.
(2) Erklärungen können einerseits zueinander in einer Konkurrenz stehen und andererseits hierarchisch geordnet sein. Entweder sie sind alle in gleichem Maße plausibel oder einige sind unplausibler als andere. D.h. es wird nach einer Ordnung potentieller Erklärungen verlangt.
(3) Aus dem deduktiven Charakter (deductive picture) des Erklärungsmusters im Allgemeinen folgt, dass das Explanandum nicht im Widerspruch zum Hintergrundwissen stehen darf.
Die ersten beiden Punkte können mit probabilistischen Theorien abgedeckt werden: um (1) zu erfüllen, könnte etwa die Wahrscheinlichkeit von P(β|α) herhalten, die für eine Erklärung hinreichend hoch sein könnte, wohingegen die Wahrscheinlichkeit von P(β|α∧γ) nicht ausreichend wäre (α=SprinklerAn, β=nasses Gras, γ=Rohrbruch; wir werden darauf noch ausführlicher zu sprechen kommen). Punkt (2) könnte mit Häufigkeitsverteilungen abgedeckt werden: am plausibelsten ist diejenige Erklärung, die einen Fall beschreibt, der für gewöhnlich auftritt. Punkt (3) betrifft eher den qualitativen Aspekt einer Erklärung – den zwingenden Charakter – der von Wahrscheinlichkeiten nicht erfasst wird.
Zusammenfassung der Kapitel
1. Ein einleitender Exkurs zum Begriff der Abduktion: Einführung in die historische Entwicklung der Abduktion bei Aristoteles und Peirce sowie Abgrenzung zu Deduktion und Induktion.
1.2 Allgemeine Einführung: Erläuterung der methodischen Herausforderungen bei der Entwicklung einer Theorie der Abduktion, insbesondere im Kontext nonmonotoner Schlussfolgerungen.
1.3 Einführung der Grundbegriffe und Modelle: Formale Definition der genutzten logischen Modelle (CT40 und CO) und der zugrundeliegenden Modaloperatoren.
2. Die Modellierung von Belief Revision: Darstellung der Modellierung von Glaubenszuständen und der plausibelsten Welten im Rahmen der Belief Revision.
2.1 Die epistemische Subjunktion, das Konditional "⇒": Einführung und formale Herleitung des epistemischen Konditionals zur Repräsentation von Schlussfolgerungen innerhalb eines Belief-Systems.
2.2 Default Rules and Expectations: Anwendung der Plausibilitätsordnung zur Abbildung von Default-Regeln und Erwartungshaltungen des Agenten.
3. Epistemic Explanation: Vertiefende Analyse der verschiedenen Dimensionen von Erklärungsmodellen im epistemischen Kontext.
3.1 Predictive Explanations: Analyse prognostizierender Erklärungsmuster unter faktischen und hypothetischen Bedingungen.
3.2 Might Explanations: Beschreibung des Erklärungsmusters, das auf epistemischer Möglichkeit basiert, ohne zwingende Prognose.
3.3 Weak Explanation: Definition der schwachen Erklärung als wichtiges Muster für inkommensurable Cluster in CT40-Modellen.
3.4 Preferences: Untersuchung der Kriterien für die Bevorzugung bestimmter Erklärungen bei vorliegender Konkurrenz zwischen Hypothesen.
4. Zusammenfassung: Synthese der Ergebnisse über die Abduktion als Schluss auf eine plausible Erklärung innerhalb eines Belief-Revision-Frameworks.
Schlüsselwörter
Abduktion, Belief Revision, Plausibilität, epistemische Möglichkeit, Konditional, nonmonotones Schließen, Predictive Explanation, Might Explanation, Weak Explanation, Hintergrundwissen, Erklärungsmodell, Modaloperatoren, epistemischer Zustand, Logik, deduktiv-nomologisches Modell
Häufig gestellte Fragen
Worum geht es in der vorliegenden Arbeit grundsätzlich?
Die Arbeit analysiert den wissenschaftlichen Beitrag von Craig Boutilier und Veronica Becher zur formalen Abbildung abduktiver Schlussfolgerungen im Kontext der Belief Revision.
Was sind die zentralen Themenfelder der Arbeit?
Die Schwerpunkte liegen in der formalen Logik, der Erkenntnistheorie und der künstlichen Intelligenz, insbesondere bei der Frage, wie Agenten auf Basis vorhandenen Wissens plausible Erklärungen für Beobachtungen generieren.
Was ist das primäre Ziel oder die Forschungsfrage?
Das Ziel ist die Erarbeitung eines qualitativen Erklärungsmodells, das den Prozess der "Abduction as Belief Revision" durch das Konzept der Plausibilität anstelle von rein quantitativen Wahrscheinlichkeiten fundiert.
Welche wissenschaftliche Methode wird in der Arbeit verwendet?
Die Arbeit nutzt eine formal-logische Analyse, basierend auf modalen Logiken (CT40, CO) und den Prinzipien der AGM-Theorie zur Belief Revision.
Was wird im Hauptteil der Arbeit behandelt?
Der Hauptteil gliedert sich in die formale Modellierung des Belief-Systems, die Definition des epistemischen Konditionals und die Differenzierung verschiedener Erklärungstypen wie Predictive, Might und Weak Explanations.
Welche Schlüsselwörter charakterisieren diese Arbeit?
Die Arbeit ist geprägt durch Begriffe wie Abduktion, Belief Revision, Plausibilität, epistemische Möglichkeit und nonmonotones Schließen.
Was genau beschreibt das "Predictive Explanation"-Modell?
Es handelt sich um ein Modell, bei dem der Glaube an die Erklärung zwingend den Glauben an das Explanandum induziert; es ist das stärkste der vorgestellten Erklärungsmuster.
Wie unterscheidet sich die "Might Explanation" von anderen Modellen?
Im Gegensatz zur prädiktiven Erklärung erfordert die "Might Explanation" keine Prognosefähigkeit, sondern definiert ein Ereignis als epistemisch möglich, wenn es konsistent in den revidierten Glaubenszustand integriert werden kann.
- Quote paper
- Nikolaos Kromidas (Author), 2005, Die Abduktion als plausible Erklärung - Über „Abduction as Belief Revision“ von Craig Boutilier und Veronica Becher, Munich, GRIN Verlag, https://www.grin.com/document/93262
