Logic-Based Computational Ethics for Autonomous Agents
Abstract: This talk will describe some of my research in developing engineering tools for automatic reasoning about ethical guidelines. The creation of intelligent systems that are autonomous, update their own objectives, and interact with humans in their daily lives, is a prime motivation in systems engineering, robotics, and Artificial Intelligence. Example systems include nursing robots in hospitals and self-driving vehicles. An explicit ethical awareness in these systems is recognized as a necessary condition for successful daily interaction with humans. However, to this day, there are comparatively few algorithms, and even fewer tools, for designing ethics-equipped autonomous systems, especially when integrated with a physical control loop. This research develops a computational theory and formal design tools for ethics-equipped embodied systems.
The ethical guidelines in question specifically take the form of statements of Obligation (`The robot ought to care for the patient in greater pain'), Permission (`The robot is permitted to offer a mask to a contagious patient') and Prohibition (`The robot is forbidden from factoring gender into care decisions'). We formalize such Obligations, Permissions and Prohibitions in deontic logic, and develop model-checking and learning algorithms for deontic properties of finite automata. I will then describe the road ahead for the formal study of ethical obligations in autonomous systems.
Speaker Bio: Houssam Abbas is an Assistant Professor of Electrical Engineering and Computer Science at Oregon State University. His research interests are in the verification and control of cyber-physical systems and formal ethical theories for autonomous agents, with particular emphasis on unpiloted ground and aerial vehicles. He received the NSF CAREER award in 2022, and participated in the Frontiers of Engineering Symposium of the National Academies of Engineering in 2022. Prior to OSU, he was a postdoctoral fellow at the University of Pennsylvania, and a design automation engineer at Intel.
Видео Logic-Based Computational Ethics for Autonomous Agents канала WaterlooAI
The ethical guidelines in question specifically take the form of statements of Obligation (`The robot ought to care for the patient in greater pain'), Permission (`The robot is permitted to offer a mask to a contagious patient') and Prohibition (`The robot is forbidden from factoring gender into care decisions'). We formalize such Obligations, Permissions and Prohibitions in deontic logic, and develop model-checking and learning algorithms for deontic properties of finite automata. I will then describe the road ahead for the formal study of ethical obligations in autonomous systems.
Speaker Bio: Houssam Abbas is an Assistant Professor of Electrical Engineering and Computer Science at Oregon State University. His research interests are in the verification and control of cyber-physical systems and formal ethical theories for autonomous agents, with particular emphasis on unpiloted ground and aerial vehicles. He received the NSF CAREER award in 2022, and participated in the Frontiers of Engineering Symposium of the National Academies of Engineering in 2022. Prior to OSU, he was a postdoctoral fellow at the University of Pennsylvania, and a design automation engineer at Intel.
Видео Logic-Based Computational Ethics for Autonomous Agents канала WaterlooAI
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
The Morality of Artificial Intelligence in WarfareLearning to Execute Prioritized Stacks of Robotic Tasks - Gennaro NotomistaIntegrated Additive Manufacturing and AI Platforms for Smart ManufacturingReinforcement learning in the real world - how to "cheat" and still feel good about it.Safety Assurance of AI-enabled Robotic SystemsWhat is AI? - Undergraduate VideoLet's Talk AI - AI's Role in Navigating Ice-Covered Waters with Zhao PanBayesian Principles for Learning MachinesAI-enabled Knowledge Prediction EngineConditional Generative Adversarial Networks: Iterative Generation and Holistic EvaluationIndustry Day - AI for Supply Chain - Nov 30th, 2021Let's Talk AI - Synthetic Data with Helen ChenKeeping Track of Entities Over Time, Minds, and Knowledge Sources2021 University of Waterloo GRADflix 3rd Place Winner: Ali NasrDeveloping Reinforcement Learning Agents that Learn Many SubtasksHigh Performance ManufacturingLet's Talk AI - AI's Future with Gautam KamathFair and Optimal Prediction via Post-Processing - Han ZhaoOptimizing Pre-trained Clinical Embeddings for Automatic COVID-related ICD CodingAI, Conflict, and the Laws of Armed Conflict