Abduktives Schließen hat in den letzten Jahren dank seiner Anwendungen in verschiedenen Disziplinen, von der Erkenntnistheorie über die Linguistik bis hin zur künstlichen Intelligenz, viel Aufmerksamkeit erregt. Dieses Buch stellt einige der populärsten Ansätze zur Abduktion in der klassischen Logik vor, sowohl in der Aussagenlogik als auch in der Prädikatenlogik.
Angesichts des Interesses an der Abduktion in der Logikprogrammierung enthält das Buch ein Kapitel, das den Anwendungen der Abduktion in der automatischen Argumentation gewidmet ist. Ein in Prolog geschriebener abduktiver Reasoner ist ebenfalls enthalten.
Die Anhänge enthalten den Quellcode sowie eine kurze Einführung in die logische Programmierung. Zahlreiche Beispiele für abduktive Probleme, die mit jedem der vorgestellten Systeme gelöst wurden, sind im Buch enthalten.
| ISBN: | 9781848900837 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
