Schließen Bei Unsicherem Wissen in Der Künstlichen Intelligenz: Vergleich Von Formalismen Anhand Eines Beispiels

ISBN-13: 9783528051266 / Niemiecki / Miękka / 1992 / 184 str.

Lea Sombe

Opis

In unuberschaubarer Fulle werden derzeit in der Kunstlichen Intelligenz Formalismen vorgeschlagen, die den sogenannten gesunden Menschenverstand in Betracht ziehen und damit den unvollstandigen Charakter verfugbarer Informationen verschleiern konnen. Der potentielle Benutzer ist etwas verwirrt durch die Vielfalt der ihm vorgeschlagenen Methoden, insofern als diese in einer vielfaltigen weitverstreuten Literatur dargestellt sind, wo wenig Vergleichselemente zwischen den von verschiedenen Denkschulen vorgeschlagenen Ansatzen existieren. Dies kam einer Gruppe franzosischer Wissenschaftler zu Bewusstsein anlasstich einer ersten Arbeitstagung in Prelenfrey (Isere) am 34 Marz 1986, der Fachgruppe lnferenz und Kontrolle des Forschungsprogramms GRECO der Kunstlichen Intelligenz, die kurz zuvor mit Unterstutzung des Forschungsministeriums und des CNRS entstanden war. Es stellte sich in diesen zwei Tagen heraus, dass dieselben Beispiele zur Illustration und Begrundung oftmals radikal verschiedener, teils symbolischer, teils auf numerischen Unsicherheitstheorien basierender Ansatze benutzt wurden. Wenig spater wahlte eine Arbeitsgruppe, die aus neun Personen bestand (Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Farift.as del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind et Pierre Siegel), den Namen Lea Sombe (aus im folgenden offensichtlichen Grunden) und beschloss, eine Vergleichsstudie an Hand eines anschaulichen Beispiels durchzufuh

Spis treści

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