Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.
Cookie akzeptieren![Baumgartner, Peter. Theory Reasoning in Connection Calculi. Springer Berlin Heidelberg, 1998.](https://eichendorff21.de/cdata/0jmiNCY63Ztk4zmcI4iEQTxmrZw=/300x0/9783540655091.png)
Peter Baumgartner
Theory Reasoning in Connection Calculi
- Springer Berlin Heidelberg
- 1998
- Taschenbuch
- 300 Seiten
- ISBN 9783540655091
The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional disciplines in AI. Theory reasoning is about techniques for combining automated reasoning systems with specialized and efficient modules for handling domain knowledge called background reasoners. Connection methods have proved to be a good choice for implementing high-speed automated reasoning systems. They are the starting point in this monograph,in which several theory reasoning versions are defined and related to each other. A major contribution of the book is a new technique of linear completion allowing for the automatic construction of background reasoners from a wide range
Mehr
Weniger
zzgl. Versand
in Kürze