Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Reasoning, action and interaction in AI theories and systems : essays dedicated to Luigia Carlucci Aiello (Lecture Notes in Computer Science 4155)
Stock O., Schaerf M., Springer-Verlag New York, Inc., Secaucus, NJ, 2006. 343 pp. Type: Book (9783540379010)
Date Reviewed: Apr 30 2007

The overarching theme of reasoning about actions frames the collection of diverse papers presented in this book. Four main themes are covered: logic, search, artificial intelligence (AI) planning, and applications. The logic theme dominates the book, and is frequently intertwined with the other three themes.

AI planning is the natural derivative of logic, and is divided mainly into search algorithms and proof systems. Johansson et al. cover first rippling, and Melis et al. and Turini et al. look at the different ways of proof planning, either by coordination or by integration. Finally, Traverso looks at probabilistic planning and its applications in Web services and robotics, which are the two main application themes of the book. Sandewall discusses action coordination within multiagent (autonomous robotics) systems, while Nardi and Locchi discuss the use of AI in RoboCup robotics. Sandewall’s paper focuses on the use of cognitive robotics logic (CRL). It discusses the process of axiomatization of actions and the formalization of inference. The second application area is Web services. While the Micarelli et al. paper reviews search engines’ use of AI, the Wahlster et al. paper addresses how the Internet can be used to record one’s life.

Overall, the book provides interesting information about the field of logic-based action representation and reasoning. It is an ideal beginning book for any researcher coming into the field.

Reviewer:  Aladdin Ayesh Review #: CR134211 (0804-0338)
Bookmark and Share
General (I.2.0 )
Deduction And Theorem Proving (I.2.3 )
Distributed Artificial Intelligence (I.2.11 )
Knowledge Representation Formalisms And Methods (I.2.4 )
Mathematical Logic (F.4.1 )
Miscellaneous (I.2.m )
Would you recommend this review?
Other reviews under "General": Date
Artificial experts: social knowledge and intelligent machines
Collins H., MIT Press, Cambridge, MA, 1990. Type: Book (9780262031684)
Apr 1 1991
Catalogue of artificial intelligence techniques
Bundy A., Springer-Verlag New York, Inc., New York, NY, 1990. Type: Book (9780387529592)
Aug 1 1991
Knowledge and inference
Nagao M., Academic Press Prof., Inc., San Diego, CA, 1990. Type: Book (9780125136624)
Oct 1 1991

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2023 ThinkLoud®
Terms of Use
| Privacy Policy