Skip to main content
SpringerLink
Log in

ACE: A Flexible Environment for Complex Event Processing in Logical Agents

  • Conference paper
  • First Online:
Book cover Engineering Multi-Agent Systems (EMAS 2015)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9318))

Included in the following conference series:

Abstract

In this paper we propose the general software engineering approach of transforming an agent into an Agent Computational Environment (ACE) composed of: (1) the “main” agent program; (2) a number of Event-Action modules for Complex Event Processing, including generation of complex actions; (3) a number of external contexts that the agent is able to access in order to gather information. In our view an ACE is composed of heterogeneous elements: therefore, we do not make assumptions about how the various components are defined, except that they are based upon Computational Logic. In order to show a concrete instance of ACE, we discuss an experiment based upon the DALI agent-oriented programming language and Answer Set Programming (ASP).

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    The acronym “ACE” emerged by chance: nevertheless, with the occasion the author wishes to dedicate the ACE approach to the memory of Alan Turing.

References

  1. Chandy, M.K., Etzion, O., von Ammon, R.: 10201 executive summary and manifesto - event processing. In: Chandy, K.M., Etzion, O., von Ammon, R. (eds.) Event Processing. Number 10201 in Dagstuhl Seminar Proc., Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2011)

    Google Scholar 

  2. Etzion, O., Niblett, P.: Event Processing in Action. Manning Publications Co., Greenwich (2010)

    Google Scholar 

  3. Paschke, A., Kozlenkov, A.: Rule-based event processing and reaction rules. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 53–66. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

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

    Article  Google Scholar 

  5. Fisher, M., Bordini, R.H., Hirsch, B., Torroni, P.: Computational logics and agents: a road map of current technologies and future trends. Comput. Intell. J. 23(1), 61–91 (2007)

    Article  MathSciNet  Google Scholar 

  6. Anicic, D., Rudolph, S., Fodor, P., Stojanovic, N.: Real-time complex event recognition and reasoning - a logic programming approach. Appl. Artif. Intell. 26(1–2), 6–57 (2012)

    Article  Google Scholar 

  7. Anicic, D., Rudolph, S., Fodor, P., Stojanovic, N.: Stream reasoning and complex event processing in ETALIS. Semant. Web 3(4), 397–407 (2012)

    Google Scholar 

  8. Costantini, S., Dell’Acqua, P., Tocchio, A.: Expressing preferences declaratively in logic-based agent languages. In: Proceedings of Commonsense 2007, the 8th International Symposium on Logical Formalizations of Commonsense Reasoning. AAAI Spring Symposium Series (2007). (a special event in honor of John McCarthy)

    Google Scholar 

  9. Costantini, S.: Answer set modules for logical agents. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol. 6702, pp. 37–58. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  10. Costantini, S., De Gasperis, G.: Complex reactivity with preferences in rule-based agents. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol. 7438, pp. 167–181. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  11. Costantini, S., De Gasperis, G.: Memory, experience and adaptation in logical agents. In: Casillas, J., Martínez-López, F.J., Vicari, R., De la Prieta, F. (eds.) Management Intelligent Systems. AISC, vol. 220, pp. 17–24. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  12. Costantini, S.: Self-checking logical agents. In: Gini, M.L., Shehory, O., Ito, T., Jonker, C.M. (eds.) Proceedings of AAMAS 2013, 12th International Conference on Autonomous Agents and Multi-Agent Systems, IFAAMAS/ACM, pp. 1329–1330 (2013). (Extended Abstract)

    Google Scholar 

  13. Costantini, S., De Gasperis, G.: Meta-level constraints for complex event processing in logical agents. In: Online Proceedings of Commonsense 2013, the 11th International Symposium on Logical Formalizations of Commonsense Reasoning (2013)

    Google Scholar 

  14. Kowalski, R.A., Sadri, F.: Reactive computing as model generation. New Gener. Comput. 33(1), 33–67 (2015)

    Article  Google Scholar 

  15. Kowalski, R.A., Sadri, F.: Teleo-reactive abductive logic programs. In: Artikis, A., Craven, R., Kesim Çiçekli, N., Sadighi, B., Stathis, K. (eds.) Sergot Festschrift 2012. LNCS, vol. 7360, pp. 12–32. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  16. Costantini, S., Riveret, R.: Event-action modules for complex reactivity in logical agents. In: Bazzan, A.L.C., Huhns, M.N., Lomuscio, A., Scerri, P. (eds.) Proceedings of AAMAS 2013, 13th International Conference on Autonomous Agents and Multi-Agent Systems, IFAAMAS/ACM, pp. 1503–1504 (2014). (Extended Abstract)

    Google Scholar 

  17. Costantini, S., Riveret, R.: Complex events and actions in logical agents. In: Giordano, L., Gliozzi, V., Pozzato, G.L. (eds.) Proceedings of the 29th Italian Conference on Computational Logic. CEUR Workshop Proceedings, vol. 1195, pp. 256–271. CEUR-WS.org (2014)

    Google Scholar 

  18. Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence, pp. 385–390. AAAI Press (2007)

    Google Scholar 

  19. Brewka, G., Eiter, T., Fink, M.: Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol. 6565, pp. 233–258. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  20. Brewka, G., Ellmauthaler, S., Pührer, J.: Multi-context systems for reactive reasoning in dynamic environments. In: Schaub, T. (ed.) ECAI 2014, Proceedings of the 21st European Conference on Artificial Intelligence, IJCAI/AAAI (2014)

    Google Scholar 

  21. Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI/AAAI, pp. 786–791 (2011)

    Google Scholar 

  22. Costantini, S., Tocchio, A.: A logic programming language for multi-agent systems. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, p. 1. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  23. Costantini, S., Tocchio, A.: The DALI logic programming agent-oriented language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 685–688. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  24. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of the 5th International Conference and Symposium on Logic Programming (ICLP/SLP 1988), pp. 1070–1080. The MIT Press (1988)

    Google Scholar 

  25. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)

    Book  MATH  Google Scholar 

  26. Gelfond, M.: Answer sets. In: Lifschitz, V., van Hermelen, F., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier, Amsterdam (2007)

    Google Scholar 

  27. Truszczyński, M.: Logic programming for knowledge representation. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 76–88. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  28. Apt, K.R., Bol, R.: Logic programming and negation: a survey. J. Logic Program. 19–20, 9–71 (1994)

    Article  MathSciNet  Google Scholar 

  29. Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Distributed evaluation of nonmonotonic multi-context systems. JAIR, the Journal of Artificial Intelligence Research (2015) (to appear)

    Google Scholar 

  30. Bordini, R.H., Hübner, J.F.: BDI agent programming in agentspeak using Jason (tutorial paper). In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 143–164. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  31. Rao, A.S., Georgeff, M.P.: Modeling agents within a BDI-architecture. In: Fikes, R., Sandewall, E. (eds.) Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), Cambridge, Massachusetts, Morgan Kaufmann (1991)

    Google Scholar 

  32. Hindriks, K.V., van der Hoek, W., Meyer, J.-J.C.: GOAL agents instantiate intention logic. In: Artikis, A., Craven, R., Kesim Çiçekli, N., Sadighi, B., Stathis, K. (eds.) Sergot Festschrift 2012. LNCS, vol. 7360, pp. 196–219. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  33. Dastani, M., van Riemsdijk, M.B., Meyer, J.C.: Programming multi-agent systems in 3APL. In: Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E. (eds.) Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15, pp. 39–67. Springer, New York (2005)

    Chapter  Google Scholar 

  34. Fisher, M.: MetateM: The story so far. In: Bordini, R.H., Dastani, M., Dix, J., Fallah Seghrouchni, A. (eds.) PROMAS 2005. LNCS (LNAI), vol. 3862, pp. 3–22. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  35. Bordini, R.H., Braubach, L., Dastani, M., Fallah-Seghrouchni, A.E., Gómez-Sanz, J.J., Leite, J., O’Hare, G.M.P., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multi-agent systems. Informatica (Slovenia) 30(1), 33–44 (2006)

    MATH  Google Scholar 

  36. Bracciali, A., et al.: The KGP model of agency for global computing: computational model and prototype implementation. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 340–367. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  37. Gebser, M., Grote, T., Kaminski, R., Schaub, T.: Reactive answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 54–66. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  38. Brewka, G., Delgrande, J.P., Romero, J., Schaub, T.: asprin: customizing answer set preferences without a headache. In Bonet, B., Koenig, S. (eds.) Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, pp. 1467–1474. AAAI Press (2015)

    Google Scholar 

  39. Bienvenu, M., Lang, J., Wilson, N.: From preference logics to preference languages, and back. In: Proceedings of the Twelfth International Conference on the Principles of Knowledge Represent and Reasoning (KR 2010), pp. 414–424 (2010)

    Google Scholar 

  40. Brewka, G., Niemelä, I., Truszczyński, M.: Preferences and nonmonotonic reasoning. AI Mag. 29(4), 69–78 (2008)

    Google Scholar 

  41. Delgrande, J., Schaub, T., Tompits, H., Wang, K.: A classification and survey of preference handling approaches in nonmonotonic reasoning. Comput. Intell. 20(12), 308–334 (2004)

    Article  MathSciNet  Google Scholar 

  42. Costantini, S., Formisano, A., Petturiti, D.: Extending and implementing RASP. Fundamenta Informaticae 105(1–2), 1–33 (2010)

    MATH  MathSciNet  Google Scholar 

  43. Costantini, S., Formisano, A.: Modeling preferences and conditional preferences on resource consumption and production in ASP. J. Algorithms Cogn. Inform. Logic 64(1), 3–15 (2009)

    MATH  MathSciNet  Google Scholar 

  44. Costantini, S., Tocchio, A.: About declarative semantics of logic-based agent languages. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 106–123. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  45. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9, 365–385 (1991)

    Article  Google Scholar 

  46. Niemelä, I.: Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25(3–4), 241–273 (1999)

    Article  MATH  Google Scholar 

  47. Marek, V.W., Truszczyński, M.: Stable logic programming - an alternative logic programming paradigm. In: Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S. (eds.) Logic Programming Paradigm, pp. 375–398. Springer, New York (1999)

    Chapter  Google Scholar 

  48. Costantini, S., Formisano, A., Petturiti, D.: Extending and implementing RASP. Fundam. Inform. 105(1–2), 1–33 (2010)

    MATH  MathSciNet  Google Scholar 

  49. Web-references: Some ASP solvers Clasp:  potassco.sourceforge.net; Cmodels: www.cs.utexas.edu/users/tag/cmodels; DLV: www.dbai.tuwien.ac.at/proj/dlv; Smodels: www.tcs.hut.fi/Software/smodels

  50. Calimeri, F., Ianni, G., Krennwallner, T., Ricca, F.: The answer set programming competition. AI Mag. 33(4), 114–118 (2012)

    Google Scholar 

  51. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374–425 (2001)

    Article  Google Scholar 

  52. Formisano, A., Petturiti, D.: Raspberry: an implementation of RASP (2010). http://www.dmi.unipg.it/~formis/raspberry/

  53. Heintz, F., Kvarnström, J., Doherty, P.: Bridging the sense-reasoning gap: Dyknow - stream-based middleware for knowledge processing. Adv. Eng. Inform. 24(1), 14–26 (2010)

    Article  Google Scholar 

  54. Costantini, S., De Gasperis, G.: Runtime self-checking via temporal (meta-)axioms for assurance of logical agent systems. In: Bulling, N., van der Hoek, W. (eds.) Proceedings of LAMAS 2014, 7th Workshop on Logical Aspects of Multi-Agent Systems, held at AAMAS 2014, pp. 241–255 (2014). Also in: Proceedings of the 29th Italian Conference on Computational Logic. CEUR Workshop Proceedings 1195

    Google Scholar 

  55. Costantini, S.: Knowledge acquisition via non-monotonic reasoning in distributed heterogeneous environments. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS, vol. 9345, pp. 228–241. Springer, Heidelberg (2015)

    Chapter  Google Scholar 

  56. Costantini, S., Gasperis, G.D.: Exchanging data and ontological definitions in multi-agent-contexts systems. In: Paschke, A., Fodor, P., Giurca, A., Kliegr, T. (eds.) RuleMLChallenge track, Proceedings. CEUR Workshop Proceedings, CEUR-WS.org (2015)

    Google Scholar 

  57. Montali, M., Calvanese, D., De Giacomo, G.: Specification and verification of commitment-regulated data-aware multiagent systems. In: Proceedings of AAMAS 2014 (2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Science and Engineering, and Mathematics (DISIM), University of L’Aquila, L’Aquila, Italy

    Stefania Costantini

Authors
  1. Stefania Costantini
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Stefania Costantini .

Editor information

Editors and Affiliations

  1. Torino, Italy

    Matteo Baldoni

  2. DEIB - Politecnico di Milano, Milano, Italy

    Luciano Baresi

  3. Dept. of Information& Computing Sciences, Utrecht, Utrecht, The Netherlands

    Mehdi Dastani

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Costantini, S. (2015). ACE: A Flexible Environment for Complex Event Processing in Logical Agents. In: Baldoni, M., Baresi, L., Dastani, M. (eds) Engineering Multi-Agent Systems. EMAS 2015. Lecture Notes in Computer Science(), vol 9318. Springer, Cham. https://doi.org/10.1007/978-3-319-26184-3_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-26184-3_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-26183-6

  • Online ISBN: 978-3-319-26184-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation