Dynamics of declarative goals in agent programming

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

Volumn 3476 LNAI, Issue , 2005, Pages 1-18

  Birna Van Riemsdijk, M ^a   Dastani, Mehdi ^a   Dignum, Frank ^a   Meyer, John Jules Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; SOFTWARE AGENTS;

AGENT PROGRAMMING; GOAL DYNAMICS;

COMPUTER PROGRAMMING;

EID: 33645815884     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (21)

1. Wooldridge, M.: An introduction to multiagent systems. John Wiley and Sons, LTD, West Sussex (2002)
2. Newell, A.: The knowledge level. Artificial Intelligence 18 (1982) 87-127
3. Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3-4) (2002) 428-447
4. Dastani, M., van der Torre, L.: Programming BOID-Plan agents: deliberating about conflicts among defeasible mental attitudes and plans. In: Proceedings of the Third Conference on Autonomous Agents and Multi-agent Systems (AAMAS'04), New York, USA (2004) 706-713
5. Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In Allen, J., Fikes, R., Sandewall, E., eds.: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91), Morgan Kaufmann (1991) 473-484
6. Boutilier, C.: Toward a logic for qualitative decision theory. In: Proceedings of the KR'94. (1994) 75-86
7. van Riemsdijk, M.B., van der Hoek, W., Meyer, J.J.Ch.: Agent programming in Dribble: from beliefs to goals using plans. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AA-MAS'03), Melbourne (2003) 393-400
8. Dastani, M., van Riemsdijk, M.B., Dignum, F., Meyer, J.J.Ch.: A programming language for cognitive agents: goal directed 3APL. In: Programming multiagent systems, First International Workshop (ProMAS'03). LNAI 3067. Springer-Verlag, Berlin (2004) 111-130
9. Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In van der Velde, W., Perram, J., eds.: Agents Breaking Away (LNAI 1038), Springer-Verlag (1996) 42-55
10. Bellifemine, F., Poggi, A., Rimassa, G., Turci, P.: An object oriented framework to realize agent systems. In: Proceedings of WOA 2000 Workshop, WOA (2000) 52-57
11. Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and procedural goals in intelligent agent systems. In: Proceedings of the Eighth International Conference on Principles of Knowledge Respresentation and Reasoning (KR2002), Toulouse (2002)
12. Moreira, A.F., Vieira, R., Bordini, R.H.: Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication. In: Proceedings of the First International Workshop on Declarative Agent Languages and Technologies (DALT03). (2003) 129-145
13. Thangarajah, J., Padgham, L., Winikoff, M.: Detecting and exploiting positive goal interaction in intelligent agents. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'03), Melbourne (2003) 401-408
14. Fan, X., Yen, J., Miller, M.S., Volz, R.A.: The semantics of MALLET - an agent teamwork encoding language. In Proceedings of the Second International Workshop on Declarative Agent Languages and Technologies (DALT'04), LNCS 3476, Springer-Verlag (2005). In this volume.
15. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.J.Ch.: Agent programming with declarative goals. In: Intelligent Agents VI - Proceedings of the 7th International Workshop on Agent Theories, Architectures, and Languages (ATAL'2000). Lecture Notes in AI. Springer, Berlin (2001)
16. Dastani, M., de Boer, F.S., Dignum, F., Meyer, J.J.Ch.: Programming agent deliberation - an approach illustrated using the 3APL language. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'03), Melbourne (2003) 97-104
17. Konolige, K.: What awareness isn't: A sentential view of implicit and explicit belief. In Halpern, J.Y., ed.: Theoretical Aspects of Reasoning about Knowledge (TARK'86). (1986) 241-250
18. Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)
19. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42 (1990) 213-261
20. Clarke, E.M., Emerson, E.A,: Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Logic of Programs, Workshop, Springer-Verlag (1982) 52-71
21. Dignum, F., Conte, R.: Intentional agents and goal formation. In: Agent Theories, Architectures, and Languages. (1997) 231-243