Schließen bei unsicherem Wissen in der Künstlichen Intelligenz : Vergleich von Formalismen anhand eines Beispiels

Front Matter....Pages I-VII Einleitung....Pages 1-7 Wozu Neue Logiken....Pages 9-22 Defaultlogik....Pages 23-31 Nichtmonotone Modallogiken....Pages 33-46 Von der Closed-World Annahme zur Zirkumskription....Pages 47-54 Die Nichtmonotone Suppositionslogik von Besnard und Siegel....Pages 55-63 Konditionallogik und Grobimplikationen....Pages 65-73 Unsicherheitslogiken....Pages 75-86 Unscharfe Logik....Pages 87-92 Numerische Quantoren und bedingte Wahrscheinlichkeiten....Pages 93-104 Kausalmodelle....Pages 105-112 Analogieschlußverfahren....Pages 113-119 Konsistenzerhaltungssysteme....Pages 121-137 Aktionstheorien und das „Frame“-Problem....Pages 139-150 Theorierevision....Pages 151-154 Vorläufiger Schluß....Pages 155-160 Back Matter....Pages 161-184