Logic in AI – The Case of Strategic Reasoning

Title

Logic in AI – The Case of Strategic Reasoning

Speaker

Raul Fervari (FAMAF-UNC, CONICET & GTIIT)

Time and Location

Dec. 20, 2022, Tuesday, 18:30-19:30, E510 (Education Building, 5th floor)

Pizza will be provided after the seminar

Abstract

Artificial Intelligence (AI) has made use of logic since its early origins. From the formalization of a notion of knowledge for intelligent agents, or the idea of capturing human common sense, until the use of logical tools to modelling lingüistic structures, logic has evolved and served to AI purposes all over the history. In this talk, we will present a modern approach for logic in AI, based on Modal Logics. We will discuss some recent developments in this field, in particular, related to a family of Modal Logics tailored to modelling and reasoning about the abilities of autonomous agents. We will conclude discussing the state of the art of this field, and presenting a recent work accepted at the 37^th AAAI conference on Artificial Intelligence (AAAI-23).

Biography

Raul Fervari is a Permanent Researcher (Category ‘Adjoint’) at Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET), Argentina, and a Regular Professor at Universidad Nacional de Córdoba (UNC), Argentina. Previously, he obtained a PhD in Computer Science in 2014, also at UNC. His reseach focuses in computional aspects of modal logics, and logics with a dynamic behavior. He participates in many international and national projects, and as a member of the Program Committees in several specialized events. He also has been invited Lecturer and Researcher at different universities and international events, such as the ESSLLI summer school, University of Luxembourg and Université Paris-Saclay, among others. For full details, you can visit: https://cs.famaf.unc.edu.ar/~rfervari