BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260921T013825Z
UID:Seminar-dept-431@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20170228T130000
DTEND:20170228T140000
SUMMARY:School Seminar Series
DESCRIPTION:Prof. Michael Winikoff: (1) Towards Trusting Autonomous Systems AND (2) Debugging Agent Programs with ``Why?'' Questions\n\n[two shorter talks]\n\n\n\n(1) Autonomous systems are rapidly transitioning from labs into our lives. A crucial question concerns trust: in what situations will we (appropriately) trust such systems? This talk proposes three necessary prerequisites for trust. The three prerequisites are defined, motivated, and related to each other. We then consider how to realise the prerequisites. This talk aims to articulate a research agenda, and although it provides suggestions for approaches to take and directions for future work, it contains more questions than answers.\n\n\n\n(2) Debugging is hard, and debugging cognitive agent programs is particularly hard, since they involve concurrency, a dynamic environment, and a complex execution model that includes failure handling. Previous work by Ko & Myers has demonstrated that providing Alice and Java programmers with software that can answer ``why?'' and ``why not?'' questions can make a dramatic difference to debugging performance. This talk considers how to adapt this approach to cognitive agent programs, specifically AgentSpeak. It develops and formalises definitions for ``why?'' and ``why not?'' questions and associated answers, and illustrates their application using a scenario.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=431
LOCATION:Ashton Lecture Theater
END:VEVENT
END:VCALENDAR