Seminario informatica Modeling Multi-Agent Epistemic Planning in ASP
Il Dott. Francesco Fabiano (New Mexico State University – Affiliated researcher, University of Oxford – Research Associate (starting 27/01/2025)) presenterà un approfondimento sul ragionamento multi agente epistemico nell'ambito della programmazione dichiarativa
Short Bio: Dr. Francesco Fabiano is currently an affiliated researcher to the Computer Science Department at New Mexico State University. In 2021 he obtained his Ph.D. in Computer Science from the University of Udine, Italy. Before joining NMSU, he served as a post-doctoral researcher at Saint Joseph’s University in Philadelphia and at the University of Parma, Italy. During this time, Dr. Fabiano focused on investigating declarative programming and hybrid AI architectures to i) model coordinated automated production lines; ii) as well as evaluate contributions of scientific articles. His primary research interests lie in knowledge and belief representation, particularly in multi-agent domains, neuro-symbolic AI architectures for planning, epistemic reasoning, and computational logic. Currently, he is part of an IBM research group dedicated to developing cognitive AI architectures based on established cognitive theories (e.g., System 1, System 2 thinking).
Abstract: Designing agents that reason and act upon the world has always been one of the main objectives of the Artificial Intelligence community. While for planning in “simple” domains the agents can solely rely on facts about the world, in several contexts, e.g., economy, security, justice and politics, the mere knowledge of the world could be insufficient to reach a desired goal. In these scenarios, epistemic reasoning, i.e., reasoning about agents’ beliefs about themselves and about other agents’ beliefs, is essential to design winning strategies. This seminar presents the problem of reasoning in multi-agent epistemic settings exploiting declarative programming techniques. In particular, we will present an actual implementation of a multi-shot Answer Set Programming-based planner that can reason in multi-agent epistemic settings, called PLATO (ePistemic muLti-agent Answer seT programming sOlver). The ASP paradigm enables a concise and elegant design of the planner, w.r.t. other imperative implementations, facilitating the development of formal verification of correctness. We will also shows how the planner, exploiting an ad-hoc epistemic state representation and the efficiency of ASP solvers, has competitive performance results on benchmarks collected from the literature.
Quando: Lunedi' 16 dicembre 2024, ore 10.30
Dove: Aula B, plesso di matematica
