Originaltitel:
The Logic of Knowledge Bases
Inhalt des Buches:
Die Idee einer Wissensbasis ist das Herzstück der symbolischen oder "guten altmodischen" künstlichen Intelligenz (GOFAI). Ein wissensbasiertes System.
entscheidet, wie es handeln soll, indem es formale Argumentationsprozeduren über einen Korpus von explizit dargestelltem Wissen, seine Wissensbasis, laufen lässt. Das System ist.
Es wird nicht für bestimmte Aufgaben programmiert, sondern es wird ihm gesagt, was es wissen muss, und es wird erwartet, dass es den Rest ableitet.
In diesem Buch geht es um die Logik solcher Wissensbasen. Es beschreibt detailliert die Beziehung zwischen symbolischen Wissensrepräsentationen und abstrakten Wissenszuständen und erforscht dabei die Grundlagen von Wissen, Wissensbasen, wissensbasierten Systemen sowie Wissensrepräsentation und Schlussfolgerungen. Das Buch setzt eine gewisse Vertrautheit mit der Prädikatenlogik erster Ordnung voraus und bietet ein strenges mathematisches Modell des Wissens, das allgemein und ausdrucksstark ist, aber in der Praxis besser funktioniert als bisherige Modelle.
Die erste Auflage des Buches erschien im Jahr 2000, und seither wurde das Wissensmodell auf verschiedene Weise angewendet und erweitert.
Diese zweite Auflage enthält eine Reihe neuer Ergebnisse über die Logik von Wissensbasen, einschließlich Standardschlussfolgerungen, Schlussfolgerungen über Handlungen.
Und Veränderung, und nachvollziehbare Argumentation.
Hector Levesque ist emeritierter Professor am Fachbereich Informatik der Universität Toronto. Gerhard Lakemeyer ist Professor und Vorsitzender des Lehrstuhls für Informatik an der RWTH Aachen und Professor (nur Status) am Lehrstuhl für Informatik der Universität Toronto.
Weitere Daten des Buches:
| ISBN: | 9781848904200 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Kauf:
Derzeit verfügbar, auf Lager.
