Courses: INFO382 Logic for Multi-agent Systems - Spring 2017




Credits

15.0

Level of Study

Master level

Language of Instruction

English

Teaching semester

Irregular

Objectives and Content

Students will obtain advanced theoretical knowledge in the state of the art of formal logics for reasoning about interaction, and skills in using them to model and analyse multi-agent systems. The course will enable students to carry out advanced research topics in the areas of multi-agent systems, artificial intelligence, and modal logic, and give them an overview of the research frontier and open problems.

 

The course covers the state of the art in logical formalisms for reasoning about multi-agent interaction. Formal logic is of key foundational and practical importance in the fields of multi-agent systems and artificial intelligence. The course will focus on the logical formalization of different types of interaction between rational agents. A main topic will be epistemic logic, logic for reasoning about knowledge and belief. Epistemic logic has had a very strong impact, not only in multi-agent systems and artificial intelligence, but also elsewhere in computer science, in philosophy, in game theory, and in other fields. In addition to epistemic logic, the course will cover logics for reasoning about game-like interaction, such as coalition logic and alternating-time temporal logic, as well as other types of multi-agent interaction, and the dynamics of combining several of these types of reasoning. The emphasis will be on formal models and logical languages and their formal semantics. Some proof techniques will be covered.

 

The course material will consist of textbooks and research articles.

Learning Outcomes

Knowledge

 

The candidate

has advanced theoretical knowledge in the state of the art of formal logics for reasoning about interaction, including about key properties of some of the most important multi-agent logics

 

Skills

 

The candidate

has skills in using advanced theoretical knowledge to model and analyse multi-agent systems, including

 

General competence

 

The candidate

is able to read and understand advanced research papers in the fields of modal logic, multi-agent systems and artificial intelligence, as well as formulate research problems in these fields.

Recommended Previous Knowledge

Solid background in Informatics/Information Science/Computer Science/Philosophy/Mathematics, or equivalent disciplines, in particular basic discrete mathematics and formal classical logic.

Access to the Course

Master in Information Science. Other master students may apply for admission.

Teaching Methods and Extent of Organized Teaching

Lectures and seminars

Compulsory Assignments and Attendance

Mandatory participation: Attendance at 80 % of course sessions is mandatory.

Forms of Assessment

Oral individual exam (70%)

4 graded assignments (30%)

Grading Scale

The grading system has a descending scale from A to E for passes and F for fail.

Assessment Semester

Irregular

Course Evaluation

INFO382 is evaluated by students every three years and by the department every year.

Programme Committee

The Information Science Programme Committee at the Department of Information Science and Media Studies

Course Administrator

The Social Science Faculty and the Department of Information Science and Media Studies.

Contact Information

studieveileder@info.uib.no

Tlf 55 58 91 00 / 55 58 41 17

Department

Department of Information Science and Media Studies