Abstract
As we face the real possibility of modelling agent systems capable of non-deterministic self-evolution, we are confronted with the problem of having several different possible futures for any single agent. This issue brings the challenge of how to allow such evolving agents to be able to look ahead, prospectively, into such hypothetical futures, in order to determine the best courses of evolution from their own present, and thence to prefer amongst them. The concept of prospective logic programs is presented as a way to address such issues. We start by building on previous theoretical background, on evolving programs and on abduction, to construe a framework for prospection and describe an abstract procedure for its materialization. We take on several examples of modelling prospective logic programs that illustrate the proposed concepts and briefly discuss the ACORDA system, a working implementation of the previously presented procedure. We conclude by elaborating about current limitations of the system and examining future work scenaria.
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.
References
Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Abduction with hypotheses confirmation. In: IJCAI 2005. Proc. of the 19th Intl. Joint Conf. on Artificial Intelligence, pp. 1545–1546 (2005)
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)
Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. J. Logic Programming 45(1-3), 43–70 (2000)
Barata, J., Ribeiro, L., Onori, M.: Diagnosis on evolvable production systems. In: ISIE 2007. Procs. of the IEEE Intl. Symp. on Industrial Electronics, Vigo, Spain (forthcoming, 2007)
Castro, L., Swift, T., Warren, D.S.: XASP: Answer Set Programming with XSB and Smodels. http://xsb.sourceforge.net/packages/xasp.pdf
Dell’Acqua, P., Pereira, L.M.: Preferential theory revision. In: Pereira, L.M., Wheeler, G. (eds.) Procs. Computational Models of Scientific Reasoning and Applications, pp. 69–84 (2005)
Dell’Acqua, P., Pereira, L.M.: Preferential theory revision (ext.). J. Applied Logic (2007)
Dix, J.: A classification theory of semantics of normal logic programs: i. strong properties, ii. weak properties. Fundamenta Informaticae 22(3), 227–255, 257–288 (1995)
Kakas, A., Kowalski, R., Toni, F.: The role of abduction in logic programming. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 235–324. Oxford University Press, Oxford (1998)
Kowalski, R.: How to be artificially intelligent (2002-2006), http://www.doc.ic.ac.uk/~rak/
Kowalski, R.: The logical way to be artificially intelligent. In: Toni, F., Torroni, P. (eds.) Proceedings of CLIMA VI. LNCS (LNAI), pp. 1–22. Springer, Heidelberg (2006)
Kowalski, R.: Private communication (2007)
Lopes, G., Pereira, L.M.: Prospective logic programming with ACORDA. In: Sutcliffe, G., Schmidt, R., Schulz, S. (eds.) Procs. of the FLoC 2006 Ws. on Empirically Successful Computerized Reasoning, 3rd Intl. J. Conf. on Automated Reasoning, CEUR Workshop Procs., vol. 192 (2006)
Niemelä, I., Simons, P.: Smodels: An implementation of the stable model and well-founded semantics for normal logic programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 420–429. Springer, Heidelberg (1997)
Pereira, L.M., Saptawijaya, A.: Modelling morality with prospective logic. In: Neves, J.M., Santos, M.F., Machado, J.M. (eds.) EPIA 2007. Procs. 13th Portuguese Intl. Conf. on Artificial Intelligence. LNCS (LNAI), Springer, Heidelberg (2007)
Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence 94(1-2), 7–56 (1997)
Poole, D.: Abducing through negation as failure: Stable models within the independent choice logic. Journal of Logic Programming 44, 5–35 (2000)
Swift, T.: Tabling for non-monotonic programming. Annals of Mathematics and Artificial Intelligence 25(3-4), 201–240 (1999)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pereira, L.M., Lopes, G. (2007). Prospective Logic Agents. In: Neves, J., Santos, M.F., Machado, J.M. (eds) Progress in Artificial Intelligence. EPIA 2007. Lecture Notes in Computer Science(), vol 4874. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77002-2_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-77002-2_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77000-8
Online ISBN: 978-3-540-77002-2
eBook Packages: Computer ScienceComputer Science (R0)