research-article

Probabilistic Event Calculus for Event Recognition

Authors:

Anastasios Skarlatidis,

Georgios Paliouras,

Alexander Artikis,

George A. VourosAuthors Info & Claims

ACM Transactions on Computational Logic (TOCL), Volume 16, Issue 2

Article No.: 11, Pages 1 - 37

https://doi.org/10.1145/2699916

Published: 17 February 2015 Publication History

Abstract

Symbolic event recognition systems have been successfully applied to a variety of application domains, extracting useful information in the form of events, allowing experts or other systems to monitor and respond when significant events are recognised. In a typical event recognition application, however, these systems often have to deal with a significant amount of uncertainty. In this article, we address the issue of uncertainty in logic-based event recognition by extending the Event Calculus with probabilistic reasoning. Markov logic networks are a natural candidate for our logic-based formalism. However, the temporal semantics of the Event Calculus introduce a number of challenges for the proposed model. We show how and under what assumptions we can overcome these problems. Additionally, we study how probabilistic modelling changes the behaviour of the formalism, affecting its key property—the inertia of fluents. Furthermore, we demonstrate the advantages of the probabilistic Event Calculus through examples and experiments in the domain of activity recognition, using a publicly available dataset for video surveillance.

References

[1]

Varol Akman, Joohyung Lee Selim T. Erdoğan, Vladimir Lifschitz, and Hudson Turner. 2004. Representing the zoo world and the traffic world in the language of the causal calculator. Artificial Intelligence 153, 1, 105--140.

Digital Library

[2]

Massimiliano Albanese, Rama Chellappa, Naresh Cuntoor, Vincenzo Moscato, Antonio Picariello, V. S. Subrahmanian, and Octavian Udrea. 2010. PADS: A probabilistic activity detection framework for video data. IEEE Transactions on Pattern Analysis and Machine Intelligence 32, 12, 2246--2261.

Digital Library

[3]

Massimiliano Albanese, Rama Chellappa, Naresh P. Cuntoor, Vincenzo Moscato, Antonio Picariello, V. S. Subrahmanian, and Octavian Udrea. 2008. A constrained probabilistic Petri net framework for human activity detection in video. IEEE Transactions on Multimedia 10, 6, 982--996.

Digital Library

[4]

Massimiliano Albanese, Sushil Jajodia, Andrea Pugliese, and V. S. Subrahmanian. 2011a. Scalable detection of cyber attacks. In Computer Information Systems—Analysis and Technologies. Communications in Computer and Information Science, Vol. 245. Springer, 9--18.

[5]

Massimiliano Albanese, Cristian Molinaro, Fabio Persia, Antonio Picariello, and V. S. Subrahmanian. 2011b. Finding “unexplained” activities in video. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI). 1628--1634.

Digital Library

[6]

Massimiliano Albanese, Vincenzo Moscato, Antonio Picariello, V. S. Subrahmanian, and Octavian Udrea. 2007. Detecting stochastically scheduled activities in video. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI). 1802--1807.

Digital Library

[7]

James F. Allen. 1983. Maintaining knowledge about temporal intervals. Communications of the ACM 26, 11, 832--843.

Digital Library

[8]

Alexander Artikis, Marek Sergot, and Georgios Paliouras. 2010a. A logic programming approach to activity recognition. In Proceedings of the 2nd International Workshop on Events in Multimedia (EiMM). ACM, New York, NY, 3--8.

Digital Library

[9]

Alexander Artikis, Anastasios Skarlatidis, and Georgios Paliouras. 2010b. Behaviour recognition from video content: A logic programming approach. International Journal on Artificial Intelligence Tools 19, 2, 193--209.

[10]

Alexander Artikis, Anastasios Skarlatidis, François Portet, and Georgios Paliouras. 2012. Logic-based event recognition. Knowledge Engineering Review 27, 4, 469--506.

Digital Library

[11]

Fahiem Bacchus, Joseph Y. Halpern, and Hector J. Levesque. 1995. Reasoning about noisy sensors in the situation calculus. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI). 1933--1940.

Digital Library

[12]

Marenglen Biba, Fatos Xhafa, Floriana Esposito, and Stefano Ferilli. 2011. Engineering SLS algorithms for statistical relational models. In Proceedings of the International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS). IEEE, Los Alamitos, CA, 502--507.

