|Website:||website containing additional information|
|Period:||periode 1 (week 36 t/m 45, dwz 3-9-2008 t/m 7-11-2008; herkansing week 1)
|Participants:||up till now 45 subscriptions|
|Schedule:||Note: from now on the schedule is to be found in Osiris|
|Teachers:||Dit is een oud rooster!
|week: 5||di 28-1-2014||17.00-20.00 uur||zaal: EDUC-ALFA|
|Contents:||This course is about the theory and realisation of so-called intelligent agents, pieces of software that display some degree of autonomy, realised by incorporating `high-level cognitive / mental attitudes' into both modelling and implementation of this kind of software. As such, the subject of intelligent agents is at the cross-roads of the fields of artificial intelligence and mainstream computer science, in particular software engineering. These mental attitudes comprise 'informational' and 'motivational' ones and are often of the so-called BDI kind, dealing with 'beliefs', 'desires' and 'intentions' of agents. The agent concept calls for an integration of several topics in artificial intelligence, such as knowledge representation and reasoning (in particular reasoning about action and change) and planning.
Agent technology, as the field is generally called, has a great potential of applications, ranging from intelligent personal assistants to e-commerce and robotics (where in the latter case often the term 'cognitive robotics' is used).
In the course we will devote much time to the philosophical and theoretical (mostly logical) foundations of the area of intelligent agents, and then go on with describing ways of realising them by special architectures and so-called agent-oriented programming languages in which one can program the 'mental states' of agents.
This course presents the introductory theory for the agent-directed courses in the Master programme and is required for courses such as MAS and MAP.
|Literature:||Collection of articles.|
|Course form:||Lectures and exercise classes (`werkcolleges')|
|Exam form:||Written exam.
|Minimum effort to qualify for 2nd chance exam:||Iedereen die aan het tentamen heeft meegedaan mag ook aan de herkansing resp. de aanvullende toets meedoen. Voor alle andere gevallen (ziekte e.d.) dient contact opgenomen te worden met de docent.|
|Description:||Overview in brief:
* introduction "What are intelligent agents?"
* philosophical background: Dennett, Bratman
* logical foundations of actions and agents: modal, temporal and dynamic logicc, BDI logic, KARO logic
* reasoning about actions: frame problem, situation calculus, planning
* agent architectures
* agent-oriented programming: agent languages (in particular AGENT0,(CON)GOLOG, 3APL)|