SluitenHelpPrint
Switch to English
Cursus: INFOIAG
INFOIAG
Intelligent agents
Cursus informatie
CursuscodeINFOIAG
Studiepunten (EC)7,5
Cursusdoelen
Upon succesfull completion of this course, the student:
  • Knows the philosophical and logical foundations of agent technology
  • Is able to read and assess the research literature in this field
  • Masters the (logical) techniques used for describing agent behaviour and can do formal proofs using these techniques. Furthermore, also knows the limitations of these techniques
  • More in general, is able to use (modal) logic as a modelling and specification framework for AI applications, and thus contributes to the mastery of technical artificial intelligence at an advanced academic level
  • Has a good understanding of how agent technology falls within the areas of AI and computer science, more in general
Inhoud
This course is about the theory and realisation of 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. 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. In the course time is devoted to the philosophical and theoretical (mostly logical) foundations of the area of intelligent agents. Furthermore, ways of realising them by special architectures and so-called agent-oriented programming languages in which one can program the "mental states" of agents are described. This course presents the introductory theory for the agent-oriented courses in the Master programme.
SluitenHelpPrint
Switch to English