Digital Library

[13]

Rahul Biswas, Sebastian Thrun, and Kikuo Fujimura. 2007. Recognizing activities with multiple cues. In Human Motion—Understanding, Modeling, Capture and Animation. Lecture Notes in Computer Science, Vol. 4814. Springer, 255--270.

Digital Library

[14]

Hendrik Blockeel. 2011. Statistical relational learning. In Handbook on Neural Information Processing. Intelligent Systems Reference Library, Vol. 49. Springer, 241--281.

[15]

James Blythe, Jerry R. Hobbs, Pedro Domingos, Rohit J. Kate, and Raymond J. Mooney. 2011. Implementing weighted abduction in Markov logic. In Proceedings of the International Conference on Computational Semantics. 55--64.

Digital Library

[16]

Matthew Brand, Nuria Oliver, and Alex Pentland. 1997. Coupled hidden Markov models for complex action recognition. In Proceedings of the Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, Los Alamitos, CA, 994--999.

Digital Library

[17]

William Brendel, Alan Fern, and Sinisa Todorovic. 2011. Probabilistic event logic for interval-based event recognition. In Proceedings of the Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, Los Alamitos, CA, 3329--3336.

Digital Library

[18]

Richard H. Byrd, Jorge Nocedal, and Robert B. Schnabel. 1994. Representations of quasi-Newton matrices and their use in limited memory methods. Mathematical Programming 63, 1, 129--156.

[19]

Lucie Callens, Guy Carrault, Marie-Odile Cordier, Elisa Fromont, François Portet, and René Quiniou. 2008. Intelligent adaptive monitoring for cardiac surveillance. In ECAI 2008. Frontiers in Artificial Intelligence and Applications, Vol. 178. IOS Press, 653--657.

Digital Library

[20]

Luca Chittaro and Angelo Montanari. 2000. Temporal representation and reasoning in artificial intelligence: Issues and approaches. Annals of Mathematics and Artificial Intelligence 28, 1, 47--106.

Digital Library

[21]

Christine Choppy, Olivier Bertrand, and Patrice Carle. 2009. Coloured petri nets for chronicle recognition. In Reliable Software Technologies—Ada-Europe 2009. Lecture Notes in Computer Science, Vol. 5570. Springer, 266--281.

Digital Library

[22]

Michael Collins. 2002. Discriminative training methods for hidden Markov models: Theory and experiments with perceptron algorithms. In Proceedings of the ACL-02 Conference on Empirical Methods in Natural Language Processing (EMNLP), Vol. 10. 1--8.

Digital Library

[23]

Robert Craven. 2006. Execution Mechanisms for the Action Language C+. Ph.D. Dissertation. University of London, England.

[24]

Aron Culotta and Andrew McCallum. 2004. Confidence estimation for information extraction. In Proceedings of HLT-NAACL 2004: Short Papers. 109--112.

Digital Library

[25]

Rodrigo de Salvo Braz, Eyal Amir, and Dan Roth. 2008. A survey of first-order probabilistic models. In Innovations in Bayesian Networks: Theory and Applications. Studies in Computational Intelligence, Vol. 156. Springer, 289--317.

[26]

Patrick Doherty, Joakim Gustafsson, Lars Karlsson, and Jonas Kvarnström. 1998. TAL: Temporal action logics language specification and tutorial. Electronic Transactions on Artificial Intelligence 2, 3--4, 273--306.

[27]

Patrick Doherty, Witold Lukaszewicz, and Andrzej Szalas. 1997. Computing circumscription revisited: A reduction algorithm. Journal of Automated Reasoning 18, 3, 297--336.

Digital Library

[28]

Pedro Domingos and Daniel Lowd. 2009. Markov Logic: An Interface Layer for Artificial Intelligence. Morgan & Claypool.

Digital Library

[29]

Christophe Dousson. 1996. Alarm driven supervision for telecommunication network: II-On-line chronicle recognition. Annals of Telecommunications 51, 9, 501--508.

[30]

Christophe Dousson and Pierre Le Maigat. 2007. Chronicle recognition improvement using temporal focusing and hierarchization. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI). 324--329.

Digital Library

[31]

