|
|
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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Введение в параллельные и векторные методы решения линейных системАвтор: Ортега Дж.(Ortega)Категория: Numerical linear algebra
Размер книги: 5.72 Mb
A Laboratory of Transnational History: Ukraine and Recent Ukrainian HistoriographyАвтор: Georgiy Kasianov, Автор: Philipp Ther
Размер книги: 1.23 Mb
Analysis of Derivatives for the CFA ProgramАвтор: Don M. ChanceКатегория: Математика, Анализ
Размер книги: 74.44 Mb
State and Local Population Projections: Methodology and Analysis (The Springer Series on Demographic Methods and Population Analysis)Автор: Stanley K. Smith, Автор: Jeff Tayman, Автор: David A. SwansonКатегория: Искусство, Графические виды искусства
Размер книги: 1.66 Mb
Public-private Partnerships in the New Eu Member States: Managing Fiscal Risks (World Bank Working Papers)Автор: Nina Budina, Автор: Hana Polackova Brixi, Автор: Timothy Irwin
Размер книги: 493 Kb
Logistics Operations and Management: Concepts and ModelsАвтор: Reza Farahani, Автор: Shabnam Rezapour, Автор: Laleh Kardar
Размер книги: 5.84 Mb
Cam Jansen and the Mystery of the Television DogАвтор: Adler David AКатегория: fiction
Размер книги: 2.96 Mb
|
|
|