Course Details for A.Y. 2011/2012

Course Objectives

Students will learn concepts, languages, tools and methodologies for developing intelligent agents and multi-agent systems. The Course includes practical developments with existing languages

Course Content

• Introduction: the agent metaphor, agent-oriented paradigm
• Preliminary definitions: DATALOG and Prolog
• The logic agent-oriented language DALI
• Knowledge representation and resoning in agent systems: Actions and planning - Assumption-based reasoning - Using uncertain knowledge
• Coordination models in multi-agent systems
• Architectures and Applications

Prerequisites and Learning Activities

This Course is based on Computational Logic. It is useful (though not mandatory) to know something about First-order logic and prolog, and it is very useful (though not mandatory) to have followed a basic Artificial Intelligent Course

Assessment Methods and Criteria

Written and oral exam.

Textbooks

• D. Poole, A. Mackworth and R. Goebel, Computational Intelligence: a Logic Approach , Oxford Univ. Press.. http:// www.cs.ubc.ca/spider/poole/ci.html   
• R. Kowalski, How to Be Artificial Intelligent, the Logical Way (available online on the author's web site) http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/rak.html   
• materiale fornito sul sito web del docente    

Course page updates

• A.Y. 2010/2011
• A.Y. 2011/2012
• A.Y. 2012/2013
• A.Y. 2013/2014
• A.Y. 2014/2015
• A.Y. 2015/2016
• A.Y. 2016/2017
• A.Y. 2017/2018
• A.Y. 2018/2019
• A.Y. 2019/2020