Knowledge Representation and Reasoning in Multi-Agent Systems

The Research Group on Knowledge Representation and Reasoning in Multi-Agent Systems (KRR-MAS) is dedicated to advancing the development and capabilities of intelligent agents operating within Multi-Agent Systems (MAS). Our research is centered on the design and implementation of methods that integrate key developments from areas such as logic programming, argumentation theory, belief revision, automated planning, trust and reputation modeling, agent-oriented programming languages, knowledge representation, and automated reasoning.
The group’s work aims to address complex computational challenges by leveraging interdisciplinary approaches. The results—both current and forthcoming—seek to contribute meaningful solutions to problems across various domains of science and technology.

The group’s activities include:

• The development of new techniques for the maintenance and revision of computational mechanisms for trust and reputation in MAS, where agents are able to receive information from multiple informants.
• The development of techniques to enhance the computational capacity and efficiency of argumentative systems, incorporating a notion of support between arguments and higher-order relations.
• The development of methods to equip argumentative systems with the ability to account for dynamic changes, thereby integrating belief revision techniques into defeasible argumentation.
• The development of mechanisms for individual or collective decision-making by deliberative intelligent agents within a MAS.
• The development of techniques for knowledge sharing within a MAS.