Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
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?
yes
no
Other reviews under "General": Date
Designing robot teams for distributed construction, repair, and maintenance
Wareham T.  ACM Transactions on Autonomous and Adaptive Systems 14(1): 1-29, 2019. Type: Article
Jul 30 2021
An innovative approach for ad hoc network establishment in disaster environments by the deployment of wireless mobile agents
Su X., Zhang M., Bai Q.  ACM Transactions on Autonomous and Adaptive Systems 13(4): 1-22, 2019. Type: Article
Jul 6 2021
Identity, institutions, and governance in an AI world: transhuman relations
Bloom P.,  Palgrave Macmillan, Cham, Switzerland, 2020. 268 pp. Type: Book (978-3-030361-80-8)
Apr 19 2021
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2021 ThinkLoud, Inc.
Terms of Use
| Privacy Policy