{"id":4973,"date":"2018-12-27T12:28:52","date_gmt":"2018-12-27T04:28:52","guid":{"rendered":"https:\/\/www.zlaire.net\/events\/previous\/?p=4973"},"modified":"2019-05-30T15:53:30","modified_gmt":"2019-05-30T07:53:30","slug":"seminar-on-logics-for-human-machine-interaction-and-integration","status":"publish","type":"post","link":"https:\/\/www.zlaire.net\/events\/previous\/2018\/12\/seminar-on-logics-for-human-machine-interaction-and-integration\/","title":{"rendered":"Seminar on Logics for Human-machine Interaction and Integration"},"content":{"rendered":"

 <\/p>\n

Xixilogic Seminars #103<\/strong><\/p>\n

Date:<\/strong> 14 January 2019 (14:00-17:30)
\nVenue:<\/strong> Room 259, Main Teaching Building, Xixi Campus, Zhejiang University
\nSpeakers:<\/strong>
\nHuimin Dong (Zhejiang University)
\nBeishui Liao (Zhejiang University)
\nLeon van der Torre<\/a> (University of Luxembourg & Zhejiang University)
\nY\u00ec N. W\u00e1ng (Zhejiang University)<\/p>\n

 <\/p>\n

PROGRAMME<\/strong><\/p>\n

\n\n\n\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t
14:00-15:00<\/td>Leon van der Torre <\/td>\n<\/tr>\n
<\/td>The Pinocchio architecture for human-AI interaction<\/td>\n<\/tr>\n
15:10-15:40<\/td>Huimin Dong<\/td>\n<\/tr>\n
<\/td>Permission\u00a0and\u00a0Obligation\u00a0within\u00a0Ceteris\u00a0Paribus<\/td>\n<\/tr>\n
15:45-16:15<\/td>Beishui Liao<\/td>\n<\/tr>\n
<\/td>Representation, Justification and Explanation in a Value Driven Agent: An Argumentation-Based Approach
\n<\/td>\n<\/tr>\n
16:20-16:50<\/td>Y\u00ec N. W\u00e1ng
\n<\/td>\n<\/tr>\n
<\/td>Logics of allies and enemies: a formal approach to the dynamics of social balance theory<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/p>\n
\n

ABSTRACTS<\/strong><\/p>\n<\/div>\n

 <\/div>\n
Title: <\/strong>Permission and Obligation within Ceteris Paribus
\nSpeaker:<\/strong> Huimin Dong<\/span>
\nAbstract: <\/strong>This paper follows the argument of permission and obligation as sufficient and necessary for being normatively fine, and develops a sound and complete dynamic logic of ceteris paribus to govern this idea. This formal theory is suitable to illustrate the deliberation about permission and obligation in natural language and games, in the sense of providing natural solutions to a number of deontic paradoxes.<\/span><\/div>\n
 <\/div>\n
 <\/div>\n
Title: <\/strong>Representation, Justification and Explanation in a Value Driven Agent: An Argumentation-Based Approach<\/span><\/div>\n
Speaker:<\/strong> Beishui Liao (joint work with Michael Anderson and Susan Leigh Anderson)<\/span><\/div>\n
Abstract: <\/strong>For an autonomous system, the ability to justify and explain its decision making is crucial to improve its transparency and trustworthiness. This paper proposes an argumentation-based approach to represent, justify and explain the decision making of a value driven agent (VDA). By using a newly defined formal language, some implicit knowledge of a VDA is made explicit. The selection of an action in each situation is justified by constructing and comparing arguments supporting different actions. In terms of a constructed argumentation frame- work and its extensions, the reasons for explaining an action are defined in terms of the arguments for or against the action, by exploiting their defeat relation, as well as their premises and conclusions. <\/span><\/div>\n
Reference: <\/strong>Beishui Liao, Michael Anderson, Susan Leigh Anderson. Representation, Justification and Explanation in a Value Driven Agent: An Argumentation-Based Approach, https:\/\/arxiv.org\/abs\/1812.05362<\/a>, 2018.<\/div>\n
 <\/div>\n
 <\/div>\n

Title:<\/strong> The Pinocchio architecture for human-AI interaction
\nInvited Speaker:<\/strong> Leon van der Torre (joint work with Beishui Liao and Marija Slavkovik)
\nAbstract:<\/strong> An autonomous system is constructed by a manufacturer, operates in a society subject to norms and laws, and is interacting with end-users. We address the challenge of how the moral values and views of all stakeholders can be integrated and reflected in the moral behaviour of the autonomous system. We propose an artificial moral agent architecture that uses techniques from normative systems and formal argumentation to reach moral agreements among stakeholders. We show how our architecture can be used not only for ethical practical reasoning and collaborative decision-making,but also for the explanation of such moral behavior.
\nReference: <\/strong>Beishui Liao, Marija Slavkovik and Leendert van der Torre. Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders. Proceedings of the Second AAAI \/ ACM conference on artificial intelligence, ethics and society (AIES 2019), 2019.
\nBio of the Invited Speaker:<\/strong> Leendert van der Torre is a full professor in Artificial Intelligence, the head of the Individual and Collective Reasoning Group (ICR), the current head of the Computer Science Department of the University of Luxembourg, and a guest professor at Zhejiang University. He is the president of IfColog (International Federation for Computational Logic), a fellow of European Association for Artificial Intelligence, and the deputy editor-in-chief of Journal of Logic and Computation. He has published more than 300 scientific articles. Among them, about 70 papers are published in journals such as the Journal of Philosophical Logic, Journal of Applied Logic, Artificial Intelligence, Artificial Intelligence and Law, International Journal of Approximate Reasoning, Annals of Mathematics and Artificial Intelligence, etc. According to Google Scholar (Jan 9, 2019), the number of citations of his papers is 11444 (h-index = 50).<\/p>\n

 <\/div>\n
Title:<\/strong> Logics of allies and enemies: a formal approach to the dynamics of social balance theory<\/div>\n
Speaker:<\/strong> Y\u00ec N. W\u00e1ng (joint work with Wiebe van der Hoek and Louwe Kuijer)
\n<\/span><\/div>\n
Abstract:<\/strong> Social balance theory is one of the influencing theories of social network analysis, in which the structural balance of (2-)signed networks is a key concept. We introduce notions of balance and stability in 3-signed networks, using attraction and repulsion scores to evaluate the pressure of change from a network, and build Logics of Allies and Enemies to characterize the dynamics of triadic ties. This approach is under the assumption which was studied extensively in social balance theory that agents have an tendency to establish more stable ties with others in the network. We also study dynamics caused by influences from outside the network or manipulation of some agents. We study the model and validity checking, axiomatization and expressivity of these logic, apply them to concrete examples, and compare our framework with classical social balance theory.<\/div>\n
 <\/div>\n
 <\/div>\n
\nngg_shortcode_0_placeholder<\/div>\n

\u4f1a\u8bae\u62a5\u9053<\/p>\n

2019\u5e741\u670814\u65e5\uff0c\u7531\u6d59\u6c5f\u5927\u5b66\u54f2\u5b66\u7cfb\u3001\u6d59\u6c5f\u5927\u5b66\u8bed\u8a00\u4e0e\u8ba4\u77e5\u7814\u7a76\u4e2d\u5fc3\u4e3b\u529e\u4eba\u673a\u4ea4\u4e92\u4e0e\u6574\u5408\u7684\u903b\u8f91\u5b66\u7814\u8ba8\u4f1a\u5728\u897f\u6eaa\u6821\u533a\u6559\u5b66\u4e3b\u697c259\u8bfe\u5ba4\u6210\u529f\u4e3e\u529e\u3002\u672c\u6b21\u6d3b\u52a8\u7279\u9080\u4e86\u6765\u81ea\u5362\u68ee\u5821\u5927\u5b66\u7684Leon van der Torre\u6559\u6388\u3001\u56fd\u5185\u5916\u8457\u540d\u8ba4\u77e5\u903b\u8f91\u5b66\u5bb6\u4e0e\u4eba\u5de5\u667a\u80fd\u4e13\u5bb6\u505a\u9898\u4e3a\u201c\u7528\u4e8e\u4eba\u5de5\u667a\u80fd\u4ea4\u4e92\u7684\u5339\u8bfa\u66f9\u67b6\u6784\u201d\u7684\u524d\u6cbf\u62a5\u544a\u3002\u8bb2\u5ea7\u6709\u6765\u81ea\u903b\u8f91\u5b66\u3001\u54f2\u5b66\u3001\u8bed\u8a00\u5b66\u7b49\u5e08\u751f\u53c2\u4e0e\uff0c\u5e76\u5c31\u76f8\u5173\u95ee\u9898\u8fdb\u884c\u4e86\u70ed\u70c8\u7684\u8ba8\u8bba\u3002<\/p>\n

Van der Torre\u6559\u6388\u62a5\u544a\u4e86\u5176\u5173\u4e8e\u81ea\u6cbb\u7cfb\u7edf\u7684\u6700\u65b0\u6210\u679c\u3002\u4ed6\u4ecb\u7ecd\u9053\uff0c\u81ea\u6cbb\u7cfb\u7edf\u7531\u5236\u9020\u5546\u6784\u5efa\u8d77\u6765\uff0c\u5728\u9075\u5b88\u67d0\u79cd\u89c4\u8303\u548c\u6cd5\u5f8b\u7684\u793e\u4f1a\u4e2d\u8fd0\u884c\uff0c\u5e76\u4e0e\u7ec8\u7aef\u7528\u6237\u8fdb\u884c\u4ea4\u4e92\u3002\u4ed6\u63d0\u51fa\u4e00\u4e2a\u5c06\u9053\u5fb7\u4ef7\u503c\u548c\u4e2a\u4eba\u5229\u76ca\u76f8\u4e92\u878d\u5408\u3001\u5177\u6709\u9053\u5fb7\u884c\u4e3a\u7684\u81ea\u6cbb\u7cfb\u7edf\u3002\u8fd9\u662f\u4e00\u4e2a\u4eba\u5de5\u9053\u5fb7\u4e3b\u4f53\u67b6\u6784\u3002\u5b83\u57fa\u4e8e\u89c4\u8303\u7cfb\u7edf\u548c\u5f62\u5f0f\u8bba\u8fa9\u7406\u8bba\u7684\u6280\u672f\uff0c\u4ece\u800c\u8fbe\u6210\u5229\u76ca\u76f8\u5173\u8005\u4e4b\u95f4\u7684\u9053\u5fb7\u534f\u8bae\u3002\u8fd9\u79cd\u67b6\u6784\u4e0d\u4ec5\u53ef\u7528\u4e8e\u9053\u5fb7\u5b9e\u8df5\u63a8\u7406\u548c\u534f\u4f5c\u51b3\u7b56\uff0c\u8fd8\u80fd\u7528\u4e8e\u89e3\u91ca\u9053\u5fb7\u884c\u4e3a\u3002<\/p>\n

\u6b64\u5916\uff0cvan der Torre\u6559\u6388\u8fd8\u5411\u542c\u4f17\u5c55\u793a\u4e86\u5362\u68ee\u5821\u5927\u5b66\u4e0e\u6d59\u6c5f\u5927\u5b66\u4e4b\u95f4\u7684\u6700\u65b0\u5408\u4f5c\uff0c\u516c\u5e03\u4e86\u5362\u68ee\u5821\u5927\u5b66-\u6d59\u6c5f\u5927\u5b66\u4eba\u5de5\u667a\u80fd\u4e0e\u63a8\u7406\u8054\u5408\u4e2d\u5fc3\u7684\u5408\u4f5c\u8ba1\u5212\u3002\u540c\u65f6\uff0cvan der Torre\u6559\u6388\u53d7\u8058\u4e3a\u6d59\u6c5f\u5927\u5b66\u7684\u5ba2\u5ea7\u6559\u6388\u3002<\/p>\n

\u672c\u6b21\u4f1a\u8bae\u5404\u53c2\u4e0e\u8005\u79ef\u6781\u53c2\u4e0e\u8ba8\u8bba\uff0c\u6c14\u6c1b\u70ed\u70c8\uff0c\u903b\u8f91\u5b66\u3001\u54f2\u5b66\u3001\u8bed\u8a00\u5b66\u7b49\u5b66\u79d1\u7684\u672c\u6821\u5e08\u751f\u5bf9\u56fd\u9645\u524d\u6cbf\u95ee\u9898\u6709\u4e86\u8fdb\u4e00\u6b65\u7684\u4e86\u89e3\uff0c\u5e76\u4fc3\u8fdb\u4e86\u672c\u6821\u5e08\u751f\u4e0e\u56fd\u9645\u8457\u540d\u5b66\u8005\u7684\u672a\u6765\u7814\u7a76\u4e0e\u5408\u4f5c\u3002<\/p>\n

\u64b0\u7a3f\uff1a\u8463\u60e0\u654f<\/p>\n

* This seminar is supported by the Fundamental Research Funds for the Central Universities of China.<\/p>\n","protected":false},"excerpt":{"rendered":"

  Xixilogic Seminars #103 Date: 14 January 2019 (14:00-17:30) Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University Speakers: Huimin Dong (Zhejiang University) Beishui Liao (Zhejiang University) Leon van der Torre (University of Luxembourg & Zhejiang University) Y\u00ec N. W\u00e1ng …<\/span> Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":11,"featured_media":5083,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[2],"tags":[],"class_list":["post-4973","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-workshops"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/4973","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/comments?post=4973"}],"version-history":[{"count":20,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/4973\/revisions"}],"predecessor-version":[{"id":5464,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/4973\/revisions\/5464"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media\/5083"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=4973"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/categories?post=4973"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/tags?post=4973"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}