Logic for Multi-agent Systems

Masteremne

Emnebeskrivelse

Mål og innhald

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 projects 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 time and 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 textbook chapters and research articles.

Læringsutbyte

A student who has completed the course should have the following learning outcomes defined in terms of knowledge, skills and general competence:

Knowledge

The student 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 student has skills in using advanced theoretical knowledge to model and analyse multi-agent systems, including

  • presenting and discussing state-of-the art research papers in the fields of modal logic, multi-agent systems and artificial intelligence
  • modelling scenarios involving rational interaction and use formal logic to analyse them
  • carrying out advanced research projects in the use of formal logic in multi-agent systems and artificial intelligence

General competence

The student 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.

Studienivå (studiesyklus)

Master

Undervisningssemester

Irregular
Krav til forkunnskapar
Bachelor's degree in information science or equivalent.
Tilrådde forkunnskapar

Basic knowledge of discrete mathematics and formal classical logic will be assumed.

Background in Information Science/ Informatics/Computer Science/Philosophy/Mathematics, or equivalent disciplines is recommended.

Krav til studierett
Master's Programme in Information Science. Other master students may apply for admission.
Arbeids- og undervisningsformer
Lectures and seminars
Obligatorisk undervisningsaktivitet

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

Compulsory requirements are only valid the semester they are approved.

Vurderingsformer
  • Oral individual exam (70%)
  • 4 graded assignments (30%)
  • The exam assignment will be given in the language of instruction in the course.

    The exam answer must be submitted in the same language as the exam assignment.

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

    Assessment in teaching semester

    Students with valid absence as defined in the UiB regulations § 5-5 can apply for an extended submission deadline to eksamen.infomedia@uib.no. The application must be submitted before the deadline for submission has expired.

    Emneevaluering
    Alle emne blir evaluert i tråd med UiBs kvalitetssystem for utdanning.
    Programansvarleg
    The Information Science Programme Committee at the Department of Information Science and Media Studies
    Administrativt ansvarleg
    Department of Information Science and Media Studies at the Faculty of Social Sciences has the administrative responsibility for the course and the study programme.