Blick ins Buch

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

Vergleich von Formalismen anhand eines Beispiels

Léa Sombé (Autor)

Buch | Softcover

VII, 184 Seiten

1992
Vieweg & Teubner (Verlag)
978-3-528-05126-6 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

In unüberschaubarer Fülle werden derzeit in der Künstlichen Intelligenz Formalismen vorgeschlagen, die den sogenannten gesunden Menschenverstand in Betracht ziehen und damit den unvollständigen Charakter verfügbarer Informationen verschleiern können. Der potentielle Benutzer ist etwas verwirrt durch die Vielfalt der ihm vorgeschlagenen Methoden, insofern als diese in einer vielfältigen weitverstreuten Literatur dargestellt sind, wo wenig Vergleichselemente zwischen den von verschiedenen Denkschulen vorgeschlagenen Ansätzen existieren. Dies kam einer Gruppe französischer Wissenschaftler zu Bewußtsein anläßtich einer ersten Arbeitstagung in Prelenfrey (Isere) am 34 März 1986, der Fachgruppe lnferenz und Kontrolle des Forschungsprogramms GRECO der Künstlichen Intelligenz, die kurz zuvor mit Unterstützung des Forschungsministeriums und des CNRS entstanden war. Es stellte sich in diesen zwei Tagen heraus, daß dieselben Beispiele zur Illustration und Begründung oftmals radikal verschiedener, teils symbolischer, teils auf numerischen Unsicherheitstheorien basierender Ansätze benutzt wurden. Wenig später wählte 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 Gründen) und beschloß, eine Vergleichsstudie an Hand eines anschaulichen Beispiels durchzuführen.

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

Erscheint lt. Verlag	1.1.1992
Reihe/Serie	Künstliche Intelligenz
Zusatzinfo	VII, 184 S. 5 Abb.
Verlagsort	Wiesbaden
Sprache	deutsch
Maße	170 x 244 mm
Gewicht	338 g
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	Bewusstsein • Intelligenz • Künstliche Intelligenz • Logik • Unscharfe Logik • Wahrscheinlichkeit • Wissen
ISBN-10	3-528-05126-4 / 3528051264
ISBN-13	978-3-528-05126-6 / 9783528051266
Zustand	Neuware