Thomas Eiter and Thomas Lukasiewicz. 2003. Probabilistic reasoning about actions in nonmonotonic causal theories. In Proceedings of UAI-2003. Morgan Kaufmann, 192--199.

Digital Library

[32]

Opher Etzion and Peter Niblett. 2010. Event Processing in Action. Manning Publications Company.

Digital Library

[33]

Ronald Fagin. 1996. Combining fuzzy information from multiple systems. In Proceedings of the 15th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. ACM, New York, NY, 216--226.

Digital Library

[34]

Chrysi Filippaki, Grigoris Antoniou, and Ioannis Tsamardinos. 2011. Using constraint optimization for conflict resolution and detail control in activity recognition. In Ambient Intelligence. Lecture Notes in Computer Science, Vol. 7040. Springer, 51--60.

Digital Library

[35]

Avigdor Gal, Segev Wasserkrug, and Opher Etzion. 2011. Event processing over uncertain data. In Reasoning in Event-Based Distributed Systems. Studies in Computational Intelligence, Vol. 347. Springer, 279--304.

[36]

Matthew L. Ginsberg. 1988. Multivalued logics: A uniform approach to reasoning in artificial intelligence. Computational Intelligence 4, 265--316.

[37]

Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, and Hudson Turner. 2004. Nonmonotonic causal theories. Artificial Intelligence 153, 1, 49--104.

Digital Library

[38]

Shaogang Gong and Tao Xiang. 2003. Recognition of group activities using dynamic probabilistic networks. In Proceedings of the 9th International Conference on Computer Vision (ICCV), Vol. 2. IEEE, Los Alamitos, CA, 742--749.

Digital Library

[39]

Hannaneh Hajishirzi and Eyal Amir. 2008. Sampling first order logical particles. In Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence (UAI). 248--255.

[40]

Rim Helaoui, Mathias Niepert, and Heiner Stuckenschmidt. 2011. Recognizing interleaved and concurrent activities: A statistical-relational approach. In Proceedings of the 9th Annual International Conference on Pervasive Computing and Communications (PerCom). IEEE, Los Alamitos, CA, 1--9.

Digital Library

[41]

Steffen Hölldobler, Eldar Karabaev, and Olga Skvortsova. 2006. FLUCAP: A heuristic search planner for first-order MDPs. Journal of Artificial Intelligence Research (JAIR) 27, 1, 419--439.

Digital Library

[42]

Somboon Hongeng and Ramakant Nevatia. 2003. Large-scale event detection using semi-hidden Markov models. In Proceedings of the 9th International Conference on Computer Vision (ICCV), Vol. 2. IEEE, Los Alamitos, CA, 1455--1462.

Digital Library

[43]

Tuyen N. Huynh and Raymond J. Mooney. 2009. Max-margin weight learning for Markov logic networks. In Machine Learning and Knowledge Discovery in Databases. Lecture Notes in Computer Science, Vol. 5781. Springer, 564--579.

Digital Library

[44]

Tuyen N. Huynh and Raymond J. Mooney. 2011. Online max-margin weight learning for Markov logic networks. In Proceedings of the 11th SIAM International Conference on Data Mining (SDM). 642--651.

[45]

Dominik Jain and Michael Beetz. 2010. Soft evidential update via Markov chain Monte Carlo inference. In KI 2010: Advances in Artificial Intelligence. Lecture Notes in Computer Science, Vol. 6359. Springer, 280--290.

Digital Library

[46]

Henry Kautz, Bart Selman, and Yueyen Jiang. 1997. A general stochastic approach to solving problems with hard and soft constraints. In The Satisfiability Problem: Theory and Applications, D. Gu, J. Du, and P. Pardalos (Eds.). American Mathematical Society, 573--586.

[47]

Aniruddha Kembhavi, Tom Yeh, and Larry S. Davis. 2010. Why did the person cross the road (there)&quest; Scene understanding using probabilistic logic models and common sense reasoning. In Computer Vision—ECCV 2010. Lecture Notes in Computer Science, Vol. 6312. Springer, 693--706.

Digital Library

[48]

Kristian Kersting, Babak Ahmadi, and Sriraam Natarajan. 2009. Counting belief propagation. In Proceedings of the 25th Conference on Uncertainty in Artificial Intelligence (UAI). 277--284.

Digital Library

[49]

