FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Social Consequence Engines (Abstract)

Authors: Julian Padget, Marina De Vos and Charlie Page

Paper Information

Title:Social Consequence Engines (Abstract)
Authors:Julian Padget, Marina De Vos and Charlie Page
Proceedings:VaVAS Proceedings
Editors: Clare Dixon, Brian Logan and Alessio Lomuscio
Keywords:agents, norms, planning, model-checking
Abstract:

ABSTRACT. This abstract considers the problem of how autonomous systems might incorporate accounting for first (and higher order) norms in their own actions and those of others, through on-the-fly symbolic model-checking of (multiple) institutional models.

Pages:2
Talk:Jul 18 12:00 (Session 126P: Distributed Systems II)
Paper: