Abstract
We propose an interleaved inductive-abductive model for reasoning about complex spatio-temporal narratives. Typed Inductive Logic Programming (Typed-ILP) is used as a basis for learning the domain theory by generalising from observation data, whereas abductive reasoning is used for noisy data correction by scenario and narrative completion thereby improving the inductive learning to get semantically meaningful event models. We apply the model to an airport domain consisting of video data for 15 turn-arounds from six cameras simultaneously monitoring logistical processes concerned with aircraft arrival, docking, departure etc and a verbs data set with 20 verbs enacted out in around 2500 vignettes. Our evaluation and demonstration focusses on the synergy afforded by the inductive-abductive cycle, whereas our proposed model provides a blue-print for interfacing common-sense reasoning about space, events and dynamic spatio-temporal phenomena with quantitative techniques in activity recognition.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bhatt, M.: Reasoning about space, actions and change: A paradigm for applications of spatial reasoning. In: Qualitative Spatial Representation and Reasoning: Trends and Future Directions. IGI Global, USA (2010)
Borg, M., Thirde, D., Ferryman, J., Fusier, F., Valentin, V., Brémond, F., Thonnat, M.: Video surveillance for aircraft activity monitoring. In: IEEE Conf. on Advanced Video and Signal Based Surveillance, AVSS 2005, pp. 16–21. IEEE (2006)
Needham, C.J., Santos, P.E., Magee, D.R., Devin, V., Hogg, D.C., Cohn, A.G.: Protocols from perceptual observations. Artificial Intelligence 167(1-2), 103–136 (2005)
Dubba, K.S.R., Cohn, A.G., Hogg, D.C.: Event model learning from complex videos using ILP. In: ECAI, pp. 93–98 (2010)
Menon, V., Jayaraman, B., Govindaraju, V.: Integrating recognition and reasoning in smart environments. In: IET International Conf. on Intelligent Environments, pp. 1–8 (July 2008)
Mooney, R.J.: Integrating abduction and induction in machine learning. In: Flach, P.A., Kakas, A.C. (eds.) Abduction and Induction, pp. 181–191. Kluwer Academic Publishers (2000)
Hazarika, S.M., Cohn, A.G.: Abducing qualitative spatio-temporal histories from partial observations. In: Int. Conf. on Principles of Know. Representation and Reasoning (2002)
Bhatt, M., Flanagan, G.: Spatio-temporal abduction for scenario and narrative completion. In: Proceedings of the International Workshop on Spatio-Temporal Dynamics, ECAI 2010, pp. 31–36 (2010)
Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput. 4(1), 67–95 (1986)
Moyle, S.: Using Theory Completion to Learn a Robot Navigation Control Program. In: Matwin, S., Sammut, C. (eds.) ILP 2002. LNCS (LNAI), vol. 2583, pp. 182–197. Springer, Heidelberg (2003)
Ray, O.: Nonmonotonic abductive inductive learning. Journal of Applied Logic 7, 329–340 (2009)
Kakas, A.C., Riguzzi, F.: Abductive concept learning. New Generation Computing 18(3), 243–294 (2000)
Blockeel, H., De Raedt, L., Jacobs, N., Demoen, B.: Scaling up ILP by learning from interpretations. Data Mining and Knowledge Discovery 3(1), 59–93 (1999)
Cohn, A.G., Renz, J.: Qualitative spatial reasoning. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier (2007)
Bhatt, M., Guesgen, H., Woelfl, S., Hazarika, S.: Qualitative spatial and temporal reasoning: Emerging applications, trends, and directions. Spatial Cognition & Computation 11(1), 1–14 (2011)
Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: Int. Conf. on Principles of Know. Representation and Reasoning (1992)
Bhatt, M., Loke, S.: Modelling dynamic spatial systems in the situation calculus. Spatial Cognition and Computation 8(1), 86–130 (2008)
Muggleton, S.: Inverse entailment and Progol. New Gen. Comp. 13(3&4), 245–286 (1995)
Poole, D., Goebel, R., Aleliunas, R.: Theorist: A logical reasoning system for defaults and diagnosis. In: The Knowledge Frontier, pp. 331–352. Springer (1987)
Miller, R., Shanahan, M.: Narratives in the situation calculus. J. Log. Comput. 4(5), 513–530 (1994)
Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. Journal of Logic and Computation 2(6), 719 (1992)
Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26, 832–843 (1983)
Christiansen, H., Dahl, V.: HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 159–173. Springer, Heidelberg (2005)
Van de Weghe, N., Cohn, A.G., De Tre, G., De Maeyer, P.: A qualitative trajectory calculus as a basis for representing moving objects in geographical information systems. Control and Cybernetics 35(1), 97 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dubba, K., Bhatt, M., Dylla, F., Hogg, D.C., Cohn, A.G. (2012). Interleaved Inductive-Abductive Reasoning for Learning Complex Event Models. In: Muggleton, S.H., Tamaddoni-Nezhad, A., Lisi, F.A. (eds) Inductive Logic Programming. ILP 2011. Lecture Notes in Computer Science(), vol 7207. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31951-8_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-31951-8_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31950-1
Online ISBN: 978-3-642-31951-8
eBook Packages: Computer ScienceComputer Science (R0)