Programming Agent Deliberation Using Procedural Reflection

• Autorzy: Leask S. , Logan B.

Identyfikatory

DOI

10.3233/FI-2018-1643

• Języki publikacji: EN

Abstrakty

EN

A key advantage of BDI-based approaches to agent programming, is that agents can deliberate about which course of action to adopt to achieve a goal or respond to an event. However, while state-of-the-art BDI-based agent programming languages allow the programmer to specify the context(s) in which a particular plan is applicable, they are typically limited to a single, hardcoded, deliberation strategy for all task environments. In this paper, we present an alternative approach, in which an agent’s deliberation strategy forms part of the agent program. We show how both conventional agent programs and the agent’s deliberation strategy can be encoded in the agent programming language meta-APL. Key steps in the deliberation cycle of meta-APL are reflected in the state of the agent and can be queried and updated by meta-APL rules, allowing application-specific BDI deliberation strategies to be programmed in a straightforward way. To illustrate the flexibility of meta-APL, we show how three typical BDI deliberation strategies can be programmed using meta-APL rules. We then show how meta-APL can used to program a simple adaptive deliberation strategy that avoids interference between intentions.

Słowa kluczowe

EN

public administration; organizational governance; debate; deliberation; language

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2018
• Tom: Vol. 158, nr 1/3
• Strony: 93--120
• Opis fizyczny: Bibliogr. 34 poz.

Twórcy

autor

Leask S.

• School of Computer Science, University of Nottingham, Wollaton Road, Nottingham, NG8 1BB, UK

autor

Logan B.

• School of Computer Science, University of Nottingham, Wollaton Road, Nottingham, NG8 1BB, UK

Bibliografia

