Practical Reasoning in Distributed Systems

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

• Dr Alexander Artikis; Software & Knowledge Engineering Laboratory, Institute of Informatics & Telecommunications, National Centre for Scientific Research "Demokritos"
• Thursday 03 May 2012, 11:00-12:00
• Room 503, Level 5, EEE Dept. .

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

In the field of complex event processing, among others, there is a need for computational frameworks supporting real-time reasoning, reasoning under uncertainty and automated knowledge construction. I will present a dialect of the Event Calculus that meets these requirements. The Event Calculus is a logic programming language for representing and reasoning about events and their effects. Our dialect includes novel caching techniques that allow for efficient temporal reasoning, scalable to large data streams. Furthermore, when ported to probabilistic frameworks, it may support various types of uncertainty, such noisy data streams and imprecise knowledge. To avoid the time-consuming, error-prone process of manual knowledge construction, I will present techniques for incremental structure learning that take advantage of large datasets. The Event Calculus dialect will be illustrated with the use of two real-world applications: complex event recognition for city transport management and public space surveillance.

This talk is part of the Featured talks series.

This talk is included in these lists:

• Andrea Picciau's list
• COMMSP & CP list
• COMMSP Seminar
• Featured talks
• Room 503, Level 5, EEE Dept.
• SAP Talks

Note that ex-directory lists are not shown.