The student will:
- Develop insight into the principles underlying knowledge systems and the use of problem-solving methods, knowledge representation languages and model-based reasoning in this context.
- Understand the core principles of multi-agent interactions, such as decision making, allocation of tasks and rewards, and utility theory.
- Gain knowledge about the role of logical languages in symbolically representing and reasoning with knowledge, and the role of agent programming languages in modeling interaction between agents.
- Be capable of developing non-trivial Prolog (for logic programming) and Jason (for agent programming) programs.
|
|
The course will contain a logic block of five lectures (discussing temporal, epistemic, and modal logic, resolution, argumentation theory, non-monotonic reasoning and Prolog); a multi-agent block of four lectures (on utility and preferences, voting systems and group decisions, coalition forming, auctioning, bargaining, and negotiations); an agent programming block of three lectures, discussing the AgentSpeak language and the Jason interpreter, and two programming assignments: one on Prolog, and one on AgentSpeak.
|
|