Advertisement

Complex Reactivity with Preferences in Rule-Based Agents

  • Stefania Costantini
  • Giovanni De Gasperis
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Keywords

Logic Program Logic Programming Preference List Nonmonotonic Reasoning Logical Agent 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)CrossRefGoogle Scholar
  2. 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)CrossRefGoogle Scholar
  3. 3.
    Tocchio, A.: Multi-Agent systems in computational logic. PhD thesis, Dipartimento di Informatica, Università degli Studi di L’Aquila (2005)Google Scholar
  4. 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. 5.
    Costantini, S.: The dali agent-oriented logic programming language: References (2012), http://www.di.univaq.it/stefcost/info.htm
  6. 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 McCarthyGoogle Scholar
  7. 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)CrossRefGoogle Scholar
  8. 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. 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)CrossRefGoogle Scholar
  10. 10.
    Etzion, O.: Event processing - past, present and future. Proceedings of the VLDB Endowment, PVLDB Journal 3(2), 1651–1652 (2010)Google Scholar
  11. 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. 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. 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. 14.
    Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365–385 (1991)CrossRefGoogle Scholar
  15. 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. 16.
    Gelfond, M.: Answer sets. In: Handbook of Knowledge Representation. Elsevier (2007)Google Scholar
  17. 17.
    Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press (2003)Google Scholar
  18. 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)CrossRefGoogle Scholar
  19. 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)CrossRefGoogle Scholar
  20. 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)CrossRefGoogle Scholar
  21. 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)CrossRefGoogle Scholar
  22. 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)CrossRefGoogle Scholar
  23. 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 2011Google Scholar
  24. 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)CrossRefGoogle Scholar
  25. 25.
    Hallden, S.: On the logic of better. Library of Theoria, No. 2 Lund: Library of Theoria. Cambridge University Press (1957)Google Scholar
  26. 26.
    von Wright, G.H.: The logic of preference. Edinburgh University Press (1963)Google Scholar
  27. 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)MathSciNetMATHCrossRefGoogle Scholar
  28. 28.
    Liu, F.: Von Wright “the logic of preference” revisited. Synthese 175(1), 69–88 (2009)CrossRefGoogle Scholar
  29. 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)MathSciNetCrossRefGoogle Scholar
  30. 30.
    Brewka, G., Niemelä, I., Truszczyński, M.: Preferences and nonmonotonic reasoning. AI Magazine 29(4) (2008)Google Scholar
  31. 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)CrossRefGoogle Scholar
  32. 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. 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)CrossRefGoogle Scholar
  34. 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. 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. 36.
    McCarthy, J.: Elaboration tolerance. In: Proc. of Common Sense 1998 (1998), http://www-formal.stanford.edu/jmc/elaboration.html
  37. 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 2011Google Scholar
  38. 38.
    Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2), 181–234 (2002)MathSciNetMATHCrossRefGoogle Scholar
  39. 39.
    Costantini, S., Formisano, A.: Answer set programming with resources. Journal of Logic and Computation 20(2), 533–571 (2010)MathSciNetMATHCrossRefGoogle Scholar
  40. 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)MathSciNetMATHCrossRefGoogle Scholar
  41. 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)CrossRefGoogle Scholar
  42. 42.
    Costantini, S.: Temporal meta-axioms in logical agents (submitted)Google Scholar
  43. 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 demoGoogle Scholar
  44. 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)CrossRefGoogle Scholar
  45. 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. 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)CrossRefGoogle Scholar
  47. 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)CrossRefGoogle Scholar
  48. 48.
    Costantini, S.: Memory, experience and adaptation in logical agents (submitted)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Stefania Costantini
    • 1
  • Giovanni De Gasperis
    • 1
  1. 1.Dip. di Ingegneria e Scienze dell’Informazione e Matematica (DISIM)Università di L’AquilaL’AquilaItaly

Personalised recommendations