Advertisement

Abstract

In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that use logic rules and rule updates and exhibit characteristics that make them suitable to be used for knowledge representation and reasoning within Agent Oriented Programming Languages. We illustrate the power of these rule based languages by means of examples showing how several of its features can be used to model situations faced by Agents.

Keywords

Logic Program Knowledge Representation Logic Programming Stable Model Open Door 
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.
    Alferes, J.J., Banti, F., Brogi, A.: From logic programs updates to action description updates. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 52–77. Springer, Heidelberg (2005)Google Scholar
  2. 2.
    Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: The refined extension principle for semantics of dynamic logic programming. Studia Logica 79(1), 7–32 (2005)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: 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
  4. 4.
    Alferes, J.J., Gabaldon, A., Leite, J.: Evolving logic programming based agents with temporal operators. In: IAT, pp. 238–244. IEEE, Los Alamitos (2008)Google Scholar
  5. 5.
    Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.: Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming 45(1-3), 43–70 (2000)zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Banti, F., Alferes, J.J., Brogi, A.: Well founded semantics for logic program updates. In: Lemaître, C., Reyes, C.A., González, J.A. (eds.) IBERAMIA 2004. LNCS (LNAI), vol. 3315, pp. 397–407. Springer, Heidelberg (2004)Google Scholar
  7. 7.
    Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  8. 8.
    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. Springer, Heidelberg (2005)zbMATHGoogle Scholar
  9. 9.
    Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E. (eds.): Multi-Agent Programming: Languages, Tools and Applications. Springer, Heidelberg (2009)zbMATHGoogle Scholar
  10. 10.
    Brewka, G.: Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press, Cambridge (1991)zbMATHGoogle Scholar
  11. 11.
    Brooks, D.R., Erdem, E., Erdogan, S.T., Minett, J.W., Ringe, D.: Inferring phylogenetic trees using answer set programming. J. Autom. Reasoning 39(4), 471–511 (2007)zbMATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Garcia de la Banda, M., Pontelli, E. (eds.): ICLP 2008. LNCS, vol. 5366. Springer, Heidelberg (2008)zbMATHGoogle Scholar
  13. 13.
    Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: A framework for declarative update specifications in logic programs. In: Nebel, B. (ed.) IJCAI, pp. 649–654. Morgan Kaufmann, San Francisco (2001)Google Scholar
  14. 14.
    Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM Trans. Database Syst. 22(3), 364–418 (1997)CrossRefGoogle Scholar
  15. 15.
    Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren, D., Szeredi, P. (eds.) Proceedings of the 7th international conference on logic programming, pp. 579–597. MIT Press, Cambridge (1990)Google Scholar
  16. 16.
    Hindriks, K.V.: Programming rational agents in goal. In: Bordini, et al. (eds.) [9], ch. 3Google Scholar
  17. 17.
    Leite, J., Alferes, J.J., Mito, B.: Resource allocation with answer-set programming. In: Sierra, C., Castelfranchi, C., Decker, K.S., Sichman, J.S. (eds.) AAMAS (1), IFAAMAS, pp. 649–656 (2009)Google Scholar
  18. 18.
    Leite, J., Soares, L.: Evolving characters in role playing games. In: Trappl, R. (ed.) Cybernetics and Systems, Proceedings of the 18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), vol. 2, pp. 515–520. Austrian Society for Cybernetic Studies (2006)Google Scholar
  19. 19.
    Leite, J.A.: Evolving Knowledge Bases. IOS Press, Amsterdam (2003)zbMATHGoogle Scholar
  20. 20.
    Leone, N., Greco, G., Ianni, G., Lio, V., Terracina, G., Eiter, T., Faber, W., Fink, M., Gottlob, G., Rosati, R., Lembo, D., Lenzerini, M., Ruzzi, M., Kalka, E., Nowicki, B., Staniszkis, W.: The infomix system for advanced integration of incomplete and inconsistent data. In: Özcan, F. (ed.) SIGMOD Conference, pp. 915–917. ACM, New York (2005)Google Scholar
  21. 21.
    Lifschitz, V.: Answer set programming and plan generation. Artificial Intelligence 138(1-2), 39–54 (2002)zbMATHCrossRefMathSciNetGoogle Scholar
  22. 22.
    Lifschitz, V., Woo, T.Y.C.: Answer sets in general non-monotonic reasoning (preliminary report). In: Nebel, B., Rich, C., Swartout, W. (eds.) Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR 1992), pp. 603–614. Morgan Kaufmann, San Francisco (1992)Google Scholar
  23. 23.
    Makinson, D.: Bridges from Classical to Nonmonotonic Logic. College Publications (2005)Google Scholar
  24. 24.
    Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An a-prolog decision support system for the space shuttle. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 169–183. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  25. 25.
    Slota, M., Leite, J.: Evolp: An implementation. In: Sadri, F., Satoh, K. (eds.) CLIMA VIII 2007. LNCS (LNAI), vol. 5056, pp. 288–298. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  26. 26.
    Tiihonen, J., Soininen, T., Niemelä, I., Sulonen, R.: A practical tool for mass-customising configurable products. In: Proceedings of the 14th International Conference on Engineering Design, pp. 1290–1299 (2003)Google Scholar
  27. 27.
    van Gelder, A., Ross, K.A., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. Journal of the ACM 38(3), 620–650 (1991)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • João Leite
    • 1
  1. 1.CENTRIAUniversidade Nova de LisboaPortugal

Personalised recommendations