Skip to content

The Event Calculus in Probabilistic Logic Programs with Annotated Disjunctions

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2017)
Subtitle of host publicationMay 8–12, 2017, São Paulo, Brazil
Publisher or commissioning bodyInternational Foundation for Autonomous Agents and MultiAgent Systems
Pages105-113
Number of pages9
DateAccepted/In press - 24 Jan 2017
DatePublished (current) - May 2017

Abstract

We propose a new probabilistic extension to the event calculus using the probabilistic logic programming (PLP) language ProbLog, and a language construct called the annotated disjunction. This is the first extension of the event calculus capable of handling numerous sources of uncertainty (e.g. from primitive event observations and from composite event definitions). It is also the first extension capable of handling multiple sources of event observations (e.g. in multi-sensor environments). We describe characteristics of this new extension (e.g. rationality of conclusions), and prove some important properties (e.g. validity in ProbLog). Our extension is directly implementable in ProbLog, and we successfully apply it to the problem of activity recognition under uncertainty in an event detection data set obtained from vision analytics of bus surveillance video.

    Research areas

  • The event calculus, event reasoning, probabilistic logic programming, ProbLog, annotated disjunction

Download statistics

No data available

Documents

Documents

  • Full-text PDF (accepted author manuscript)

    Rights statement: This is the author accepted manuscript (AAM). The final published version (version of record) is available online via International Foundation for Autonomous Agents and Multiagent Systems at http://www.aamas2017.org/proceedings/forms/contents.htm#Top. Please refer to any applicable terms of use of the publisher.

    Accepted author manuscript, 329 KB, PDF document

View research connections

Related faculties, schools or groups