Challenges for Action Theories

Challenges for Action Theories

by Michael Thielscher


Eligible for FREE SHIPPING
  • Want it by Thursday, October 25?   Order by 12:00 PM Eastern and choose Expedited Shipping at checkout.


Challenges for Action Theories by Michael Thielscher

A logic-based approach to the design of computing systems would, undou btedly, offer many advantages over the imperative paradigm most common ly applied so far for programming and hardware design and, consequentl y, logic, again and again, has been heralded as the basis for the next generation of computer systems. While logic and formal methods are in deed gaining ground in many areas of computer science and artificial i ntelligence the expected revolution has not yet happened. In this book the author offers a convincing solution to the ramification problem a nd qualification problem associated with the frame problem and thus co ntributes to a satisfactory solution of the core problem and related c hallenges. Thielscher bases his approach on the fluent calculus, a fir st-order Prolog-like formalism allowing for the description of actions and change.

Product Details

ISBN-13: 9783540674559
Publisher: Springer Berlin Heidelberg
Publication date: 05/19/2000
Series: Lecture Notes in Computer Science , #1775
Edition description: 2000
Pages: 146
Product dimensions: 6.10(w) x 9.25(h) x 0.36(d)

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews