×

zbMATH — the first resource for mathematics

EVOLP: Tranformation-based semantics. (English) Zbl 1175.68463
Sadri, Fariba (ed.) et al., Computational logic in multi-agent systems. 8th international workshop, CLIMA VIII, Porto, Portugal, September 10–11, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-88832-1/pbk). Lecture Notes in Computer Science 5056. Lecture Notes in Artificial Intelligence, 117-136 (2009).
Summary: Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, it is not so easy to use in dynamic environments. Evolving Logic Programs (EVOLP) are an elegant and powerful extension of Logic Programming suitable for Multi-Agent Systems, planning and other uses where information tends to change dynamically. In this paper we characterize EVOLP by transforming it into an equivalent normal logic program over an extended language, that serves as a basis of an existing implementation. Then we prove that the proposed transformation is sound and complete and examine its computational complexity.
For the entire collection see [Zbl 1155.68010].

MSC:
68T42 Agent technology and artificial intelligence
68N17 Logic programming
PDF BibTeX Cite
Full Text: DOI
References:
[1] Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems. MIT Press, Cambridge (2000)
[2] Dix, J., Zhang, Y.: IMPACT: a multi-agent framework with declarative semantics. In: Bordini, et al. (eds.) [11], ch. 3
[3] Hindriks, K., de Boer, F., van der Hoek, W., Ch. Meyer, J.-J.: Agent programming in 3APL. Int. J. of Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999) · Zbl 05387414
[4] Dastani, M., van Riemsdijk, M.B., Ch.Meyer, J.-J.: Programming multi-agent systems in 3APL. In: Bordini, et al. (eds.) [11], ch. 2
[5] Bordini, R., Hübner, J., Vieira, R.: Jason and the Golden Fleece of agent-oriented programming. In: Bordini, et al. (eds.) [11], ch. 1
[6] 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) · Zbl 1014.68530
[7] Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Stathis, K.: Crafting the mind of a PROSOCS agent. Applied Artificial Intelligence 20(4-5) (2006) · Zbl 05386657
[8] Thielscher, M.: Reasoning Robots: The Art and Science of Programming Robotic Agents. Springer, Heidelberg (2005) · Zbl 1092.68101
[9] De Giacomo, G., Lesprance, Y., Levesque, H.J.: ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121(1-2), 109–169 (2000) · Zbl 0948.68175
[10] Mascardi, V., Martelli, M., Sterling, L.: Logic-based specification languages for intelligent software agents. Theory and Practice of Logic Programming 4(4), 429–494 (2004) · Zbl 1085.68131
[11] Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15. Springer, Heidelberg (2005) · Zbl 1101.68456
[12] Bordini, R.H., Braubach, L., Dastani, M., Seghrouchni, A.E.F., Gomez-Sanz, J.J., Leite, J., O’Hare, G., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multi-agent systems. Informatica 30(1), 33–44 (2006) · Zbl 1111.68373
[13] Sakama, C., Inoue, K.: Updating extended logic programs through abduction. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol. 1730. Springer, Heidelberg (1999) · Zbl 0952.68052
[14] Zhang, Y., Foo, N.Y.: Updating logic programs. In: Procs. of ECAI 1998. John Wiley & Sons, Chichester (1998)
[15] Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming 2(6) (2002) · Zbl 1105.68326
[16] Leite, J.A., Pereira, L.M.: Generalizing updates: From models to programs. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS (LNAI), vol. 1471. Springer, Heidelberg (1998)
[17] Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. The Journal of Logic Programming 45(1-3), 43–70 (2000) · Zbl 0957.68108
[18] Leite, J.A.: Evolving Knowledge Bases. IOS Press, Amsterdam (2003) · Zbl 1056.68138
[19] 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) · Zbl 1101.68862
[20] Leite, J.A.: On some differences between semantics of logic program updates. In: Lemaître, C., Reyes, C.A., González, J.A. (eds.) IBERAMIA 2004. LNCS (LNAI), vol. 3315, pp. 375–385. Springer, Heidelberg (2004)
[21] Homola, M.: Various semantics are equal on acyclic programs. In: Leite, J.A., Torroni, P. (eds.) Procs. of the 5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA V). LNCS, vol. 3487, pp. 78–95. Springer, Heidelberg (2004) · Zbl 1081.68685
[22] Alferes, J.J., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: LUPS – a language for updating logic programs. Artificial Intelligence 138(1&2) (June 2002) · Zbl 0995.68023
[23] Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: A framework for declarative update specifications in logic programs. In: IJCAI 2001, pp. 649–654. Morgan-Kaufmann, San Francisco (2001) · Zbl 1010.68709
[24] 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) · Zbl 1014.68534
[25] 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)
[26] Leite, J.A., Soares, L.: Adding evolving abilities to a multi-agent system. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 246–265. Springer, Heidelberg (2007) · Zbl 1177.68227
[27] Slota, M., Leite, J.A.: EVOLP: an implementation. In: Sadri, F., Satoh, K. (eds.) Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII) (2008); (System Description, in this volume) · Zbl 1175.68464
[28] Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Logic programming for evolving agents. In: Klusch, M., Omicini, A., Ossowski, S., Laamanen, H. (eds.) CIA 2003. LNCS (LNAI), vol. 2782, pp. 281–297. Springer, Heidelberg (2003)
[29] Banti, F., Alferes, J.J., Brogi, A.: Operational semantics for DyLPs. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol. 3808, pp. 43–54. Springer, Heidelberg (2005)
[30] Slota, M.: Transformational semantics and implementation of evolving logic programs. Master’s thesis, Univerzita Komenského (May 2007), http://slotik.info/
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.