|
|
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
Только что пользователи скачали эти книги:
Экономика труда (Экономика социально-трудовых отношений): Методические указания к изучению дисциплиныАвтор: Кинчагулова М.В.Категория: Экономика труда
Размер книги: 321 Kb
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-Based Software Development) (Series on Component-Based Software Development)Автор: Zhiming Liu, Автор: He JifengКатегория: Математика, Прикладная математика
Размер книги: 19.11 Mb
Software for Algebraic Geometry (The IMA Volumes in Mathematics and its Applications)Автор: Michael E. Stillman, Автор: Nobuki Takayama, Автор: Jan VerscheldeКатегория: Математика, Геометрия и топология
Размер книги: 9.50 Mb
|
|
|