{"id":915,"date":"2020-10-21T14:38:30","date_gmt":"2020-10-21T12:38:30","guid":{"rendered":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/"},"modified":"2020-10-21T14:38:30","modified_gmt":"2020-10-21T12:38:30","slug":"phd-defence-argument-acceptance-and-commitment-in-formal-argumentation","status":"publish","type":"events","link":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/","title":{"rendered":"PhD Defence: Argument Acceptance and Commitment in Formal Argumentation"},"content":{"rendered":"<section class=\"wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\"><p>Please <a href=\"https:\/\/unilu.webex.com\/unilu\/onstage\/g.php?MTID=e2a17f42c51987b58b2c74fefb2ba65f8\" target=\"_self\" title=\"\" rel=\"noopener\">click on this link<\/a> to both register and connect on the day of the event.<\/p><p><strong>Members of the defense committee:<\/strong><\/p><ul class=\"ulux-list\"><li class=\"ulux-list-item\">Chair: Prof. Dr Sjouke Mauw, University of Luxembourg<\/li><li class=\"ulux-list-item\">Vice-chair: Prof. Dr Beishui Liao, Zhejiang University, China<\/li><li class=\"ulux-list-item\">Supervisor: Prof. Dr Leon van der Torre, University of Luxembourg<\/li><li class=\"ulux-list-item\">Member: Prof. Dr Ken Satoh, National Institute of Informatics, Japan<\/li><li class=\"ulux-list-item\">Member: Dr Matthias Thimm, University Koblenz-Landau, Germany<\/li><li class=\"ulux-list-item\">Expert in an advisory capacity: Dr Marcos Cramer, University of Dresden, Germany<\/li><\/ul><p><strong>Abstract:<\/strong><\/p><p>Formal argumentation is an area of symbolic reasoning which mimics the way people argue with each other, providing arguments to back their claims and counter-arguments to attack opposing claims. These are then represented in an argumentation framework. The acceptability of such arguments is then evaluated by abstracting away from their internal content so that the process only considers the relation of attack between them. This then results in extensions, representing reasonable, rational stances on the acceptability status of the arguments. While rationality constraints are set within an extension, different extensions are usually not compatible as they can represent opposing views on the same situation. In this thesis, we focus on the aspect of moving from acceptability to commitment towards one such extension. We present a framework for gradual commitment and study its properties in different settings.<\/p><p>We later investigate how this framework allows for the combination of different semantics, the functions which, given an argumentation framework, return a set of extensions. This combination is done by allowing one to switch semantics in the middle of the commitment process. We show that this combination allows one to recover an existing semantics from two other existing ones and study how this method allows us to define new semantics.<\/p><p>The acceptability of arguments is derived from the attack relation, but other relations have been introduced for formal argumentation, such as positive relations of support and explanations, and more complex relations such as joint attacks. We then present a framework that allows for not only attacks but also necessary and deductive support, explanations and incompatibilities between any set of elements. This enriched framework, which we call extended explanatory argumentation framework, is then equipped with both labeling semantics, where instead of extensions one has labeling functions which assign to each element of the framework one of three acceptability statuses: in, out, or undec. We also define extension-based semantics via a translation from an enriched framework to a simpler framework using a flattening approach and show that there is a correspondence between the two approaches.<\/p><p>We then propose a structured argumentation framework, allowing for the construction of arguments from a knowledge base and a set of rules. This framework has the particularities that it allows for hypothetical reasoning in the construction of arguments, and explanations of other arguments and explananda, which are scientific observations the arguments attempt to explain.<\/p><\/div><\/section>","protected":false},"excerpt":{"rendered":"","protected":false},"author":0,"featured_media":916,"parent":0,"menu_order":0,"comment_status":"open","ping_status":"closed","template":"","format":"standard","meta":{"featured_image_focal_point":[],"show_featured_caption":false,"ulux_newsletter_groups":"","uluxPostTitle":"","uluxPrePostTitle":"","_trash_the_other_posts":false,"_price":"","_stock":"","_tribe_ticket_header":"","_tribe_default_ticket_provider":"","_tribe_ticket_capacity":"0","_ticket_start_date":"","_ticket_end_date":"","_tribe_ticket_show_description":"","_tribe_ticket_show_not_going":false,"_tribe_ticket_use_global_stock":"","_tribe_ticket_global_stock_level":"","_global_stock_mode":"","_global_stock_cap":"","_tribe_rsvp_for_event":"","_tribe_ticket_going_count":"","_tribe_ticket_not_going_count":"","_tribe_tickets_list":"[]","_tribe_ticket_has_attendee_info_fields":false,"event_start_date":"2020-11-09 14:00:00","event_end_date":"2020-11-09 16:00:00","event_speaker_name":"Jeremie Dauphin","event_speaker_link":"","event_is_online":false,"event_location":"","event_street":"","event_location_link":"","event_zip_code":"","event_city":"","event_country":"LU"},"events-topic":[],"events-type":[],"organisation":[183],"authorship":[],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v22.3 (Yoast SEO v22.3) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>PhD Defence: Argument Acceptance and Commitment in Formal Argumentation - SnT - Universit\u00e9 du Luxembourg I Uni.lu<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"PhD Defence: Argument Acceptance and Commitment in Formal Argumentation\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/\" \/>\n<meta property=\"og:site_name\" content=\"SnT FR\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"2560\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/\",\"name\":\"PhD Defence: Argument Acceptance and Commitment in Formal Argumentation - SnT - Universit\u00e9 du Luxembourg I Uni.lu\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2020\/10\/phd_defence_argument_acceptance_and_commitment_in_formal_argumentation.jpg\",\"datePublished\":\"2020-10-21T12:38:30+00:00\",\"dateModified\":\"2020-10-21T12:38:30+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/#primaryimage\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2020\/10\/phd_defence_argument_acceptance_and_commitment_in_formal_argumentation.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2020\/10\/phd_defence_argument_acceptance_and_commitment_in_formal_argumentation.jpg\",\"width\":800,\"height\":600},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uni.lu\/fr\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Interdisciplinary Centre for Security, Reliability and Trust (SnT)\",\"item\":\"https:\/\/www.uni.lu\/snt-fr\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Events\",\"item\":\"https:\/\/www.uni.lu\/snt-fr\/events\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"PhD Defence: Argument Acceptance and Commitment in Formal Argumentation\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#website\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/\",\"name\":\"SnT\",\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\",\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#organization\"},\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust I Universit\u00e9 du Luxembourg\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uni.lu\/snt-fr\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#organization\",\"name\":\"SnT - Universit\u00e9 du Luxembourg I Uni.lu\",\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"width\":2560,\"height\":2560,\"caption\":\"SnT - Universit\u00e9 du Luxembourg I Uni.lu\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.linkedin.com\/school\/snt-lu\/\"]}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"PhD Defence: Argument Acceptance and Commitment in Formal Argumentation - SnT - Universit\u00e9 du Luxembourg I Uni.lu","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/","og_locale":"fr_FR","og_type":"article","og_title":"PhD Defence: Argument Acceptance and Commitment in Formal Argumentation","og_url":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/","og_site_name":"SnT FR","og_image":[{"width":2560,"height":2560,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Dur\u00e9e de lecture estim\u00e9e":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/","url":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/","name":"PhD Defence: Argument Acceptance and Commitment in Formal Argumentation - SnT - Universit\u00e9 du Luxembourg I Uni.lu","isPartOf":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/#primaryimage"},"image":{"@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2020\/10\/phd_defence_argument_acceptance_and_commitment_in_formal_argumentation.jpg","datePublished":"2020-10-21T12:38:30+00:00","dateModified":"2020-10-21T12:38:30+00:00","breadcrumb":{"@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/"]}]},{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/#primaryimage","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2020\/10\/phd_defence_argument_acceptance_and_commitment_in_formal_argumentation.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2020\/10\/phd_defence_argument_acceptance_and_commitment_in_formal_argumentation.jpg","width":800,"height":600},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-argument-acceptance-and-commitment-in-formal-argumentation\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uni.lu\/fr"},{"@type":"ListItem","position":2,"name":"Interdisciplinary Centre for Security, Reliability and Trust (SnT)","item":"https:\/\/www.uni.lu\/snt-fr\/"},{"@type":"ListItem","position":3,"name":"Events","item":"https:\/\/www.uni.lu\/snt-fr\/events\/"},{"@type":"ListItem","position":4,"name":"PhD Defence: Argument Acceptance and Commitment in Formal Argumentation"}]},{"@type":"WebSite","@id":"https:\/\/www.uni.lu\/snt-fr\/#website","url":"https:\/\/www.uni.lu\/snt-fr\/","name":"SnT","description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu","publisher":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#organization"},"alternateName":"Interdisciplinary Centre for Security, Reliability and Trust I Universit\u00e9 du Luxembourg","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uni.lu\/snt-fr\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"fr-FR"},{"@type":"Organization","@id":"https:\/\/www.uni.lu\/snt-fr\/#organization","name":"SnT - Universit\u00e9 du Luxembourg I Uni.lu","alternateName":"Interdisciplinary Centre for Security, Reliability and Trust","url":"https:\/\/www.uni.lu\/snt-fr\/","logo":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","width":2560,"height":2560,"caption":"SnT - Universit\u00e9 du Luxembourg I Uni.lu"},"image":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.linkedin.com\/school\/snt-lu\/"]}]}},"_links":{"self":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events\/915"}],"collection":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events"}],"about":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/types\/events"}],"replies":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/comments?post=915"}],"version-history":[{"count":0,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events\/915\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/media\/916"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/media?parent=915"}],"wp:term":[{"taxonomy":"events-topic","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events-topic?post=915"},{"taxonomy":"events-type","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events-type?post=915"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/organisation?post=915"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}