|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Deontic logic for modelling data flow and use compliance
If you have a question about this talk, please contact Pedro Brandao.
Slides available .
We advocate using deontic logic and its representation in the event calculus to control access to information in a distributed ubiquitous system. Contracts between information owners are encoded in terms of classes of organisations, data, and interactions. Fluents, events, and application-specific rules that link the two are then extracted from the contracts and mapped to the components, endpoints, and messages used to implement the system. The expression of organisations’ responsibilities is natural and leads to a simple mechanism of data flow monitoring. Some parts of the system can make forward progress while others are in conflict, meaning that resolution does not impede other processing. Furthermore, specification in terms of entities’ behaviour rather than explicit modelling of service level agreements (SLAs) means that it is straightforward to make decisions based on observations that are not specified in the SLA but that are noticed by a human.
This talk is part of the Computer Laboratory Opera Group Seminars series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsPsy studies Quantum Matter Journal Club Physical Chemistry
Other talksThe Artist and the Museum: a Clash of Disciplinary Cultures? EDSAC: The World's First Practical Electronic Digital Computer Sources of variation in developmental language disorders: Evidence from eye-tracking studies A role for the e-portfolio in educating the professional musician (not the music teacher) Lubrication approaches for binary mixtures “Teaching Sustainability to Chemical Engineering students”