Schließen bei unsicherem Wissen in der Künstlichen Intelligenz von Léa Sombé | Vergleich von Formalismen anhand eines Beispiels | ISBN 9783322910950

Schließen bei unsicherem Wissen in der Künstlichen Intelligenz

Vergleich von Formalismen anhand eines Beispiels

von Léa Sombé
Buchcover Schließen bei unsicherem Wissen in der Künstlichen Intelligenz | Léa Sombé | EAN 9783322910950 | ISBN 3-322-91095-4 | ISBN 978-3-322-91095-0

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é.