BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260410T025803Z
UID:Seminar-dept-411@lxserverA.csc.liv.ac.uk.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20160519T120000
DTEND:20160519T130000
SUMMARY:School Seminar Series
DESCRIPTION:Julian Padget: Deontic Sensors\n\nProcedural programs do what we tell them, but not always what we want them\n\nto do, especially when presented with unexpected inputs (that we did not\n\nthink about). We assume that such tight control reduces risk, whereas giving\n\na program more autonomy is scary: ``who knows what it might do?!?!''.\n\n\n\nIn principle, some autonomy to choose an appropriate action ought to be at\n\nleast as good and possibly better, by allowing greater resilience. But a\n\nprogram's capacity to understand its environment is limited to what the\n\ndesigner knows or can foresee, which is no better than where we started.\n\n\n\nTo provide up-to-date interpretation of (aspects of) the environment, we\n\npropose ``deontic sensors'', based on a formal model and realised through\n\nAnswer Set programming.  These sensors observe program actions and provide\n\nadvice on what a program (agent!) can, ought and ought not to do and\n\nillustrate the concept with examples from a variety of socio-technical\n\nsystem demonstrators.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=411
LOCATION:Ashton Lecture Theater
END:VEVENT
END:VCALENDAR