Kristian Kersting, Luc De Raedt, and Tapani Raiko. 2006. Logical hidden Markov models. Journal of Artificial Intelligence Research (JAIR) 25, 1, 425--456.

Digital Library

[50]

Angelika Kimmig, Bart Demoen, Luc De Raedt, Vitor Santos Costa, and Ricardo Rocha. 2011. On the implementation of the probabilistic logic programming language ProbLog. Theory and Practice of Logic Programming 11, 235--262.

Digital Library

[51]

Stanley Kok, Parag Singla, Matthew Richardson, Pedro Domingos, Marc Sumner, Hoifung Poon, and Daniel Lowd. 2005. The Alchemy System for Statistical Relational AI. Technical Report. Department of Computer Science and Engineering, University of Washington, Seattle, WA. Available at http://alchemy.cs.washington.edu.

[52]

Robert Kowalski and Fariba Sadri. 1997. Reconciling the event calculus with the situation calculus. Journal of Logic Programming 31, 1, 39--58.

[53]

Robert Kowalski and Marek Sergot. 1986. A logic-based calculus of events. New Generation Computing 4, 1, 67--95.

Digital Library

[54]

Jonas Kvarnström. 2005. TALplanner and Other Extensions to Temporal Action Logic. Ph.D. Dissertation. Linköping University, Linköping, Sweden.

[55]

John D. Lafferty, Andrew McCallum, and Fernando C. N. Pereira. 2001. Conditional random fields: Probabilistic models for segmenting and labeling sequence data. In Proceedings of the 18th International Conference on Machine Learning (ICML). 282--289.

Digital Library

[56]

Lin Liao, Dieter Fox, and Henry A. Kautz. 2005. Hierarchical conditional random fields for GPS-based activity recognition. In Robotics Research. Springer Tracts in Advanced Robotics, Vol. 28. Springer, 487--506.

[57]

Vladimir Lifschitz. 1994. Circumscription. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3. Oxford University Press, 297--352.

Digital Library

[58]

Thor List, José Bins, Jose Vazquez, and Robert B. Fisher. 2005. Performance evaluating the evaluator. In Proceedings of the 2nd Joint IEEE International Workshop on Visual Surveillance and Performance Evaluation of Tracking and Surveillance. 129--136.

Digital Library

[59]

Daniel Lowd and Pedro Domingos. 2007. Efficient weight learning for Markov logic networks. In Knowledge Discovery in Databases: PKDD 2007. Lecture Notes in Computer Science, Vol. 4702. Springer, 200--211.

Digital Library

[60]

David C. Luckham. 2002. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison Wesley Longman.

Digital Library

[61]

David C. Luckham. 2011. Event Processing for Business: Organizing the Real-Time Enterprise. Wiley.

[62]

Cristina Manfredotti. 2009. Modeling and inference with relational dynamic Bayesian networks. In Advances in Artificial Intelligence. Lecture Notes in Computer Science, Vol. 5549. Springer, 287--290.

Digital Library

[63]

Cristina Manfredotti, Howard Hamilton, and Sandra Zilles. 2010. Learning RDBNs for activity recognition. In Proceedings of the NIPS Workshop on Learning and Planning from Batch Time Series Data.

[64]

Paulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, and Cristina Sernadas. 2001. Probabilistic situation calculus. Annals of Mathematics and Artificial Intelligence 32, 1, 393--431.

Digital Library

[65]

John McCarthy. 1980. Circumscription—a form of non-monotonic reasoning. Artificial Intelligence 13, 1--2, 27--39.

Digital Library

[66]

John McCarthy and Patrik J. Hayes. 1968. Some Philosophical Problems from the Standpoint of Artificial Intelligence. Stanford University, Stanford, CA.

[67]

Rob Miller and Murray Shanahan. 2002. Some alternative formulations of the Event Calculus. In Computational Logic: Logic Programming and Beyond. Lecture Notes in Computer Science, Vol. 2408. Springer, 452--490.

Digital Library

[68]

Tom Minka. 2005. Discriminative Models, Not Discriminative Training. Technical Report. Microsoft Research, Cambridge, MA. Available at http://research.microsoft.com/pubs/70229/tr-2005-144.pdf.

[69]

Vlad I. Morariu and Larry S. Davis. 2011. Multi-agent event recognition in structured scenarios. In Proceedings of the Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, Los Alamitos, CA, 3289--3296.

Digital Library

[70]

Erik T. Mueller. 2006. Commonsense Reasoning. Morgan Kaufmann.

Digital Library

[71]

Erik T. Mueller. 2008. Event Calculus. In Handbook of Knowledge Representation. Foundations of Artificial Intelligence, Vol. 3. Elsevier, 671--708.

[72]

Kevin P. Murphy. 2002. Dynamic Bayesian Networks: Representation, Inference and Learning. Ph.D. Dissertation. University of California.

Digital Library

[73]

Pradeep Natarajan and Ramakant Nevatia. 2007. Hierarchical multi-channel hidden semi Markov models. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI). 2562--2567.

Digital Library

[74]

Sriraam Natarajan, Hung Hai Bui, Prasad Tadepalli, Kristian Kersting, and Weng-Keen Wong. 2008. Logical hierarchical hidden Markov models for modeling user activities. In Inductive Logic Programming. Lecture Notes in Computer Science, Vol. 5194. Springer, 192--209.

Digital Library

[75]

Adrian Paschke and Alexander Kozlenkov. 2009. Rule-based event processing and reaction rules. In Rule Interchange and Applications. Lecture Notes in Computer Science, Vol. 5858. Springer, 53--66.

Digital Library

[76]

Javier Pinto, Amilcar Sernadas, Cristina Sernadas, and Paulo Mateus. 2000. Non-determinism and uncertainty in the Situation Calculus. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 8, 2, 127--149.

Digital Library

[77]

Hoifung Poon and Pedro Domingos. 2006. Sound and efficient inference with probabilistic and deterministic dependencies. In Proceedings of the 21st AAAI Conference on Artificial Intelligence. 458--463.

Digital Library

[78]

Lawrence R. Rabiner and Biing-Hwang Juang. 1986. An introduction to hidden Markov models. Acoustics, Speech, and Signal Processing Magazine 3, 1, 4--16.

[79]

Luc De Raedt and Kristian Kersting. 2010. Statistical relational learning. In Encyclopedia of Machine Learning, C. Sammut and G. I. Webb (Eds.). Springer, 916--924.

[80]

Raymond Reiter. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge, MA.

Digital Library

[81]

Sebastian Riedel. 2008. Improving the accuracy and efficiency of MAP inference for Markov logic. In Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence (UAI). 468--475.

[82]

Adam Sadilek and Henry A. Kautz. 2012. Location-based reasoning about complex multi-agent behavior. Journal of Artificial Intelligence Research 43, 87--133.

Digital Library

[83]

Stephan Schiffel and Michael Thielscher. 2006. Reconciling Situation Calculus and Fluent Calculus. In Proceedings of the National Conference on Artificial Intelligence, Vol. 21. 287.

Digital Library

[84]

Joseph Selman, Mohamed R. Amer, Alan Fern, and Sinisa Todorovic. 2011. PEL-CNF: Probabilistic event logic conjunctive normal form for video interpretation. In Proceedings of the International Conference on Computer Vision Workshops (ICCVW). IEEE, Los Alamitos, CA, 680--687.

[85]

Murray Shanahan. 1997. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge, MA.

Digital Library

[86]

Murray Shanahan. 1999. The Event Calculus explained. In Artificial Intelligence Today. Lecture Notes in Computer Science, Vol. 1600. Springer, 409--430.

Digital Library

[87]

Vinay D. Shet, Jan Neumann, Visvanathan Ramesh, and Larry S. Davis. 2007. Bilattice-based logical reasoning for human detection. In Proceedings of the Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, Los Alamitos, CA, 1--8.

[88]

Parag Singla and Pedro Domingos. 2005. Discriminative training of Markov logic networks. In Proceedings of the 20th National Conference on Artificial Intelligence. 868--873.

Digital Library

[89]

Parag Singla and Pedro Domingos. 2006. Memory-efficient inference in relational domains. In Proceedings of the 21st AAAI Conference on Artificial Intelligence. 488--493.

Digital Library

[90]

Parag Singla and Pedro Domingos. 2008. Lifted first-order belief propagation. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence. 1094--1099.

Digital Library

[91]

