Schließen bei unsicherem Wissen in der Künstlichen Intelligenz Vergleich von Formalismen anhand eines Beispiels
Main Author: | |
---|---|
Format: | eBook |
Language: | German |
Published: |
Wiesbaden
Vieweg+Teubner Verlag
1992, 1992
|
Edition: | 1st ed. 1992 |
Series: | Künstliche Intelligenz
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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é