|
|
libcats.org
Formal Methods in Artificial IntelligenceAllan M. RamsayArtificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintainance and intensional logic. The book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Nucleation (Butterworth 2000)Автор: Dimo KashchievКатегория: Phase transitions
Размер книги: 4.70 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Multiplicative Ideal Theory in Commutative Algebra: A Tribute to the Work of Robert GilmerАвтор: James W. Brewer, Автор: Sarah Glaz, Автор: William Heinzer, Автор: Bruce Olberding
Размер книги: 17.72 Mb
Multiplicative ideal theory in commutative algebra. Tribute to R.GilmerАвтор: James W. Brewer, Автор: Sarah Glaz, Автор: William Heinzer, Автор: Bruce OlberdingКатегория: Abstract algebra
Размер книги: 2.21 Mb
Петросян-Спасский 1969Автор: Болеславский, Автор: БондаревскийКатегория: шахматы
Размер книги: 2.95 Mb
Values at Work: Employee Participation Meets Market Pressure at Mondragon (ILR Press Book)Автор: George Cheney
Размер книги: 11.67 Mb
Practical Design, Construction and Operation of Food Facilities (Food Science and Technology)Автор: J. Peter Peter ClarkКатегория: Техника, Строительство
Размер книги: 1.42 Mb
In Silico: 3D Animation and Simulation of Cell Biology with Maya and MEL (The Morgan Kaufmann Series in Computer Graphics)Автор: Jason Sharpe, Автор: Charles John Lumsden, Автор: Nicholas Woolridge
Размер книги: 61.20 Mb
The Politics of Care in Habermas and Derrida: Between Measurability and ImmeasurabilityАвтор: Richard Ganis
Размер книги: 959 Kb
|
|
|