• [1] Georgeff MP, Pell B, Pollack ME, Tambe M, Wooldridge M. The Belief-Desire-Intention Model of Agency. In: Müller JP, Singh MP, Rao AS (eds.), Intelligent Agents V, Agent Theories, Architectures, and Languages, 5th International Workshop, (ATAL’98), Paris, France, July 4-7, 1998, Proceedings, volume 1555 of Lecture Notes in Computer Science. Springer, 1999 pp. 1-10. ISBN: 3-540-65713-4.
• [2] Alechina N, Dastani M, Logan B, Meyer JJC. Reasoning about agent deliberation. Autonomous Agents and Multi-Agent Systems, 2010;22(2):1-26.
• [3] Bordini RH, Hübner JF, Wooldridge M. Programming multi-agent systems in AgentSpeak using Jason. Wiley Series in Agent Technology. Wiley, 2007. ISBN: 0470029005.
• [4] Hindriks KV, de Boer FS, van der Hoek W, Meyer JJC. Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems, 1999;2(4):357-401. doi:10.1023/A:1010084620690.
• [5] des Rivières J, Smith BC. The implementation of procedurally reflective languages. In: Proceedings of the 1984 ACM Symposium on LISP and functional programming. ACM, New York, NY, USA, 1984 pp. 331-347. ISBN: 0-89791-142-3.
• [6] Smith BC. Reflection and semantics in Lisp. In: Proceedings of the Symposium on Principles of Programming Languages. ACM, 1984 pp. 23-35. doi:10.1145/800017.800513.
• [7] Georgeff MP, Lansky AL. Reactive reasoning and planning. In: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87). 1987 pp. 677-682.
• [8] Doan TT, Yao Y, Alechina N, Logan B. Verifying Heterogeneous Multi-Agent Programs. In: Lomuscio A, Scerri P, Bazzan A, Huhns M (eds.), Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014). IFAAMAS, Paris, France, 2014 pp. 149-156. ISBN: 978-1-4503-2738-1.
• [9] Doan TT. Meta-APL: A general language for agent programming. Phd thesis, School of Computer Science, University of Nottingham, Nottingham, UK, 2013.
• [10] Bordini R, Bazzan ALC, de O Jannone R, Basso DM, Vicari RM, Lesser VR. AgentSpeak(XL): Efficient Intention Selection in BDI Agents via Decision-Theoretic Task Scheduling. In: Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS’02). ACM Press, New York, NY, USA, 2002 pp. 1294-1302. ISBN: 1-58113-480-0.
• [11] Vikhorev K, Alechina N, Logan B. Agent programming with priorities and deadlines. In: Turner K, Yolum P, Sonenberg L, Stone P (eds.), Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). Taipei, Taiwan, 2011 pp. 397-404. ISBN: 0-9826571-5-3 978-0-9826571-5-7.
• [12] Madden N, Logan B. Modularity and compositionality in Jason. In: Braubach L, Briot JP, Thangarajah J (eds.), Programming Multi-Agent Systems: 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers, number 5919 in LNAI. Springer, Budapest, 2009 pp. 237-253. ISBN:978-3-642-14842-2.
• [13] Dastani M, van Riemsdijk MB, Meyer JJC. Programming Multi-Agent Systems in 3APL. In: Bordini RH, Dastani M, Dix J, Fallah-Seghrouchni AE (eds.), Multi-Agent Programming: Languages, Platforms and Applications, volume 15 of Multiagent Systems, Artificial Societies, and Simulated Organizations, pp. 39-67. Springer 2005. ISBN: 0-387-24568-5.
• [14] Winikoff M. JACK Intelligent Agents: An Industrial Strength Platform. In: Bordini RH, Dastani M, Dix J, Fallah Seghrouchni A (eds.), Multi-Agent Programming: Languages, Platforms and Applications, pp. 175-193. Springer. ISBN 978-0-387-26350-2, 2005.
• [15] Huber MJ. JAM: a BDI-Theoretic Mobile Agent Architecture. In: Proceedings of the Third Annual Conference on Autonomous Agents (AGENTS’99). ACM, New York, NY, USA. ISBN 1-58113-066-X, 1999 pp. 236-243. URL http://doi.acm.org/10.1145/301136.301202.
• [16] Dastani M. 2APL: a practical agent programming language. Autonomous Agents and Multi-Agent Systems, 2008;16(3):214-248. URL https://doi.org/10.1007/s10458-008-9036-y.
• [17] Thangarajah J, Harland J, Morley D, Yorke-Smith N. Aborting Tasks in BDI Agents. In: Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS’07). Honolulu, HI, 2007 pp. 8-15. doi:10.1145/1329125.1329133.
• [18] Visser S, Thangarajah J, Harland J, Dignum F. Preference-based reasoning in BDI agent systems. Autonomous Agents and Multi-Agent Systems, 2015 pp. 1-40. doi:10.1007/s10458-015-9288-2.
• [19] Thangarajah J, Padgham L, Winikoff M. Detecting & Avoiding Interference Between Goals in Intelligent Agents. In: Gottlob G, Walsh T (eds.), Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI-03). Morgan Kaufmann, Acapulco, Mexico, 2003 pp. 721-726. URL http://dl.acm.org/citation.cfm?id=1630659.1630764.
• [20] Yao Y, Logan B. Action-Level Intention Selection for BDI Agents. In: Thangarajah J, Tuyls K, Jonker C, Marsella S (eds.), Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016). IFAAMAS, IFAAMAS, Singapore, 2016 pp. 1227-1235.
• [21] Dastani M, de Boer F, Dignum F, Meyer JC. Programming agent deliberation: an approach illustrated using the 3APL language. In: Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003). ACM, 2003 pp. 97-104. doi:10.1145/860575.860592.
• [22] Leite JA, Alferes JJ, Pereira LM. MINERVA - A Dynamic Logic Programming Agent Architecture. In: Meyer JC, Tambe M (eds.), Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers, volume 2333 of Lecture Notes in Computer Science. Springer. 2002 pp. 141-157. ISBN: 3-540-43858-0. doi:10.1007/3-540-45448-9_11.
• [23] Sardiña S, de Silva L, Padgham L. Hierarchical planning in BDI agent programming languages: a formal approach. In: Nakashima H, Wellman MP, Weiss G, Stone P (eds.), Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006). ACM, Hakodate, Japan, 2006 pp. 1001-1008. doi:10.1145/1160633.1160813.
• [24] Thangarajah J, Padgham L. Computationally Effective Reasoning About Goal Interactions. Journal of Automated Reasoning, 2011;47(1):17-56. URL https://doi.org/10.1007/s10817-010-9175-0.
• [25] Waters M, Padgham L, Sardina S. Evaluating Coverage Based Intention Selection. In: Lomuscio A, Scerri P, Bazzan A, Huhns M (eds.), Proceedings of the 13th International Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2014). IFAAMAS. 2014 pp. 957-964. ISBN: 978-1-4503-2738-1.
• [26] Yao Y, Logan B, Thangarajah J. SP-MCTS-based Intention Scheduling for BDI Agents. In: Schaub T, Friedrich G, O’Sullivan B (eds.), Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014). ECCAI, IOS Press, Prague, Czech Republic, 2014 pp. 1133-1134.
• [27] Waters M, Padgham L, Sardiña S. Improving domain-independent intention selection in BDI systems. Autonomous Agents and Multi-Agent Systems, 2015;29(4):683-717. doi:10.1007/s10458-015-9293-5.
• [28] Decker KS, Lesser VR. Quantitative modeling of complex environments. International Journal of Intelligent Systems in Accounting, Finance and Management, 1993;2:215-234. doi:10.1002/j.1099-1174.1993.tb00044.x.
• [29] Wagner T, Garvey A, Lesser V. Criteria-Directed Heuristic Task Scheduling. International Journal of Approximate Reasoning, 1998;19:91-118. URL https://doi.org/10.1016/S0888-613X(98)10006-3.
• [30] Vincent R, Horling B, Lesser V, Wagner T. Implementing Soft Real-Time Agent Control. In: Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS’01). ACM Press, New York, NY, USA. 2001 pp. 355-362. ISBN: 1-58113-326-X.
• [31] Shaw PH, Bordini RH. Towards Alternative Approaches to Reasoning About Goals. In: Baldoni M, Son TC, van Riemsdijk MB, Winikoff M (eds.), Declarative Agent Languages and Technologies V, 5th International Workshop, volume 4897. Springer, Honolulu, HI, USA, 2007 pp. 104-121. URL https://doi.org/10.1007/978-3-540-77564-5_7.
• [32] Shaw PH, Bordini RH. An Alternative Approach for Reasoning about the Goal-Plan Tree Problem. In: Coelho H, Studer R, Wooldridge M (eds.), Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), volume 215. IOS Press, Lisbon, Portugal, 2010 pp. 1035-1036.
• [33] Pokahr A, Braubach L, Lamersdorf W. A Goal Deliberation Strategy for BDI Agent Systems. In: Eymann T, Klügl F, Lamersdorf W, Klusch M, Huhns MN (eds.), Multiagent System Technologies, Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings, volume 3550 of Lecture Notes in Computer Science. Springer. 2005 pp. 82-93. ISBN: 3-540-28740-X.
• [34] Doan TT, Alechina N, Logan B. The agent programming language meta-APL. In: Dennis LA, Boissier O, Bordini RH (eds.), Proceedings of the Ninth International Workshop on Programming Multi-Agent Systems (ProMAS 2011). Taipei, Taiwan, 2011 pp. 72-87.

Uwagi

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2018).