Imperial College London > Talks@ee.imperial > Featured talks > Declarative Logical Approaches for the Monitoring and Compliance of Complex Systems

Declarative Logical Approaches for the Monitoring and Compliance of Complex Systems

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

If you have a question about this talk, please contact Faye B Gosling.

Nowadays networks, computers and communications are so large and pervasive that their complexity is typically tackled by decomposing them in smaller, possibly distributed entities. However, because of this fragmentation and the introduction of black-box components, ensuring the compliance of the whole system with respect to some desired properties becomes more difficult every day. In this regard, we propose a methodology based on production rule systems that allows to break down the complexity of the task by developing an efficient, modular solution. The core modules that comprise this approach are an efficient Event Calculus reasoner embedded in a Complex Event Processing pipeline to monitor the domain’s evolution and a framework founded on ECE Rules (an evolution of ECA Rules) to set up expectations on the domain’s behaviour.

Stefano Bragaglia is a Ph.D. student in Artificial Intelligence from the Department of Software Engineering and Computer Science of the University of Bologna. He is currently developing declarative approaches based on forward rules for the monitoring and the compliance of services in a SOA / Cloud context. He is also involved in the European FP7 STREP Project ePolicy applying his methodologies. His research interests also include fuzzy logic, belief theory, probabilistic inductive logic programming and abductive reasoning.

This talk is part of the Featured talks series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


Changes to Talks@imperial | Privacy and Publicity