题目：Logic and Games for Ethical Agents

主讲：孙鑫博士

主持人：王彦晶副教授

时间：4月5日星期二15：10——18：00

地点：北京大学三教107

内容摘要： The aim of this talk is to provide a formal analysis of ethical agents. Ethical agents have been extensively studied in moral philosophy and in economics, and is identified as one of the thorniest challenges in artificial intelligence. We adopt a deontic logic + Boolean game approach to the construction of ethical agents. We use deontic logic to reason about norms and use Boolean game to represent the interaction of agents. We use norms to assess the normative status of strategies. Then agents’ preference are changed by the normative status of strategies. Agents of different types use different procedures to change their preference. We characterise 6 types of ethical agents: moral, amoral, social, selfish, negatively impartial and positively impartial. We study some complexity issues related to normative reasoning/status and agents’ preference change. When no restriction is imposed, those decision problems of interest to us are decidable but the complexity is high. Under certain restrictions we obtained intermediate and low complexity.