Modelling and controlling of behaviour for autonomous mobile robots

摘要

A new language, ALICA ("a language for interactive cooperative agents"), is featured in this book, based on the author's doctoral dissertation. The language is designed for teams of agents that operate in a dynamic environment, such as robots operating in RoboCup.ALICA belongs to the class of belief-desire-intention (BDI) languages. It is a logic-based specification language designed to support plan-based teamwork by multiple agents. ALICA does not include operations such as sensing and actuation, relying on other components to provide an interface with sensors and actuators.The author describes the syntactic elements and the semantics of ALICA in detail. Low-level actions are represented as behaviors, which are considered atomic entities in ALICA.