Abstract
This paper provides a framework based on temporal defeasible logic to reason about deliberative rule-based cognitive agents. Compared to previous works in this area our framework has the advantage that it can reason about temporal rules. We show that for rule-based cognitive agents deliberation is more than just deriving conclusions in terms of their mental components. Our paper is an extension of [5,6] in the area of cognitive agent programming.
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
Bordini, R.H., Bazzan, A.L.C., de O. Jannone, R., Jannone, O., Basso, D.M., Vicari, R.M., Lesser, V.R.: Agentspeak(xl): efficient intention selection in BDI agents via decision-theoretic task scheduling. In: Alonso, E., Kudenko, D., Kazakov, D. (eds.) AAMAS 2000 and AAMAS 2002. LNCS (LNAI), vol. 2636, pp. 1294–1302. Springer, Heidelberg (2003)
Bratman, M.E.: Intentions, Plans and Practical Reason. Harvard University Press (1987)
Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cog. Sc. Quart. 2, 428–447 (2002)
Dastani, M., de Boer, F., Dignum, F., Meyer, J.-J.: Programming agent deliberation. In: AAMAS 2003, pp. 91–104. ACM Press, New York (2003)
Dastani, M., Governatori, G., Rotolo, A., van der Torre, L.: Preferences of agents in defeasible logic. In: Zhang, S., Jarvis, R. (eds.) AI 2005. LNCS (LNAI), vol. 3809, pp. 695–704. Springer, Heidelberg (2005)
Dastani, M., Governatori, G., Rotolo, A., van der Torre, L.: Programming cognitive agents in defeasible logic. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol. 3835, pp. 621–636. Springer, Heidelberg (2005)
Dastani, M., van der Torre, L.W.N.: Programming BOID-plan agents: Deliberating about conflicts among defeasible mental attitudes and plans. In: Kudenko, D., Kazakov, D., Alonso, E. (eds.) AAMAS 2004. LNCS (LNAI), vol. 3394, pp. 706–713. Springer, Heidelberg (2005)
Dastani, M., van Riemsdijk, B., Dignum, F., Meyer, J.-J.: A programming language for cognitive agents: Goal directed 3APL. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 111–130. Springer, Heidelberg (2004)
d’Avila Garcez, A.S., Lamb, L.C.: Reasoning about time and knowledge in neural symbolic learning systems. In: Thrun, S., Saul, L., Schölkopf, B. (eds.) Advances in Neural Information Processing Systems 16, MIT Press, Cambridge (2004)
Governatori, G., Palmirani, M., Riveret, R., Rotolo, A., Sartor, G.: Norm modifications in defeasible logic. In: JURIX 2005, pp. 13–22. IOS Press, Amsterdam (2005)
Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: ICAIL, pp. 25–34. ACM Press, New York (2005)
Hindriks, K.V., De Boer, F.S., van der Hoek, W., Meyer, J.-J.: Agent programming in 3(apl). Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999)
Inverno, M.D., Luck, M.: Engineering agentspeak(l): A formal computational model. Journal of Logic and Computation 8, 1–27 (1998)
Rao, A.S.: Agentspeak(L): BDI agents speak out in a logical computable language. Technical report, Australian Artificial Intelligence Institute (1996)
van Riemsdijk, M.B., Dastani, M., Meyer, J.-J.: Semantics of declarative goals in agent programming. In: AAMAS 2005, pp. 133–140. ACM Press, New York (2005)
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
Governatori, G., Padmanabhan, V., Rotolo, A. (2006). Rule-Based Agents in Temporalised Defeasible Logic. In: Yang, Q., Webb, G. (eds) PRICAI 2006: Trends in Artificial Intelligence. PRICAI 2006. Lecture Notes in Computer Science(), vol 4099. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-36668-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-36668-3_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36667-6
Online ISBN: 978-3-540-36668-3
eBook Packages: Computer ScienceComputer Science (R0)