{"id":3637,"date":"2018-10-11T16:35:33","date_gmt":"2018-10-11T14:35:33","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=3637"},"modified":"2018-10-20T09:04:28","modified_gmt":"2018-10-20T07:04:28","slug":"lira-session-sanjay-modgil","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2018\/10\/lira-session-sanjay-modgil\/","title":{"rendered":"LIRa Session: Sanjay Modgil"},"content":{"rendered":"<p>Speaker:\u00a0<a href=\"https:\/\/nms.kcl.ac.uk\/sanjay.modgil\/\">Sanjay Modgil<\/a><\/p>\n<p>Date and Time: Thursday, November&nbsp;1st 2018, 17:00-18:30<\/p>\n<p>Venue: ILLC Seminar Room F1.15, Science Park 107.<\/p>\n<p><strong>Title: The Dynamic Turn in Logic: Argument and Dialectic.<\/strong><\/p>\n<p><em>Abstract.<\/em><\/p>\n<p style=\"font-weight: 400;\"><em>\u201cThe lonesome thinker in an armchair is as marginal as he looks: most of our logical skills are displayed in interaction.\u201d \u00ad-\u00a0<\/em>Johan van Benthem.<\/p>\n<p style=\"font-weight: 400;\">This talk reviews research on argumentative characterisations of non-monotonic logics, emphasizing the extent to which the above quotation serves as a leitmotif for developments within the field. I will first describe how a given theory\u2019s non-monotonic inferences can be decided via the dialectical exchange of arguments and counter-arguments constructed from the given theory. I will then review development of argument game proof theories, and their generalization to formal models of dialogue that enable multiple agents to interactively engage in distributed non-monotonic reasoning. In these dialogues, the inferences are defined with respect to the contents of agents\u2019 locutions that are incrementally submitted during a dialogue, rather than with respect to a given theory. In the second half of the talk, I will\u00a0review recent collaborative work<sup>1<\/sup>\u00a0on a novel formulation of dialectical models of inference that address a key limitation of existing models; namely that rationality is guaranteed under the assumption that agents are logically omniscient. Specifically, I will illustrate how our novel formulation formalises real world modes of dialectical reasoning, and in so doing preserves rationality under the assumption that agents are resource bounded.<\/p>\n<p style=\"font-weight: 400;\"><sup>1<\/sup>Collaborative work with Professor Marcello D\u2019Agostino, Department of Philosophy, University of Milan (M. D&#8217;Agostino and S. Modgil\u00a0<a href=\"https:\/\/nms.kcl.ac.uk\/sanjay.modgil\/AIJSubmission.pdf\" data-saferedirecturl=\"https:\/\/www.google.com\/url?q=https:\/\/nms.kcl.ac.uk\/sanjay.modgil\/AIJSubmission.pdf&amp;source=gmail&amp;ust=1540105313596000&amp;usg=AFQjCNEXvldNZYBe1ERATRQk0wjXfrQ1Ng\"><em>Classical Logic, Argument and Dialectic.<\/em><\/a>\u00a0<strong>In Artificial Intelligence (AIJ)<\/strong>,\u00a0262, 15 &#8211; 51,2018.<strong>)<\/strong><\/p>\n<p><em>.<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Speaker:\u00a0Sanjay Modgil<br \/>\nDate and Time: Thursday, November&nbsp;1st 2018, 17:00-18:30<br \/>\nVenue: ILLC Seminar Room F1.15, Science Park 107.<br \/>\nTitle: The Dynamic Turn in Logic: Argument and Dialectic.<br \/>\nAbstract.<br \/>\n\u201cThe lonesome thinker in an armchair is as marginal as he looks: most of our logical skills are displayed in interaction.\u201d \u00ad-\u00a0Johan van Benthem.<br \/>\nThis talk reviews research on argumentative characterisations of non-monotonic logics, [&#8230;]<\/p>\n","protected":false},"author":12,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[14,4],"tags":[],"class_list":["post-3637","post","type-post","status-publish","format-standard","hentry","category-all","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3637","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\/12"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=3637"}],"version-history":[{"count":4,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3637\/revisions"}],"predecessor-version":[{"id":3648,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3637\/revisions\/3648"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=3637"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=3637"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=3637"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}