{"type":"ScholarlyArticle","title":"An Operational Semantics for a Fragment of PRS","authors":[{"name":"Lavindra de Silva","slug":"lavindra-de-silva","given":"Lavindra","family":"de Silva","affiliation":"Institute for Advanced Manufacturing , University of Nottingham , Nottingham , UK"},{"name":"Felipe Meneguzzi","slug":"felipe-meneguzzi","given":"Felipe","family":"Meneguzzi","affiliation":"Pontifical Catholic University of Rio Grande do Sul , Porto Alegre , Brazil"},{"name":"Brian Logan","slug":"brian-logan","given":"Brian","family":"Logan","affiliation":"School of Computer Science , University of Nottingham , Nottingham , UK"}],"abstract":"The Procedural Reasoning System (PRS) is arguably the first implementation of the Belief--Desire--Intention (BDI) approach to agent programming. PRS remains extremely influential, directly or indirectly inspiring the development of subsequent BDI agent programming languages. However, perhaps surprisingly given its centrality in the BDI paradigm, PRS lacks a formal operational semantics, making it difficult to determine its expressive power relative to other agent programming languages. This paper takes a first step towards closing this gap, by giving a formal semantics for a significant fragment of PRS. We prove key properties of the semantics relating to PRS-specific programming constructs, and show that even the fragment of PRS we consider is strictly more expressive than the plan constructs found in typical BDI languages.","doi":"10.24963/ijcai.2018/27","url":"https://ijcai.org/proceedings/2018/27","pdf":"https://ijcai.org/proceedings/2018/0027.pdf","markdown":"https://ijcai.org/proceedings/2018/27.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/27","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Agent-based and Multi-agent Systems","track":"Main track","number":27,"pages":{"first":195,"last":202},"keywords":["Agent-based and Multi-agent Systems: Agent Theories and Models","Agent-based and Multi-agent Systems: Engineering Methods, Platforms, Languages and Tools"],"videos":[],"references":[{"position":1,"raw":"[Alami et al., 1998] R. Alami, R. Chatila, S. Fleury, M. Ghallab, and F. Ingrand. An architecture for autonomy. The International Journal of Robotics Research (IJRR), 17(4):315-337, 1998.","title":"An architecture for autonomy","authors":"R Alami, R Chatila, S Fleury, M Ghallab, F Ingrand","year":"1998","venue":"The International Journal of Robotics Research (IJRR)","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Bratman, 1987","title":null,"authors":"Bratman","year":"1987","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"M. E. Bratman. Intention, Plans, and Prac- tical Reason. Harvard University Press, 1987.","title":"Intention, Plans, and Practical Reason","authors":"M E Bratman","year":"1987","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Busetta et al., 1999] P. Busetta, R. Rönnquist, A. Hodgson, and A. Lucas. Jack intelligent agents -components for intelligent agents in Java. Technical report, Agent Oriented Software, 1999.","title":"Jack intelligent agents -components for intelligent agents in Java","authors":"P Busetta, R Rönnquist, A Hodgson, A Lucas","year":"1999","venue":"Agent Oriented Software","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Dastani et al., 2011] M. Dastani, M. B. van Riemsdijk, and M. Winikoff. Rich goal types in agent programming. In Proc. of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 405-412, 2011.","title":"Rich goal types in agent programming","authors":"M Dastani, M B Van Riemsdijk, M Winikoff","year":"2011","venue":"Proc. of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[de Silva, 2017] L. de Silva. BDI agent reasoning with guid- ance from HTN recipes. In Proc. of the International Con- ference on Autonomous Agents and Multiagent Systems (AAMAS), pages 759-767, 2017.","title":"BDI agent reasoning with guidance from HTN recipes","authors":"L Silva","year":"2017","venue":"Proc. of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Foughali et al., 2016] M. Foughali, B. Berthomieu, S. Dal Zilio, F. Ingrand, and A. Mallet. Model checking real-time properties on the functional layer of autonomous robots. In Proc. of the International Conference on Formal Engineering Methods (ICFEM), pages 383-399, 2016.","title":"Model checking real-time properties on the functional layer of autonomous robots","authors":"M Foughali, B Berthomieu, S Zilio, F Ingrand, A Mallet","year":"2016","venue":"Proc. of the International Conference on Formal Engineering Methods (ICFEM)","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Georgeff and Ingrand, 1989] M. P. Georgeff and F. F. In- grand. Decision-making in an embedded reasoning sys- tem. In Proc. of the International Joint Conference on Ar- tificial Intelligence (IJCAI), pages 972-978, 1989.","title":"Ingrand. Decision-making in an embedded reasoning system","authors":"M P Georgeff, F F","year":"1989","venue":"Proc. of the International Joint Conference on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Georgeff and Lansky, 1986] M. P. Georgeff and A. L. Lan- sky. A system for reasoning in dynamic domains: Fault diagnosis on the Space Shuttle. Technical Report 375, Ar- tificial Intelligence Center, SRI International, 1986.","title":"A system for reasoning in dynamic domains: Fault diagnosis on the Space Shuttle","authors":"M P Georgeff, A L Lansky","year":"1986","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Georgeff and Lansky, 1987] M. P. Georgeff and A. L. Lan- sky. Reactive reasoning and planning. In Proc. of the Na- tional Conference on Artificial Intelligence (AAAI), pages 677-682, 1987.","title":"Reactive reasoning and planning","authors":"M P Georgeff, A L Lansky","year":"1987","venue":"Proc. of the National Conference on Artificial Intelligence (AAAI)","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Ghallab et al., 2016] M. Ghallab, D. Nau, and P. Traverso. Automated Planning and Acting. Cambridge University Press, 2016.","title":"Automated Planning and Acting","authors":"M Ghallab, D Nau, P Traverso","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Huber, 1999] M. J. Huber. JAM: a BDI-theoretic mobile agent architecture. In Proc. of the Annual Conference on Autonomous Agents, pages 236-243, 1999.","title":"JAM: a BDI-theoretic mobile agent architecture","authors":"M J Huber","year":"1999","venue":"Proc. of the Annual Conference on Autonomous Agents","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Ingrand et al., 1996] F. F. Ingrand, R. Chatila, R. Alami, and F. Robert. PRS: A high level supervision and control lan- guage for autonomous mobile robots. In Proc. of the Inter- national Conference on Robotics and Automation (ICRA), pages 43-49, 1996.","title":"PRS: A high level supervision and control language for autonomous mobile robots","authors":"F F Ingrand, R Chatila, R Alami, F Robert","year":"1996","venue":"Proc. of the International Conference on Robotics and Automation (ICRA)","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Ingrand, 1991] F. F. Ingrand. OPRS Development Environ- ment Version 1.1b7, 1991. Last updated January 2014. https://git.openrobots.org/projects/openprs.","title":"OPRS Development Environment Version","authors":"F F Ingrand","year":"1991","venue":"OPRS Development Environment Version","doi":null,"url":"https://git.openrobots.org/projects/openprs","internal_url":null},{"position":15,"raw":"[Lemaignan et al., 2017] S. Lemaignan, M. Warnier, E. A. Sisbot, A. Clodic, and R. Alami. Artificial cognition for social human-robot interaction: An implementation. Arti- ficial Intelligence, 247:45 -69, 2017.","title":"Artificial cognition for social human-robot interaction: An implementation","authors":"S Lemaignan, M Warnier, E A Sisbot, A Clodic, R Alami","year":"2017","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Morley and Myers, 2004] D. Morley and K. Myers. The SPARK agent framework. In Proc. of the International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 714-721, 2004.","title":"The SPARK agent framework","authors":"D Morley, K Myers","year":"2004","venue":"Proc. of the International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Niemueller et al., 2017] T. Niemueller, F. Zwilling, G. Lakemeyer, M. Löbach, S. Reuter, S. Jeschke, and A. Ferrein. Cyber-Physical System Intelligence, pages 447-472. Springer International Publishing, 2017.","title":"Cyber-Physical System Intelligence","authors":"T Niemueller, F Zwilling, G Lakemeyer, M Löbach, S Reuter, S Jeschke, A Ferrein","year":"2017","venue":null,"doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Plotkin, 1981] G. D. Plotkin. A structural approach to oper- ational semantics. Technical report, University of Aarhus, 1981.","title":"A structural approach to operational semantics","authors":"G D Plotkin","year":"1981","venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Rao, 1996] A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In Proc. of the Eu- ropean Workshop on Modelling Autonomous Agents in a Multi-Agent World, pages 42-55. Springer-Verlag, 1996.","title":"L): BDI agents speak out in a logical computable language","authors":"A S Rao, Agentspeak","year":"1996","venue":"Proc. of the European Workshop on Modelling Autonomous Agents in a Multi-Agent World","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Sardina and Padgham, 2011] S. Sardina and L. Padgham. A BDI agent programming language with failure handling, declarative goals, and planning. Autonomous Agents and Multi-Agent Systems, 23(1):18-70, 2011.","title":"A BDI agent programming language with failure handling, declarative goals, and planning","authors":"S Sardina, L Padgham","year":"2011","venue":"Autonomous Agents and Multi-Agent Systems","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Sardina et al., 2006] S. Sardina, L. de Silva, and L. Padgham. Hierarchical planning in BDI agent programming languages: A formal approach. In Proc. of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 1001-1008, 2006.","title":"Hierarchical planning in BDI agent programming languages: A formal approach","authors":"S Sardina, L Silva, L Padgham","year":"2006","venue":"Proc. of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Thangarajah et al., 2011] J. Thangarajah, J. Harland, D. Morley, and N. Yorke-Smith. Operational behaviour for executing, suspending and aborting goals in BDI agent systems. In Proc. of the International Workshop on Declarative Agent Languages and Technologies (DALT), pages 1-21. Springer, 2011.","title":"Operational behaviour for executing, suspending and aborting goals in BDI agent systems","authors":"J Thangarajah, J Harland, D Morley, N Yorke-Smith","year":"2011","venue":"Proc. of the International Workshop on Declarative Agent Languages and Technologies (DALT)","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Thangarajah et al., 2014] J. Thangarajah, J. Harland, D. Morley, and N. Yorke-Smith. An operational semantics for the goal life-cycle in BDI agents. Autonomous Agents and Multi-Agent Systems, 28(4):682-719, 2014.","title":"An operational semantics for the goal life-cycle in BDI agents","authors":"J Thangarajah, J Harland, D Morley, N Yorke-Smith","year":"2014","venue":"Autonomous Agents and Multi-Agent Systems","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[van Riemsdijk et al., 2009] M. B. van Riemsdijk, M. Das- tani, and J-J. Ch. Meyer. Goals in conflict: Semantic foundations of goals in agent programming. Autonomous Agents and Multi-Agent Systems, 18(3):471-500, 2009.","title":"Goals in conflict: Semantic foundations of goals in agent programming","authors":"M B Van Riemsdijk, M Dastani, J-J Ch, Meyer","year":"2009","venue":"Autonomous Agents and Multi-Agent Systems","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Winikoff et al., 2002] M. Winikoff, L. Padgham, J. Harland, and J. Thangarajah. Declarative & procedural goals in in- telligent agent systems. In Proc. of the International Con- ference on Principles of Knowledge Representation and Reasoning (KR), pages 470-481, 2002.","title":"Declarative & procedural goals in intelligent agent systems","authors":"M Winikoff, L Padgham, J Harland, J Thangarajah","year":"2002","venue":"Proc. of the International Conference on Principles of Knowledge Representation and Reasoning (KR)","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}