Seminar Selected Topics on Specifying Intelligent Agents
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.
Places for seminars and laboratories are centrally allocated. Registration will be open from 07.01.2010 until 17.01.2010 at the following URL:
The introductory meeting took place on March 19th at 11:00 in the i5 seminar room (room 6202). Participation was compulsory.
The slides from the introductory meeting can be found here.
The list of topics and the literature provided for each topic can be found here. Remember: the provided references only serve as a starting point for you own literature research!
The seminar will take place on August 9 and 10. The talks will start at 9:00 and continue until around 16:00.
Please read and understand our general information and suggestions on seminars!
Participation in all meetings is bindingly for achieving the credit. The literature given for the talk should be discussed with the instructor. The instructors of the different topics are to be announced.
Renate Eschenbach from our library offers guided tours on how to find literature in the library and how to prepare a seminar. Interested students should enlist for a tour in the preliminary discussion.
Submitted by Daniel Beck on 21. December 2009 - 17:04 categories [ ]