Rule-based agents in temporalised defeasible logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4099 LNAI, Issue , 2006, Pages 31-40

  Governatori, Guido ^a   Padmanabhan, Vineet ^a   Rotolo, Antonino ^b  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE SYSTEMS; COMPUTER PROGRAMMING; FORMAL LOGIC; INTELLIGENT AGENTS;

COGNITIVE AGENT PROGRAMMING; COGNITIVE AGENTS;

KNOWLEDGE BASED SYSTEMS;

EID: 33749564373     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11801603_6     Document Type: Conference Paper

References (15)

1. R.H. Bordini, A.L. C. Bazzan, R. de O. Jannone, D.M. Basso, R.M. Vicari, and V.R. Lesser. Agentspeak(xl): efficient intention selection in BDI agents via decision-theoretic task scheduling. In AAMAS'02, pp. 1294-1302, 2002.
2. M.E. Bratman. Intentions, Plans and Practical Reason. Harvard University Press, 1987.
3. I. Broersen, M. Dastani, J. Hulstijn, and L. van der Torre. Goal generation in the BOID architecture. Cog. Sc. Quart., 2:428-447, 2002.
4. M. Dastani, F. de Boer, F. Dignum, and J.-J. Meyer. Programming agent deliberation. In AAMAS'03, pp. 91-104, ACM Press, 2003.
5. M. Dastani, G. Governatori, A. Rotolo, and L. van der Torre. Preferences of agents in defeasible logic. In Australian AI05, pp. 695-704. Springer, 2005.
6. M. Dastani, G. Governatori, A. Rotolo, and L. van der Torre. Programming cognitive agents in defeasible logic. In LPAR 2005, pp. 621-636. Springer, 2005.
7. M. Dastani and L.W.N. van der Torre. Programming BOID-plan agents: Deliberating about conflicts among defeasible mental attitudes and plans. In AAMAS 2004, pp. 706-713, 2004.
8. M. Dastani, B. van Riemsdijk, F. Dignum, and J.-J. Meyer. A programming language for cognitive agents: Goal directed 3APL. In ProMAS'03, pp. 111-130. Springer, 2003.
9. A.S. d'Avila Garcez and L.C. Lamb. Reasoning about time and knowledge in neural symbolic learning systems. In Sebastian Thrun, Lawrence saul, and Bernhard Schö lkopf, editors, Advances in Neural Information Processing Systems 16. MIT Press, 2004.
10. G. Governatori, M. Palmirani, R. Riveret, A. Rotolo, and G. Sartor. Norm modifications in defeasible logic. In JURIX05, pp. 13-22. IOS Press, 2005.
11. G. Governatori, A. Rotolo, and G. Sartor. Temporalised normative positions in defeasible logic. In ICAIL, pp. 25-34. ACM Press 2005.
12. K.V. Hindriks, F.S. De Boer, Hoek W. van der, and J.-J. Meyer. Agent programming in 3(apl). Autonomous Agents and Multi-Agent Systems, 2(4):357-401, 1999.
13. M.D. Inverno and M. Luck. Engineering agentspeak(l): A formal computational model. Journal of Logic and Computation, 8:1-27, 1998.
14. A.S. Rao. Agentspeak(L): BDI agents speak out in a logical computable language. Technical report, Australian Artificial Intelligence Institute, 1996.
15. M. Birna van Riemsdijk, M. Dastani, and J.-J. Meyer. Semantics of declarative goals in agent programming. In AAMAS 2005, pp. 133-140. ACM Press, 2005.