Abstract
Event-Condition-Action (ECA) languages are an intuitive and powerful paradigm for programming reactive systems. Usually, important features for an ECA language are reactive and reasoning capabilities, the possibility to express complex actions and events, and a declarative semantics. In this paper, we introduce ERA, an ECA language based on, and extending the framework of logic programs updates that, together with these features, also exhibits capabilities to integrate external updates and perform self updates to its knowledge (data and classical rules) and behaviour (reactive rules).
This work has been partly funded by the European Commission under project Rewerse (http://rewerse.net). Thanks are due to Wolfgang May for his comments on previous versions.
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.
Similar content being viewed by others
References
Adaikkalavan, R., Chakravarthy, S.: SnoopIB: Interval-based event specification and detection for active databases. In: Kalinichenko, L.A., Manthey, R., Thalheim, B., Wloka, U. (eds.) ADBIS 2003. LNCS, vol. 2798, pp. 190–204. Springer, Heidelberg (2003)
Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: The refined extension principle for semantics of dynamic logic programming. Studia Logica 79(1) (2005)
Alferes, J.J., Brogi, A., Leite, J., Moniz Pereira, L.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, p. 50. Springer, Heidelberg (2002)
Alferes, J.J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: LUPS: A language for updating logic programs. Artificial Intelligence 132(1 & 2) (2002)
Banti, F., Alferes, J.J., Brogi, A.: The well founded semantics for dynamic logic programs. In: Lemaître, C., Reyes, C.A., González, J.A. (eds.) IBERAMIA 2004. LNCS (LNAI), vol. 3315. Springer, Heidelberg (2004)
Baral, C., Lobo, J.: Formal characterization of active databases. In: Logic in Databases, pp. 175–195 (1996)
Bonner, A.J., Kifer, M.: Transaction logic programming. In: Warren, D.S. (ed.) ICLP 1993, Budapest, Hungary, pp. 257–279. The MIT Press, Cambridge (1993)
Bonner, A.J.: A logical semantics for hypothetical rulebases with deletion. Journal of Logic Programming 32(2) (1997)
Bry, F., Pătrânjan, P.-L., Schaffert, S.: Xcerpt and xChange – logic programming languages for querying and evolution on the web. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 450–451. Springer, Heidelberg (2004)
Carlson, J., Lisper, B.: An interval-based algebra for restricted event detection. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol. 2791, pp. 121–133. Springer, Heidelberg (2004)
Costantini, S., Tocchio, A.: The DALI logic programming agent-oriented language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol. 3229, pp. 685–688. Springer, Heidelberg (2004)
Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of semantics based on causal rejection. Theory and Practice of Logic Programming 2, 711–767 (2002)
Cugola, G., Nitto, E.D., Fuggetta, A.: Exploiting an event-based infrastructure to develop complex distributed systems. In: 20th Int. Conf. on Software Enginieering (1998)
Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM 38(3), 620–650 (1991)
Hoare, C.A.R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1985)
Leite, J., Soares, L.: Enhancing a multi-agent system with evolving logic programs. In: Satoh, K., Inoue, K., Toni, F. (eds.) CLIMA-VII (2006)
Leite, J.A.: Evolving Knowledge Bases. Frontiers in Artificial Intelligence and Applications, vol. 81. IOS Press, Amsterdam (2003)
Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming (1997)
Lifschitz, V., Woo, T.: Answer sets in general non-monotonic reasoning (preliminary report). In: Nebel, B., Rich, C., Swartout, W. (eds.) KR 1992 (1992)
Ludäscher, B., May, W., Lausen, G.: Nested transactions in a logical language for active rules. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol. 1154, pp. 197–222. Springer, Heidelberg (1996)
May, W., Alferes, J.J., Amador, R.: Active rules in the semantic web: Dealing with language heterogeneity. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 30–44. Springer, Heidelberg (2005)
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Nigam, V., Leite, J.: Incorporating knowledge updates in 3APL - preliminary report. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2006. LNCS, vol. 4411. Springer, Heidelberg (2007)
Abiteboul, S., Culet, C., Mignet, L., Amann, B., Milo, T., Eyal, A.: Active views for electronic commerce. In: 25th Very Large Data Bases Coference Proceedings (1999)
Saraswat, V.A., Jagadeesan, R., Gupta, V.: Amit - the situation manager. The International Journal on Very Large Data Bases archive 13 (2004)
Widom, J., Ceri, S. (eds.): Active Database Systems – Triggers and Rules For Advanced Database Processing. Morgan Kaufmann, San Francisco (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alferes, J.J., Banti, F., Brogi, A. (2006). An Event-Condition-Action Logic Programming Language. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds) Logics in Artificial Intelligence. JELIA 2006. Lecture Notes in Computer Science(), vol 4160. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11853886_5
Download citation
DOI: https://doi.org/10.1007/11853886_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-39625-3
Online ISBN: 978-3-540-39627-7
eBook Packages: Computer ScienceComputer Science (R0)