Parag Singla and Raymond J. Mooney. 2011. Abductive Markov logic for plan recognition. In Proceedings of the 25th AAAI Conference on Artificial Intelligence. 1069--1075.

[92]

Jeffrey Mark Siskind. 2001. Grounding the lexical semantics of verbs in visual perception using force dynamics and event logic. Journal of Artificial Intelligence Research 15, 31--90.

Digital Library

[93]

Anastasios Skarlatidis, Alexander Artikis, Jason Filippou, and Georgios Paliouras. 2013. A probabilistic logic programming Event Calculus. Journal of Theory and Practice of Logic Programming.

[94]

Anastaios Skarlatidis, Georgios Paliouras, George Vouros, and Alexander Artikis. 2011. Probabilistic Event Calculus based on Markov logic networks. In Rule-Based Modeling and Computing on the Semantic Web. Lecture Notes in Computer Science, Vol. 7018. Springer, 155--170.

Digital Library

[95]

Charles Sutton and Andrew McCallum. 2007. An introduction to conditional random fields for relational learning. In Introduction to Statistical Relational Learning, L. Getoor and B. Taskar (Eds.). MIT Press, Cambridge, MA, 93--127.

[96]

Michael Thielscher. 1999. From Situation Calculus to Fluent Calculus: State update axioms as a solution to the inferential frame problem. Artificial Intelligence 111, 1, 277--299.

Digital Library

[97]

Michael Thielscher. 2001. The qualification problem: A solution to the problem of anomalous models. Artificial Intelligence 131, 1, 1--37.

Digital Library

[98]

Son Dinh Tran and Larry S. Davis. 2008. Event modeling and recognition using Markov logic networks. In Computer Vision—ECCV 2008. Lecture Notes in Computer Science, Vol. 5303. Springer, 610--623.

Digital Library

[99]

Pavan Turaga, Rama Chellappa, V. S. Subrahmanian, and Octavian Udrea. 2008. Machine recognition of human activities: A survey. IEEE Transactions on Circuits and Systems for Video Technology 18, 11, 1473--1488.

Digital Library

[100]

Douglas L. Vail, Manuela M. Veloso, and John D. Lafferty. 2007. Conditional random fields for activity recognition. In Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS). 1331--1338.

Digital Library

[101]

K. Van Belleghem, M. Denecker, and D. De Schreye. 1997. On the relation between Situation Calculus and Event Calculus. Journal of Logic Programming 31, 1, 3--37.

[102]

Van-Thinh Vu, François Brémond, and Monique Thonnat. 2003. Automatic video interpretation: A novel algorithm for temporal scenario recognition. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI). 1295--1302.

Digital Library

[103]

Jue Wang and Pedro Domingos. 2008. Hybrid Markov logic networks. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence. 1106--1111.

Digital Library

[104]

Tsu-Yu Wu, Chia-Chun Lian, and Jane Yung-Jen Hsu. 2007. Joint recognition of multiple concurrent activities using factorial conditional random fields. In Proceedings of the Workshop on Plan, Activity, and Intent Recognition (PAIR). 82--88.

Cited By

D'Asaro FBikakis ADickens LMiller R(2024)An answer set programming-based implementation of epistemic probabilistic event calculusInternational Journal of Approximate Reasoning10.1016/j.ijar.2023.109101165(109101)Online publication date: Feb-2024
https://doi.org/10.1016/j.ijar.2023.109101
Mantenoglou PArtikis APaliouras G(2023)Online event recognition over noisy data streamsInternational Journal of Approximate Reasoning10.1016/j.ijar.2023.108993161(108993)Online publication date: Oct-2023
https://doi.org/10.1016/j.ijar.2023.108993
Bickley STorgler B(2022)Cognitive architectures for artificial intelligence ethicsAI & Society10.1007/s00146-022-01452-938:2(501-519)Online publication date: 6-Jun-2022
https://dl.acm.org/doi/10.1007/s00146-022-01452-9
Show More Cited By

Index Terms

Probabilistic Event Calculus for Event Recognition
1. Computing methodologies
2. Theory of computation
  1. Logic

Recommendations

Probabilistic Complex Event Recognition: A Survey

Complex event recognition (CER) applications exhibit various types of uncertainty, ranging from incomplete and erroneous data streams to imperfect complex event patterns. We review CER techniques that handle, to some extent, uncertainty. We examine ...
Probabilistic recognition of complex event
ICVS'11: Proceedings of the 8th international conference on Computer vision systems

