{"id":849,"date":"2022-12-20T08:39:10","date_gmt":"2022-12-20T00:39:10","guid":{"rendered":"https:\/\/sites.gtiit.edu.cn\/events\/?post_type=mec-events&#038;p=849"},"modified":"2022-12-20T08:39:10","modified_gmt":"2022-12-20T00:39:10","slug":"logic-in-ai-the-case-of-strategic-reasoning","status":"publish","type":"mec-events","link":"https:\/\/sites.gtiit.edu.cn\/events\/items\/logic-in-ai-the-case-of-strategic-reasoning\/","title":{"rendered":"Logic in AI &#8211; The Case of Strategic Reasoning"},"content":{"rendered":"<p><span style=\"color: #0b71c6\"><strong>Title<\/strong><\/span><\/p>\n<p><strong>Logic in AI &#8211; The Case of Strategic Reasoning<\/strong><\/p>\n<p><strong><span style=\"color: #0b71c6\">Speaker<\/span><\/strong><\/p>\n<p><strong>Raul Fervari <\/strong>(FAMAF-UNC, CONICET &amp; GTIIT)<\/p>\n<p><strong><span style=\"color: #0b71c6\">Time and Location<\/span><\/strong><\/p>\n<p>Dec. 20, 2022, Tuesday, 18:30-19:30, E510 (Education Building, 5th floor)<\/p>\n<p>Pizza will be provided after the seminar<\/p>\n<p><span style=\"color: #0b71c6\"><strong>Abstract<\/strong><\/span><\/p>\n<p>Artificial Intelligence (AI) has made use of logic since its early origins. From the formalization of a notion\u00a0of knowledge for intelligent agents, or the idea of capturing human common sense, until the use of logical tools\u00a0to modelling ling\u00fcistic structures, logic has evolved and served to AI purposes all over the history. In this talk,\u00a0we will present a modern approach for logic in AI, based on Modal Logics. We will discuss some recent developments\u00a0in this field, in particular, related to a family of Modal Logics tailored to modelling and reasoning about\u00a0the abilities of autonomous agents. We will conclude discussing the state of the art of this field, and presenting\u00a0a recent work accepted at the 37<sup>th<\/sup>\u00a0AAAI conference on Artificial Intelligence (AAAI-23).<\/p>\n<p><span style=\"color: #0b71c6\"><strong>Biography<\/strong><\/span><\/p>\n<p>Raul Fervari is a Permanent Researcher (Category &#8216;Adjoint&#8217;) at Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), Argentina, and a Regular Professor at Universidad Nacional de C\u00f3rdoba (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\u00e9 Paris-Saclay, among others. For full details, you can visit: <a href=\"https:\/\/cs.famaf.unc.edu.ar\/~rfervari\">https:\/\/cs.famaf.unc.edu.ar\/~rfervari<\/a><\/p>\n<p><img loading=\"lazy\" class=\"alignnone wp-image-850 size-full\" src=\"http:\/\/sites.gtiit.edu.cn\/events\/wp-content\/uploads\/sites\/55\/2022\/12\/Poster-4.jpg\" alt=\"\" width=\"627\" height=\"886\" srcset=\"https:\/\/sites.gtiit.edu.cn\/events\/wp-content\/uploads\/sites\/55\/2022\/12\/Poster-4.jpg 627w, https:\/\/sites.gtiit.edu.cn\/events\/wp-content\/uploads\/sites\/55\/2022\/12\/Poster-4-212x300.jpg 212w, https:\/\/sites.gtiit.edu.cn\/events\/wp-content\/uploads\/sites\/55\/2022\/12\/Poster-4-8x12.jpg 8w\" sizes=\"(max-width: 627px) 100vw, 627px\" \/><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Title Logic in AI &#8211; The Case of Strategic Reasoning Speaker Raul Fervari (FAMAF-UNC, CONICET &amp; 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 [&hellip;]<\/p>\n","protected":false},"author":182,"featured_media":474,"comment_status":"closed","ping_status":"closed","template":"","mec_category":[74],"mec_speaker":[213],"_links":{"self":[{"href":"https:\/\/sites.gtiit.edu.cn\/events\/wp-json\/wp\/v2\/mec-events\/849"}],"collection":[{"href":"https:\/\/sites.gtiit.edu.cn\/events\/wp-json\/wp\/v2\/mec-events"}],"about":[{"href":"https:\/\/sites.gtiit.edu.cn\/events\/wp-json\/wp\/v2\/types\/mec-events"}],"author":[{"embeddable":true,"href":"https:\/\/sites.gtiit.edu.cn\/events\/wp-json\/wp\/v2\/users\/182"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.gtiit.edu.cn\/events\/wp-json\/wp\/v2\/comments?post=849"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/sites.gtiit.edu.cn\/events\/wp-json\/wp\/v2\/media\/474"}],"wp:attachment":[{"href":"https:\/\/sites.gtiit.edu.cn\/events\/wp-json\/wp\/v2\/media?parent=849"}],"wp:term":[{"taxonomy":"mec_category","embeddable":true,"href":"https:\/\/sites.gtiit.edu.cn\/events\/wp-json\/wp\/v2\/mec_category?post=849"},{"taxonomy":"mec_speaker","embeddable":true,"href":"https:\/\/sites.gtiit.edu.cn\/events\/wp-json\/wp\/v2\/mec_speaker?post=849"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}