ENGLISH

Challenges for Action Theories

By Michael Thielscher (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2000
ISBN
3540674551, 9783540674559
DOI
10.1007/3-540-45596-5
LCC
QA76.9.L63 T48 2000
Open Library ID
OL17594390M
Language
english
Format
PDF
Filesize
978 kB (1001870 bytes)
Series
Lecture Notes in Computer Science 1775 : Lecture Notes in Artificial Intelligence
Edition
1
Pages
146\149
Scanned
yes
Time added
2012-03-17 06:00:00
Artificial Intelligence (incl. Robotics); Mathemat

Description

A 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.

Similar books