Abstract
In this paper we cope with providing an approach to declarative semantics of logic-based agent-oriented languages, taking then as a case-study the language DALI which has been previously defined by the authors. This “evolutionary semantics” does not resort to a concept of state: rather, it models reception of events as program transformation steps, that produce a “program evolution” and a corresponding “semantic evolution”. Communication among agents and multi-agent systems is also taken into account. The aim is that of modeling agent’s evolution according to either external (environmental) or internal changes in a logical way, thus allowing in principle the adoption of formal verification methods. We also intend to create a common ground for relating and comparing different approaches/languages.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Barklund, J., Costantini, S., Dell’Acqua, P., Lanzarone, G.A.: Reflection Principles in Computational Logic. J. of Logic and Computation 10(6) (December 2000)
Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R., Subrahmanian, V.S.: Heterogeneous Agent Systems. MIT Press, Cambridge (2000)
Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., 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, vol. 3267, pp. 340–367. Springer, Heidelberg (2005)
Bratman, M.E., Israel, D.J., Pollack, M.E.: Plans and resource-bounded practical reasoning. Computational Intelligence 4, 349–355 (1988)
Clark, K.L., McCabe, G.: Go! A multi-paradigm programming language for implementing multi- threaded agents. Annals of Mathematics and Artificial Intelligence 41, 171–206 (2004)
Costantini, S.: Towards active logic programming. In: Brogi, A., Hill, P. (eds.) Proc. of 2nd International Workshop on component-based Software Development in Computational Logic (COCL 1999) Available, http://www.di.unipi.it/brogi/ResearchActivity/COCL99/proceedings/index.html.
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)
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)
Costantini, S., Tocchio, A., Verticchio, A.: A Game-Theoretic Operational Semantics for the DALI Communication Architecture. In: Proc. of WOA 2004, Turin, Italy (December 2004), ISBN 88-371-1533- 4
Costantini, S., Tocchio, A., Verticchio, A.: Communication and Trust in the DALI Logic Programming Agent-Oriented Language. In: Cadoli, M., Milano, M., Omicini, A. (eds.) Italian J. of Artificial Intelligence (March 2005)
d’Inverno, M., Hindriks, K., Luck, M.: A formal architecture for the 3APL agent programming language. In: Jonathan, P.B., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol. 1878, pp. 168–187. Springer, Heidelberg (2000)
FIPA, Communicative Act Library Specification, Technical Report XC00037H, Foundation for Intelligent Physical Agents, August 10 (2001)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the Fifth Joint International Conference and Symposium, pp. 1070–1080. The MIT Press, Cambridge (1988)
Kowalski, R.A.: How to be Artificially Intelligent - the Logical Way, Draft, Available, http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/rak.html (revised February 2004)
Kowalski, R.A., Sadri, F.: Towards a unified agent architecture that combines rationality with reactivity. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol. 1154, Springer, Heidelberg (1996)
Kowalski, R.A., Sadri, F.: An Agent Architecture that Unifies Rationality with Reactivity. Department of Computing, Imperial College (1997)
Lloyd, J.W.: Foundations of Logic Programming (1987)
Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS(LNAI), vol. 1038, pp. 42–55. Springer, Heidelberg (1996)
Rao, A.S., Georgeff, M.: BDI Agents: from theory to practice. In: Proc. of the First Int. Conf. on Multi-Agent Systems (ICMAS 1995), San Francisco, CA, pp. 312–319 (1995)
Tocchio, A.: Multi-Agent sistems in computational logic, Ph.D. Thesis, Dipartimento di Informatica, Universitá degli Studi di L’Aquila (2005)
Van der Hoeve, E.C., Dastani, M., Dignum, F., Meyer, J.-J.: 3APL Platform. In: Proc. of the The 15th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2003), held in Nijmegen, The Netherlands (2003)
Van Gelder, A., Ross, K.A., Schlipf, J.: The well-founded semantics for general logic programs. J. of the ACM 38(3), 620–650 (1990)
Wooldridge, M., Jennings, N.R.: Intelligent agents: Theory and practice. Knowl. Eng. Rev. 10(2), 115–152 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Costantini, S., Tocchio, A. (2006). About Declarative Semantics of Logic-Based Agent Languages. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds) Declarative Agent Languages and Technologies III. DALT 2005. Lecture Notes in Computer Science(), vol 3904. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11691792_7
Download citation
DOI: https://doi.org/10.1007/11691792_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33106-3
Online ISBN: 978-3-540-33107-0
eBook Packages: Computer ScienceComputer Science (R0)