Accountable AI-based Software in Complex Sociotechnical Context

Add to your list(s) Download to your calendar using vCal

• Ruzica Piskac (Yale University)
• Wednesday 27 July 2022, 17:00-17:30
• Discussion Room, Newton Institute.

If you have a question about this talk, please contact nobody.

VSO2 - Verified software

Modern software and cyberphysical systems face open-ended tasks in complex environments, rendering accountability in the event of harm or injury an ever-growing challenge for both social and technical processes. Although well-understood techniques can judge whether programs obey formal properties, the real-world assurance that this process provides depends on its scope and precision. Harms can even occur when every agent operates correctly according to its model of the system and knowledge of its state. An understanding of the contribution of autonomous agents to a harm is necessary in order to consider counterfactuals and verify whether those agents acted appropriately. Philosophy and law employ decision artifacts such as beliefs, desires, and intentions as the basis for such assessments, motivating an understanding of how they arise within modern software systems. In this talk we will describe how to use formal reasoning to assure the machine analogues of these decision artifacts will be faithfully recorded for accountability processes.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

• All CMS events
• Discussion Room, Newton Institute
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• bld31

Note that ex-directory lists are not shown.