Skip to main content

Complex Reactivity with Preferences in Rule-Based Agents

  • Conference paper
Rules on the Web: Research and Applications (RuleML 2012)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7438))

Abstract

In this paper, we extend our previous work on complex reaction in rule-based logical agents. In particular, we introduce the possibility of defining and exploiting complex preferences for choosing the course of action to undertake in response to external events, also based upon a (simplified) form of modal reasoning and on sequences of past events.

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

Access this chapter

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 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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, pp. 1–13. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  2. 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 

  3. Tocchio, A.: Multi-Agent systems in computational logic. PhD thesis, Dipartimento di Informatica, Università degli Studi di L’Aquila (2005)

    Google Scholar 

  4. Costantini, S., D’Alessandro, S., Lanti, D., Tocchio, A.: Dali web site, download of the interpreter (2010), http://www.di.univaq.it/stefcost/Sito-Web-DALI/WEB-DALI/index.php

  5. Costantini, S.: The dali agent-oriented logic programming language: References (2012), http://www.di.univaq.it/stefcost/info.htm

  6. Costantini, S., Dell’Acqua, P., Tocchio, A.: Expressing preferences declaratively in logic-based agent languages. In: Proc. of Commonsense 2007, the 8th International Symposium on Logical Formalizations of Commonsense Reasoning. AAAI Press (2007); Event in honor of the 80th birthday of John McCarthy

    Google Scholar 

  7. 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 

  8. 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 Proceedings, Dagstuhl, Germany. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2011)

    Google Scholar 

  9. 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 

  10. Etzion, O.: Event processing - past, present and future. Proceedings of the VLDB Endowment, PVLDB Journal 3(2), 1651–1652 (2010)

    Google Scholar 

  11. Paschke, A., Vincent, P., Springer, F.: Standards for Complex Event Processing and Reaction Rules. In: Palmirani, M. (ed.) RuleML - America 2011. LNCS, vol. 7018, pp. 128–139. Springer, Heidelberg (2011)

    Google Scholar 

  12. Vincent, P.: Event-Driven Rules: Experiences in CEP. In: Olken, F., et al. (eds.) RuleML - America 2011. LNCS, vol. 7018, p. 11. Springer, Heidelberg (2011)

    Google Scholar 

  13. 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 

  14. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365–385 (1991)

    Article  Google Scholar 

  15. Marek, V.W., Truszczyński, M.: Stable logic programming - An alternative logic programming paradigm. In: 25 years of Logic Programming Paradigm, pp. 375–398. Springer (1999)

    Google Scholar 

  16. Gelfond, M.: Answer sets. In: Handbook of Knowledge Representation. Elsevier (2007)

    Google Scholar 

  17. Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press (2003)

    Google Scholar 

  18. Leone, N.: Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, p. 1. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  19. 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 

  20. Eiter, T., Brewka, G., Dao-Tran, M., Fink, M., Ianni, G., Krennwallner, T.: Combining Nonmonotonic Knowledge Bases with External Sources. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS, vol. 5749, pp. 18–42. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  21. Boley, H.: The RuleML Family of Web Rule Languages (Revised Selected Papers). In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 1–17. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  22. 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 

  23. Costantini, S.: Defining and maintaining agent’s experience in logical agents. In: Proc. of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, vol. 804, pp. 151–165 (2011); also in the Informal Proc. of the LPMAS ”Logic Programming for Multi-Agent Systems” Workshop at ICLP 2011

    Google Scholar 

  24. Kowalski, R., Sadri, F.: Towards a Unified Agent Architecture that Combines Rationality with Reactivity. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol. 1154, pp. 135–149. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  25. Hallden, S.: On the logic of better. Library of Theoria, No. 2 Lund: Library of Theoria. Cambridge University Press (1957)

    Google Scholar 

  26. von Wright, G.H.: The logic of preference. Edinburgh University Press (1963)

    Google Scholar 

  27. van Benthem, J., Girard, P., Roy, O.: Everything else being equal: A modal logic for ceteris paribus preferences. J. Philos. Logic 38, 83–125 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  28. Liu, F.: Von Wright “the logic of preference” revisited. Synthese 175(1), 69–88 (2009)

    Article  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  30. Brewka, G., Niemelä, I., Truszczyński, M.: Preferences and nonmonotonic reasoning. AI Magazine 29(4) (2008)

    Google Scholar 

  31. Dastani, M.M., Governatori, G., Rotolo, A., van der Torre, L.W.N.: Programming Cognitive Agents in Defeasible Logic. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol. 3835, pp. 621–636. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  32. Costantini, S., Formisano, A.: Modeling preferences and conditional preferences on resource consumption and production in ASP. Journal of of Algorithms in Cognition, Informatics and Logic 64(1) (2009)

    Google Scholar 

  33. Costantini, S., Formisano, A.: Weight Constraints with Preferences in ASP. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 229–235. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  34. Costantini, S., Formisano, A.: Augmenting weight constraints with complex preferences. In: Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, USA. AAAI Press (2011)

    Google Scholar 

  35. Brewka, G.: Complex preferences for answer set optimization. In: Dubois, D., Welty, C.A., Williams, M.A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), Whistler, Canada, June 2-5, pp. 213–223 (2004)

    Google Scholar 

  36. McCarthy, J.: Elaboration tolerance. In: Proc. of Common Sense 1998 (1998), http://www-formal.stanford.edu/jmc/elaboration.html

  37. Costantini, S., Dell’Acqua, P., Pereira, L.M., Toni, F.: Meta-axioms and complex preferences in evolving logical agents. In: Proc. of 15th Portuguese Conference on Artificial Intelligence (2011); also in the Informal Proc. of the LPMAS ”Logic Programming for Multi-Agent Systems” Workshop at ICLP 2011

    Google Scholar 

  38. Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2), 181–234 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  39. Costantini, S., Formisano, A.: Answer set programming with resources. Journal of Logic and Computation 20(2), 533–571 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  40. Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell. 172(12-13), 1495–1539 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  41. Eiter, T., Ianni, G., Krennwallner, T., Polleres, A.: Rules and ontologies for the semantic web. In: Baroglio, C., Bonatti, P.A., Małuszyński, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web 2008. LNCS, vol. 5224, pp. 1–53. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  42. Costantini, S.: Temporal meta-axioms in logical agents (submitted)

    Google Scholar 

  43. Bevar, V., Muccini, H., Costantini, S., Gasperis, G.D., Tocchio, A.: The DALI Logic Programming Agent-Oriented Language. In: Proc. of the 10th Conference on Practical Applications of Agents and Multi-Agent Systems. AISC. Springer (in press, 2012), Paper and demo

    Google Scholar 

  44. Bracciali, A., Demetriou, N., Endriss, U., Kakas, A.C., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G., Toni, F.: The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS (LNAI), vol. 3267, pp. 340–367. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  45. Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: Proc. ECAI 2004 (2004)

    Google Scholar 

  46. Stathis, K., Toni, F.: Ambient Intelligence Using KGP Agents. In: Markopoulos, P., Eggen, B., Aarts, E., Crowley, J.L. (eds.) EUSAI 2004. LNCS, vol. 3295, pp. 351–362. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  47. 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, pp. 50–61. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  48. Costantini, S.: Memory, experience and adaptation in logical agents (submitted)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Costantini, S., De Gasperis, G. (2012). Complex Reactivity with Preferences in Rule-Based Agents. In: Bikakis, A., Giurca, A. (eds) Rules on the Web: Research and Applications. RuleML 2012. Lecture Notes in Computer Science, vol 7438. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32689-9_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-32689-9_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-32688-2

  • Online ISBN: 978-3-642-32689-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics