Abstract
Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Programs (EVOLP), a simple though quite powerful extension of logic programming, which allows for modelling the dynamics of knowledge bases expressed by programs, and illustrate its usage in modelling agents whose specifications may dynamically change. From the syntactical point of view, evolving programs are just generalized logic programs (i.e. normal LPs plus default negation in rule heads too), extended with (possibly nested) assertions, whether in heads or bodies of rules. From the semantical point of view, a model-theoretic characterization is offered of the possible evolutions of such programs. These evolutions arise both from self (i.e. internal to the agent) updating, and from concomitant external updating originating in the environment. To illustrate the usage and power of EVOLP, and its ability to model agents’ specifications, we elaborate on variations in the modelling of a Personal Assistant Agent for e-mail management.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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, p. 50. Springer, Heidelberg (2002)
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) (2000)
Alferes, J.J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: LUPS: A language for updating logic programs. Artificial Intelligence 138(1–2) (2002)
Bergman, R., Griss, M., Staelin, C.: A personal email assistant. Technical Report HPL-2002-236, HP Labs Palo Alto (2002)
Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: A framework for declarative update specifications in logic programs. In: IJCA 2001. Morgan-Kaufmann, San Francisco (2001)
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)
Gelfond, M., Lifschitz, V.: The stable semantics for logic programs. In: ICLP 1988. MIT Press, Cambridge (1988)
Compuquest Inc. Spreadmsg, http://www.compuquestinc.com
Leite, J.A.: Evolving Knowledge Bases. IOS Press, Amsterdam (2003)
Lifschitz, V., Woo, T.: Answer sets in general non-monotonic reasoning (preliminary report). In: KR 1992. Morgan-Kaufmann, San Francisco (1992)
Caudex Services Ltd. Superscout email filter, http://www.caudexservices.co.uk
Niemelä, I., Simons, P.: Smodels: An implementation of the stable and wellfounded semantics for normal LP. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265. Springer, Heidelberg (1997)
De Schreye, D., Hermenegildo, M., Pereira, L.M.: Paving the roadmaps: Enabling and integration technologies (2000), Available from http://www.compulog.org
Spam-Filtering-Software.com. Spam agent, http://www.spam-filtering-software.com
Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems. MIT Press, Cambridge (2000)
XSB-Prolog. The, X.S.B.: logic programming system, version 2.0 (1999), http://www.cs.sunysb.edu/sbprolog
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M. (2003). Logic Programming for Evolving Agents. In: Klusch, M., Omicini, A., Ossowski, S., Laamanen, H. (eds) Cooperative Information Agents VII. CIA 2003. Lecture Notes in Computer Science(), vol 2782. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45217-1_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-45217-1_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40798-0
Online ISBN: 978-3-540-45217-1
eBook Packages: Springer Book Archive