|
|
libcats.org
Главная →
Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical SystemsKnowledge in Action: Logical Foundations for Specifying and Implementing Dynamical SystemsRaymond ReiterModeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community. This book presents a comprehensive treatment of these ideas, basing its theoretical and implementation foundations on the situation calculus, a dialect of first-order logic. Within this framework, it develops many features of dynamical systems modeling, including time, processes, concurrency, exogenous events, reactivity, sensing and knowledge, probabilistic uncertainty, and decision theory. It also describes and implements a new family of high-level programming languages suitable for writing control programs for dynamical systems. Finally, it includes situation calculus specifications for a wide range of examples drawn from cognitive robotics, planning, simulation, databases, and decision theory, together with all the implementation code for these examples. This code is available on the book’s Web site.
Скачать книгу бесплатно (pdf, 3.40 Mb)
Читать «Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Les prothèses tricompartimentaires du genou de première intention : Techniques opératoires. Problèmes et solutions (Collection GECO)Автор: Gérard Gacon, Автор: Jaques HummerКатегория: Математика, Прикладная математика
Размер книги: 7.23 Mb
Pleasure and Power in Nazi GermanyАвтор: Corey Ross, Автор: Pamela Swett, Автор: Fabrice dAlmeida
Размер книги: 3.13 Mb
The War Illustrated Номер: 26 Vol. 2Автор: Sir John Hammerton (Ed.)Категория: КНИГИ ВОЕННАЯ ИСТОРИЯ
Размер книги: 11.04 Mb
|
|
|