Skip to main content
SpringerLink
Log in

On integrating event definition and event detection

  • Regular Paper
  • Published:
Knowledge and Information Systems Aims and scope Submit manuscript

Abstract

We develop, in this paper, a representation of time and events that supports a range of reasoning tasks such as monitoring and detection of event patterns which may facilitate the explanation of root cause(s) of faults. We shall compare two approaches to event definition: the active database approach in which events are defined in terms of the conditions for their detection at an instant, and the knowledge representation approach in which events are defined in terms of the conditions for their occurrence over an interval. We shall show the shortcomings of the former definition and employ a three-valued temporal first order nonmonotonic logic, extended with events, in order to integrate both definitions.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Adaikkalavan R, Chakravarthy S (2004) Formalization and detection of events over a sliding window in active databases using interval-based semantics. In: Proceedings, East-European conference on advances in databases and information systems, Hungary. pp 241–256

  2. Adaikkalavan R, Chakravarthy S (2005) Formalization and detection of events using interval-based semantics. In: Proceedings, International conference on management of data, India. pp 58–69

  3. Adaikkalavan R, Chakravarthy S (2006) SnoopIB: Interval-based event specification and detection for active databases. Data Knowl Eng 59(1): 139–165

    Article  Google Scholar 

  4. Allen J (1984) Towards a general theory of action and time. Artif Intell 23: 123–54

    Article  MATH  Google Scholar 

  5. Allen J, Ferguson G (1994) Actions and events in interval temporal logic. J Logic Comput 4: 531–79

    Article  MATH  MathSciNet  Google Scholar 

  6. Allen J, Hayes P (1989) Moments and points in an interval-based temporal logic. Comput Intell 5: 225–238

    Article  Google Scholar 

  7. Augusto J (2003) A general framework for reasoning about change. New Gener Comput 21(3): 209–247

    Article  MATH  Google Scholar 

  8. Augusto J, Simari GR (2001) Temporal defeasible reasoning. Knowledge and information systems, vol 3, no 3. Springer, Berlin, pp 287–318

  9. Baral C, Gelfond M, Provetti A (1997) Representing actions: laws, observations and hypothesis. J Logic Program 31(1–3): 201–43

    Article  MATH  MathSciNet  Google Scholar 

  10. Baral C, Gelfond M, Provetti A (1998) Formalizing Narratives using nested circumscription. Artif Intell 104(1–2): 107–64

    Article  MATH  Google Scholar 

  11. Berndtsson M, Lings B (1992) On developing reactive object-oriented databases. In: IEEE bulletin of the technical committee on data engineering, vol 15, Nos 1–4. pp 31–34

  12. Bertino E, Ferrari E, Guerrini G (1998) An approach to model and query event-based temporal data. In: Proceedings of 6th international symposium on TIME

  13. Buchmann AP, Deutsch A, Zimmermann J, Higa M (1995) The REACH active OODBMS. In: Proceedings of the ACM SIGMOD international conference on Management of data

  14. Chakravarthy S, Krishnaprasad V, Anwar E, Kim S (1994) Composite events for active databases: semantics, contexts and detection. In: Proceedings of the international conference on very large data bases VLDB. pp 606–617

  15. Chakravarthy S, Mishra D (1994) Snoop: an expressive event specification language for active databases. Data Knowl Eng 14(10): 1–26

    Article  Google Scholar 

  16. Cervesato I, Montanari A (2000) A calculus of macro-events: Progress report. In: Trudel A, Goodwin S (eds) Proceedings of the seventh international workshop on temporal representation and reasoning. IEEE Computer Society Press, pp 47–58

  17. Chittaro L, Montanari A (1993) Reasoning about discrete processes in a logic programming framework. In: Proceedings of the eight conference on logic programming. Mediterranean Press, Italy, pp 407–421

  18. Diaz O, Paton N, P. Gray P (1991) Rule management in object-oriented databases: a unified approach. In: Proceedings 17th international conference on very large data bases, Barcelona, Spain

  19. Fan W, Miller M, Stolfo S, Lee W, Chan P (2004) Using artificial anomalies to detect unknown and known network intrusions. Knowledge and Information Systems, vol 6. Springer, London, pp 507–527

  20. Galton A (1990) A critical examination of Allen’s theory of action and time. Artif Intell 42: 159–188

    Article  MATH  MathSciNet  Google Scholar 

  21. Galton A (1997) Space, time and movement. In: Stock O (eds) Spatial and temporal reasoning. Kluwer, Dordrecht, pp. 321–352

  22. Galton A (2006) Causal reasoning for alert generation in smart homes. In: Augusto J, Nugent CD (eds) Designing smart homes, LNAI 4008. Springer, Berlin, pp 57–70

  23. Galton A, Augusto J (2002a) Stratified causal theories for reasoning about deterministic devices and protocols. In: Proceedings of the 9th international symppsium on time. pp 52–54

  24. Galton A, Augusto J (2002b) Two approaches to event definition. In: Proceedings of the 13th international conference on database and expert systems applications, France

  25. Gatziu S, Dittrich KR (1993) Events in an Active Object-Oriented Database System. In: Proc. of the 1st international Conference on Rules in Database Systems

  26. Gatziu S, Dittrich KR (1994) Detecting composite events in active database systems using petri nets. In: IEEE RIDE proceedings of the 4th international workshop on research issues in data engineering, Houston, Texas, USA

  27. Gehani NH, Jagadish H, Shmueli O (1992a) Event specification in an active object-oriented database. In: Proceedings of the ACM SIGMOD conference on management of data. pp 81–90

  28. Gehani NH, Jagadish H, Shmueli O (1992b) Composite event specification in an active databases: model & implementation. In: Proceedings of the VLDB conference, Vancouver, British Columbia, Canada. pp 327–338

  29. Gwadera R, Atallah M, Szpankowski W (2005) Reliable detection of episodes in event sequences, knowledge and information systems, vol 7. Springer, London, pp 415–437

  30. Kamp H (1979) Events, instants and temporal reference. In: Bauerle R, Egli U, von Stechow (eds) A semantics from different points of view. Springer, Berlin, pp 376–417

  31. Kowalski RA, M. J. Sergot M (1986) A logic-based calculus of events. New Gener Comput 4: 67–95

    Article  Google Scholar 

  32. Lifschitz V (1994) Circumscription. In: The handbook of logic in artificial intelligence and logic programming, vol 3. In: Gabbay DM, Hogger CJ, Robinson JA (eds) Nonmonotonic reasoning and uncertain reasoning, Oxford University Press, NY, pp 297–352

  33. McCarthy J (1963) Situations, actions and causal laws, technical report, Stanford University. In: Minsky M (ed) Reprinted in semantic information processing. Mit Press, Cambridge, 1968, pp 410–417

  34. McCarthy JM (1980) Circumscription—a form of nonmonotonic reasoning. Artif Intell 13: 27–39

    Article  MATH  MathSciNet  Google Scholar 

  35. McCarthy J (1986) Application of circumscription to formalizing commonsense knowledge. Artif Intell 28: 89–116

    Article  MathSciNet  Google Scholar 

  36. McCarthy J (2002) Actions and other events in the situation calculus, KR

  37. Obeid N (1996) Three valued logic and nonmonotonic reasoning. Comput Artif Intell 15(6): 509–530

    MATH  MathSciNet  Google Scholar 

  38. Obeid N (2000a) Towards a model of learning through communication. Knowledge and information systems, vol 2. Springer, Berlin, pp 498–508

  39. Obeid N (2000) Fault diagnosis using three-valued based nonmonotonic logic. Int J Cond Monit Diagn Eng Manag (COMADEM) 3(2): 17–28

    Google Scholar 

  40. Obeid N (2005a) A model-theoretic semantics for default logic. WSEAS Trans Comput 4(6): 581–590

    Google Scholar 

  41. Obeid N (2005b) A formalism for representing and reasoning with temporal information, event and change. In: Special Issue on Temporal Uncertainty, Journal of Applied Intelligence, vol 23, no 2. Kluwer, Dordrecht, pp 109–119

  42. Paton N, Diaz O (1999) Active database systems. ACM Comput Surv 31(1): 63–103

    Article  Google Scholar 

  43. Reiter R (1980) A logic for default reasoning. Artif Intell 13: 81–132

    Article  MATH  MathSciNet  Google Scholar 

  44. Shanahan M (1997a) Solving the frame problem: a mathematical investigation of the common sense law of inertia. MIT Press, Cambridge

    Google Scholar 

  45. Shanahan M (1997b) Event Calculus Planning Revisited, ECP, 390–402

  46. Turner H (1997) Representing actions in logic programs and default theories. J Logic Program 31: 245–298

    Article  MATH  Google Scholar 

  47. Vila L (1994) IP: An instant-period based theory of time. In: Rodriguez R (ed) Proceedings of ECAI’94 workshop on spatial and temporal reasoning

Download references

Author information

Authors and Affiliations

  1. Department of Computer Information Systems, King Abdullah II School for Information Technology, The University of Jordan, Amman, Jordan

    Nadim Obeid

  2. COMADEM International, 307 Tiverton Road Selly Oak, Birmingham, B29 6DA, UK

    Raj B. K. N. Rao

Authors
  1. Nadim Obeid
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Raj B. K. N. Rao
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nadim Obeid.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Obeid, N., Rao, R.B.K.N. On integrating event definition and event detection. Knowl Inf Syst 22, 129–158 (2010). https://doi.org/10.1007/s10115-009-0193-3

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10115-009-0193-3

Keywords

Search

Navigation