|
|
libcats.org
Theory Reasoning in Connection CalculiPeter BaumgartnerThe 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 of axiomatically given theories. The emphasis is on theoretical investigations, but implementation techniques based on Prolog are also covered.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
Metal-Oxygen Clusters: The Surface and Catalytic Properties of Heteropoly Oxometalates (Fundamental and Applied Catalysis)Автор: John B. Moffat
Размер книги: 2.65 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Всё не такАвтор: Шварц Миротвор, Автор: Мак Брелан АвгустКатегория: Альтернативная история
Размер книги: 570 Kb
7 нот менеджмента. Настольная книга руководителяАвтор: Бочкарев А., Автор: Кондратьев В., Автор: Краснова В., Автор: Матвеева А. и дрКатегория: money
Размер книги: 61.98 Mb
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings: ... 1992 2ndАвтор: Jan Vytopil
Размер книги: 5.07 Mb
Coupled Thermo-Hydro-Mechanical-Chemical Processes in Geo-systems, Volume 2 (Geo-Engineering Book Series)Автор: Ove Stephansson, Автор: John Hudson, Автор: Lanru JingКатегория: Химия
Размер книги: 51.44 Mb
A Short Grammar of Tetun Dili (Languages of the World Materials, 388)Автор: Catharina Williams-van Klinken, Автор: John Hajek, Автор: Rachel NordlingerКатегория: Языкознание
Размер книги: 11.02 Mb
Christian Counseling: A Comprehensive GuideАвтор: Gary R. CollinsКатегория: Christian
Размер книги: 21.31 Mb
|
|
|