{"id":4994,"date":"2023-08-06T13:31:58","date_gmt":"2023-08-06T11:31:58","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=4994"},"modified":"2024-02-05T12:06:07","modified_gmt":"2024-02-05T11:06:07","slug":"lira-session-avijeet-ghosh","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2023\/08\/lira-session-avijeet-ghosh\/","title":{"rendered":"LIRa session: Avijeet Ghosh"},"content":{"rendered":"<p>Recording of this talk: <a href=\"https:\/\/video.uva.nl\/media\/LIRa+seminar+on+2023-09-14+by+Avijeet+Ghosh\/0_2zi58sxx\">click here<\/a><\/p>\n<hr \/>\n<p>Speaker: Avijeet Ghosh (Indian Statistical Institute, Kolkata)<\/p>\n<p>Date and Time: Thursday, September&nbsp;14th 2023, 16:30-18:00<\/p>\n<p>Venue: ILLC seminar room F1.15 in Science Park 107 and <a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/guidelines-for-online-sessions\/\">online<\/a><\/p>\n<p>Title:\u00a0<strong>Complexity Study of Reasoning about Knowledge and Public Observations<\/strong><\/p>\n<p><em>Abstract.\u00a0<\/em>This talk explores the model checking and satisfiability problems in logical systems for reasoning about knowledge and observations of intelligent agents and their interactions. We examine the foundations laid by Kripke and Hintikka, which paved the way towards the development of their dynamic counterparts, e.g., Public announcement logic, and its extensions like Dynamic epistemic logic and Public observation logic. Complexity studies for these logics stem from similar studies in temporal logics initiated by Halpern and Vardi, among others.<\/p>\n<p>More specifically, we focus on Public observation logic and analyze its model checking and satisfiability problems. By investigating these problems, we uncover insights into effective and efficient reasoning about knowledge in multi-agent scenarios. Moreover, we explore how these insights can be applied in solving standard problems in relevant domains like planning.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Recording of this talk: click here<\/p>\n<p>Speaker: Avijeet Ghosh (Indian Statistical Institute, Kolkata)<br \/>\nDate and Time: Thursday, September&nbsp;14th 2023, 16:30-18:00<br \/>\nVenue: ILLC seminar room F1.15 in Science Park 107 and online<br \/>\nTitle:\u00a0Complexity Study of Reasoning about Knowledge and Public Observations<br \/>\nAbstract.\u00a0This talk explores the model checking and satisfiability problems in logical systems for reasoning about knowledge and observations of intelligent [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-4994","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4994","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=4994"}],"version-history":[{"count":5,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4994\/revisions"}],"predecessor-version":[{"id":5105,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4994\/revisions\/5105"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=4994"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=4994"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=4994"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}