Seminar Selected Topics on Specifying Intelligent Agents SS 2010

Contents

In this seminar we take an in-depth look at several different approaches for specifying intelligent agents. Generally, the formal specification not only influences the actual behavior of the agent but the framework it is given in also determines its abilities to reason about its behavior. Finding a good tradeoff between the expressiveness of the framework and its complexity, deriving “intelligent” behavior from the the agent’s specification, and the comparison of the different approaches are questions that are of high interest throughout the seminar. We consider approaches for single agent as well as for multi agent scenarios.