
×
Schließen bei unsicherem Wissen in der Künstlichen Intelligenz
Vergleich von Formalismen anhand eines Beispiels
von Léa SombéInhaltsverzeichnis
- 1. Einleitung.
- 2. Wozu neue Logiken.
- 3. Defaultlogik.
- 4. Nichtmonotone Modallogiken.
- 5. Von der Closed-World Annahme zur Zirkumskription.
- 6. Die Nichtmonotone Suppositionslogik von Besnard und Siegel.
- 7. Konditionallogik und Grobimplikationen.
- 8. Unsicherheitslogiken.
- 9. Unscharfe Logik.
- 10. Numerische Quantoren und bedingte Wahrscheinlichkeiten.
- 11. Kausalmodelle.
- 12. Analogieschlußverfahren.
- 13. Konsistenzerhaltungssysteme.
- 14. Aktionstheorien und das “Frame”-Problem.
- 15. Theorierevision.
- 16. Vorläufiger Schluß.
- Literatur.
- Stichwortverzeichnis.
- Adressen der Gruppe Léa Sombé.