This paper describes a complex event recognition approach with probabilistic reasoning for handling uncertainty. The first advantage of the proposed approach is the flexibility of the modeling of composite events with complex temporal constraints. The ...
Event calculus and temporal action logics compared

We compare the event calculus and temporal action logics (TAL), two formalisms for reasoning about action and change. We prove that, if the formalisms are restricted to integer time, inertial fluents, and relational fluents, and if TAL action type ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Computational Logic

ACM Transactions on Computational Logic Volume 16, Issue 2

March 2015

260 pages

ISSN:1529-3785

EISSN:1557-945X

DOI:10.1145/2737801

Editor:
Dale Miller
INRIA Saclay, France

Issue’s Table of Contents

Copyright © 2015 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 February 2015

Accepted: 01 December 2014

Revised: 01 May 2014

Received: 01 August 2013

Published in TOCL Volume 16, Issue 2

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Funding Sources

European Commission FP7 projects PRONTO (231738) and SPEEDD (619435)

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

33
Total Citations
View Citations
424
Total Downloads

Downloads (Last 12 months)12
Downloads (Last 6 weeks)2

Reflects downloads up to 11 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

D'Asaro FBikakis ADickens LMiller R(2024)An answer set programming-based implementation of epistemic probabilistic event calculusInternational Journal of Approximate Reasoning10.1016/j.ijar.2023.109101165(109101)Online publication date: Feb-2024
https://doi.org/10.1016/j.ijar.2023.109101
Mantenoglou PArtikis APaliouras G(2023)Online event recognition over noisy data streamsInternational Journal of Approximate Reasoning10.1016/j.ijar.2023.108993161(108993)Online publication date: Oct-2023
https://doi.org/10.1016/j.ijar.2023.108993
Bickley STorgler B(2022)Cognitive architectures for artificial intelligence ethicsAI & Society10.1007/s00146-022-01452-938:2(501-519)Online publication date: 6-Jun-2022
https://dl.acm.org/doi/10.1007/s00146-022-01452-9
Ray O(2022)Learning and Revising Dynamic Temporal Theories in the Full Discrete Event CalculusInductive Logic Programming10.1007/978-3-030-97454-1_16(219-233)Online publication date: 24-Feb-2022
https://doi.org/10.1007/978-3-030-97454-1_16
Tsitsipas ASchubert L(2021)Towards Commonsense Reasoning in AAL EnvironmentsHCI International 2021 - Posters10.1007/978-3-030-78642-7_76(567-572)Online publication date: 3-Jul-2021
https://doi.org/10.1007/978-3-030-78642-7_76
Meshcheryakov RIskhakov SIskhakov A(2021)Security Providing for Cyber-Physical Systems Based on the Analysis of Service DataflowCyber-Physical Systems10.1007/978-3-030-67892-0_25(301-320)Online publication date: 14-Apr-2021
https://doi.org/10.1007/978-3-030-67892-0_25
Pitsikalis MArtikis A(2021)Composite Maritime Event RecognitionGuide to Maritime Informatics10.1007/978-3-030-61852-0_8(233-260)Online publication date: 9-Feb-2021
https://doi.org/10.1007/978-3-030-61852-0_8
Nguyen VMellor L(2020)Fuzzy MLNs and QSTAGs for Activity Recognition and Modelling with RUSH2020 IEEE 23rd International Conference on Information Fusion (FUSION)10.23919/FUSION45008.2020.9190523(1-8)Online publication date: Jul-2020
https://doi.org/10.23919/FUSION45008.2020.9190523
Du JZhao HYu YHu Q(2020)A Method to Extract Causality for Safety Events in Chemical Accidents from Fault Trees and Accident ReportsComputational Intelligence and Neuroscience10.1155/2020/71320722020Online publication date: 1-Jan-2020
https://dl.acm.org/doi/10.1155/2020/7132072
D'Asaro FBikakis ADickens LMiller R(2020)Probabilistic Reasoning About Epistemic Action NarrativesArtificial Intelligence10.1016/j.artint.2020.103352(103352)Online publication date: Jun-2020
https://doi.org/10.1016/j.artint.2020.103352
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents