|
|
libcats.org
Challenges for Action TheoriesMichael ThielscherA logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revolution has not yet happened. In this book the author offers a convincing solution to the ramification problem and qualification problem associated with the frame problem and thus contributes to a satisfactory solution of the core problem and related challenges. Thielscher bases his approach on the fluent calculus, a first-order Prolog-like formalism allowing for the description of actions and change.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Chaos: A Program Collection for the PC (3 rd. edition)Автор: Hans Jurgen Korsch, Автор: Hans-Jorg Jodl, Автор: Timo Hartmann
Размер книги: 14.35 Mb
Separate and Unequal: The Inside Story of Israeli Rule in East JerusalemАвтор: Amir S. Cheshin, Автор: Bill Hutman, Автор: Avi Melamed
Размер книги: 845 Kb
Manual of Traumatic Brain Injury ManagementАвтор: Felise S. Zollman, Автор: M.D., Автор: Bamidele (CON) Adeyemo, Автор: Amar Agha, Автор: M.D. (CON), Автор: David N. Alexander, Автор: M.D. (CON), Автор: William B. Barr, Автор: Ph.D. (CON)
Размер книги: 3.56 Mb
Ambigua ad Thomam una cum epistula secunda ad eundemАвтор: Maximus Confessor; Bart Janssens (editor)Категория: Philosophy, Theology, Christian Philosophy, Christian Theology, Byzantine Philosophy, Byzantine Theology, Eastern Orthodox Tradition
Размер книги: 12.52 Mb
|
|
|