Doctoral Thesis Defense: Faisal Al-Saqqar

Speaker: Faisal Al-Saqqar

Supervisor: Dr. J. Bentahar

Examining Committee: Drs. F. Khendek, O. Ormandjieva, J. Paquet,
C. Talhi, S. Hashtrudi Zad (Chair)

Title:  Analyzing the Interaction Between Knowledge and Social Commitments in Multi-Agent Systems

Date: Thursday, September 3, 2015

Time: 10:00 a.m.

Place: EV 1.162

ABSTRACT

Both knowledge and social commitments in Multi-Agent Systems (MASs) have long been under research independently, especially for agent communication. Plenty of work has been carried out to define their semantics. However, in concrete applications such as business settings, agents should reason about their knowledge and social commitments at the same time, particularly when they are engaged in conversations. In fact, studying the interaction between knowledge and social commitments is still in its infancy. Therefore, in this thesis, we aim to provide a practical and formal framework that analyzes the interaction between knowledge and communicative social commitments in MASs from the semantics, model checking, complexity, soundness and completeness perspectives.