libcats.org
Главная

Formal Methods in Artificial Intelligence

Обложка книги Formal Methods in Artificial Intelligence

Formal Methods in Artificial Intelligence

Artificial 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.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Michael Cassutt - Beyond The End Of Time

Автор:
Размер книги: 26 Kb

Error-Correcting Linear Codes

Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 6.76 Mb

Общая тактика. Учебное пособие

Автор:
Категория: Военная техника
Размер книги: 2.54 Mb

Reggiane Re 2000: Falco, Heya, J.20

Автор:
Категория: ВОЕННАЯ ИСТОРИЯ
Размер книги: 36.87 Mb

Святитель Григорий Богослов

Автор:
Категория: Религия
Размер книги: 5 Kb

Batman and Philosophy: The Dark Knight of the Soul

Автор: , Автор:
Категория: fiction
Размер книги: 418 Kb