Xixilogic Seminars #103
Date: 14 January 2019 (14:00-17:30)
Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University
Huimin Dong (Zhejiang University)
Beishui Liao (Zhejiang University)
Leon van der Torre (University of Luxembourg & Zhejiang University)
Yì N. Wáng (Zhejiang University)
|14:00-15:00||Leon van der Torre|
|The Pinocchio architecture for human-AI interaction|
|Permission and Obligation within Ceteris Paribus|
|Representation, Justification and Explanation in a Value Driven Agent: An Argumentation-Based Approach
|16:20-16:50||Yì N. Wáng
|Logics of allies and enemies: a formal approach to the dynamics of social balance theory|
Speaker: Huimin Dong
Abstract: 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.
Title: The Pinocchio architecture for human-AI interaction
Invited Speaker: Leon van der Torre (joint work with Beishui Liao and Marija Slavkovik)
Abstract: An autonomous systemis 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.
Reference: 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.
Bio of the Invited Speaker: 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).
* This seminar is supported by the Fundamental Research Funds for the Central Universities of China.