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.
- 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. Google ScholarDigital Library
- 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. DOI: http://dx.doi.org/10.1109/TPAMI.2010.33 Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- James F. Allen. 1983. Maintaining knowledge about temporal intervals. Communications of the ACM 26, 11, 832--843. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- Alexander Artikis, Anastasios Skarlatidis, François Portet, and Georgios Paliouras. 2012. Logic-based event recognition. Knowledge Engineering Review 27, 4, 469--506. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- Hendrik Blockeel. 2011. Statistical relational learning. In Handbook on Neural Information Processing. Intelligent Systems Reference Library, Vol. 49. Springer, 241--281.Google Scholar
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarCross Ref
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- Robert Craven. 2006. Execution Mechanisms for the Action Language C+. Ph.D. Dissertation. University of London, England.Google Scholar
- Aron Culotta and Andrew McCallum. 2004. Confidence estimation for information extraction. In Proceedings of HLT-NAACL 2004: Short Papers. 109--112. Google ScholarDigital Library
- 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.Google Scholar
- 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.Google Scholar
- Patrick Doherty, Witold Lukaszewicz, and Andrzej Szalas. 1997. Computing circumscription revisited: A reduction algorithm. Journal of Automated Reasoning 18, 3, 297--336. Google ScholarDigital Library
- Pedro Domingos and Daniel Lowd. 2009. Markov Logic: An Interface Layer for Artificial Intelligence. Morgan & Claypool. Google ScholarDigital Library
- Christophe Dousson. 1996. Alarm driven supervision for telecommunication network: II-On-line chronicle recognition. Annals of Telecommunications 51, 9, 501--508.Google Scholar
- 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. Google ScholarDigital Library
- Thomas Eiter and Thomas Lukasiewicz. 2003. Probabilistic reasoning about actions in nonmonotonic causal theories. In Proceedings of UAI-2003. Morgan Kaufmann, 192--199. Google ScholarDigital Library
- Opher Etzion and Peter Niblett. 2010. Event Processing in Action. Manning Publications Company. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google Scholar
- Matthew L. Ginsberg. 1988. Multivalued logics: A uniform approach to reasoning in artificial intelligence. Computational Intelligence 4, 265--316.Google ScholarCross Ref
- Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, and Hudson Turner. 2004. Nonmonotonic causal theories. Artificial Intelligence 153, 1, 49--104. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- 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.Google Scholar
- Aniruddha Kembhavi, Tom Yeh, and Larry S. Davis. 2010. Why did the person cross the road (there)? 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- Kristian Kersting, Luc De Raedt, and Tapani Raiko. 2006. Logical hidden Markov models. Journal of Artificial Intelligence Research (JAIR) 25, 1, 425--456. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google Scholar
- Robert Kowalski and Fariba Sadri. 1997. Reconciling the event calculus with the situation calculus. Journal of Logic Programming 31, 1, 39--58.Google ScholarCross Ref
- Robert Kowalski and Marek Sergot. 1986. A logic-based calculus of events. New Generation Computing 4, 1, 67--95. Google ScholarDigital Library
- Jonas Kvarnström. 2005. TALplanner and Other Extensions to Temporal Action Logic. Ph.D. Dissertation. Linköping University, Linköping, Sweden.Google Scholar
- 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. Google ScholarDigital Library
- 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.Google Scholar
- Vladimir Lifschitz. 1994. Circumscription. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3. Oxford University Press, 297--352. Google ScholarDigital Library
- 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. DOI: http://dx.doi.org/10.1109/VSPETS.2005.1570907 Google ScholarDigital Library
- 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. Google ScholarDigital Library
- David C. Luckham. 2002. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison Wesley Longman. Google ScholarDigital Library
- David C. Luckham. 2011. Event Processing for Business: Organizing the Real-Time Enterprise. Wiley.Google Scholar
- 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. Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- John McCarthy. 1980. Circumscription—a form of non-monotonic reasoning. Artificial Intelligence 13, 1--2, 27--39.Google ScholarDigital Library
- John McCarthy and Patrik J. Hayes. 1968. Some Philosophical Problems from the Standpoint of Artificial Intelligence. Stanford University, Stanford, CA.Google Scholar
- 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. Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- Erik T. Mueller. 2006. Commonsense Reasoning. Morgan Kaufmann. Google ScholarDigital Library
- Erik T. Mueller. 2008. Event Calculus. In Handbook of Knowledge Representation. Foundations of Artificial Intelligence, Vol. 3. Elsevier, 671--708.Google Scholar
- Kevin P. Murphy. 2002. Dynamic Bayesian Networks: Representation, Inference and Learning. Ph.D. Dissertation. University of California. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- Lawrence R. Rabiner and Biing-Hwang Juang. 1986. An introduction to hidden Markov models. Acoustics, Speech, and Signal Processing Magazine 3, 1, 4--16.Google Scholar
- 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.Google Scholar
- Raymond Reiter. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge, MA. Google ScholarDigital Library
- 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.Google Scholar
- Adam Sadilek and Henry A. Kautz. 2012. Location-based reasoning about complex multi-agent behavior. Journal of Artificial Intelligence Research 43, 87--133. Google ScholarDigital Library
- Stephan Schiffel and Michael Thielscher. 2006. Reconciling Situation Calculus and Fluent Calculus. In Proceedings of the National Conference on Artificial Intelligence, Vol. 21. 287. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- Murray Shanahan. 1997. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge, MA. Google ScholarDigital Library
- Murray Shanahan. 1999. The Event Calculus explained. In Artificial Intelligence Today. Lecture Notes in Computer Science, Vol. 1600. Springer, 409--430. Google ScholarDigital Library
- 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.Google Scholar
- Parag Singla and Pedro Domingos. 2005. Discriminative training of Markov logic networks. In Proceedings of the 20th National Conference on Artificial Intelligence. 868--873. Google ScholarDigital Library
- Parag Singla and Pedro Domingos. 2006. Memory-efficient inference in relational domains. In Proceedings of the 21st AAAI Conference on Artificial Intelligence. 488--493. Google ScholarDigital Library
- Parag Singla and Pedro Domingos. 2008. Lifted first-order belief propagation. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence. 1094--1099. Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- Anastasios Skarlatidis, Alexander Artikis, Jason Filippou, and Georgios Paliouras. 2013. A probabilistic logic programming Event Calculus. Journal of Theory and Practice of Logic Programming.Google Scholar
- 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. Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- Michael Thielscher. 2001. The qualification problem: A solution to the problem of anomalous models. Artificial Intelligence 131, 1, 1--37. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- Jue Wang and Pedro Domingos. 2008. Hybrid Markov logic networks. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence. 1106--1111. Google ScholarDigital Library
- 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.Google Scholar
Index Terms
- Probabilistic Event Calculus for Event Recognition
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 systemsThis 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