{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T10:09:02Z","timestamp":1760609342465,"version":"build-2065373602"},"reference-count":44,"publisher":"MDPI AG","issue":"2","license":[{"start":{"date-parts":[[2021,2,17]],"date-time":"2021-02-17T00:00:00Z","timestamp":1613520000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U1613216,61573333"],"award-info":[{"award-number":["U1613216,61573333"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Future Internet"],"abstract":"<jats:p>This paper presents a planning system based on semantic reasoning for a general-purpose service robot, which is aimed at behaving more intelligently in domains that contain incomplete information, under-specified goals, and dynamic changes. First, Two kinds of data are generated by Natural Language Processing module from the speech: (i) action frames and their relationships; (ii) the modifier used to indicate some property or characteristic of a variable in the action frame. Next, the task\u2019s goals are generated from these action frames and modifiers. These goals are represented as AI symbols, combining world state and domain knowledge, which are used to generate plans by an Answer Set Programming solver. Finally, the plan\u2019s actions are executed one by one, and continuous sensing grounds useful information, which makes the robot use contingent knowledge to adapt to dynamic changes and faults. For each action in the plan, the planner gets its preconditions and effects from domain knowledge, so during the execution of the task, the environmental changes, especially those conflict with the actions, not only the action being performed but also the subsequent actions, can be detected and handled as early as possible. A series of case studies are used to evaluate the system and verify its ability to acquire knowledge through dialogue with users, solve problems with the acquired causal knowledge, and plan for complex tasks autonomously in the open world.<\/jats:p>","DOI":"10.3390\/fi13020049","type":"journal-article","created":{"date-parts":[[2021,2,17]],"date-time":"2021-02-17T21:35:42Z","timestamp":1613597742000},"page":"49","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Semantic Task Planning for Service Robots in Open Worlds"],"prefix":"10.3390","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5424-7437","authenticated-orcid":false,"given":"Guowei","family":"Cui","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, University of Science and Technology of China, Hefei 230026, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Shuai","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, University of Science and Technology of China, Hefei 230026, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoping","family":"Chen","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, University of Science and Technology of China, Hefei 230026, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2021,2,17]]},"reference":[{"key":"ref_1","unstructured":"Jiang, Y., Walker, N., Hart, J.W., and Stone, P. (2019, January 11\u201315). Open-World Reasoning for Service Robots. Proceedings of the International Conference on Automated Planning and Scheduling, Berkeley, CA, USA."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/j.artint.2015.08.008","article-title":"Robot Task Planning and Explanation in Open and Uncertain Worlds","volume":"247","author":"Hanheide","year":"2017","journal-title":"Artif. Intell."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/j.robot.2019.01.007","article-title":"Semantic reasoning in service robots using expert systems","volume":"114","author":"Savage","year":"2019","journal-title":"Robot. Auton. Syst."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D., and Traverso, P. (2004). Automated Planning: Theory and Practice, Morgan Kaufmann Publishers Inc.","DOI":"10.1016\/B978-155860856-6\/50021-1"},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Gelfond, M., and Kahl, Y. (2014). Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach, Cambridge University Press.","DOI":"10.1017\/CBO9781139342124"},{"key":"ref_6","unstructured":"Sridharan, M., and Gelfond, M. (2021, February 17). Using Knowledge Representation and Reasoning Tools in the Design of Robots. Available online: http:\/\/ceur-ws.org\/Vol-1648\/paper12.pdf."},{"key":"ref_7","unstructured":"Stenmark, M., and Malec, J. (2021, February 17). Connecting Natural Language to Task Demonstrations and Low-Level Control of Industrial Robots. Available online: http:\/\/ceur-ws.org\/Vol-1540\/paper_05.pdf."},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Chen, K., Lu, D., Chen, Y., Tang, K., Wang, N., and Chen, X. (2014, January 19\u201325). The Intelligent Techniques in Robot KeJia - The Champion of RoboCup@Home 2014. Proceedings of the RoboCup 2014: Robot World Cup XVIII, Joao Pessoa, Brazil.","DOI":"10.1007\/978-3-319-18615-3_11"},{"key":"ref_9","unstructured":"Chen, X., Ji, J., Jiang, J., Jin, G., Wang, F., and Xie, J. (2010, January 10\u201314). Developing high-level cognitive functions for service robots. Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, ON, Canada."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"100","DOI":"10.5898\/JHRI.1.2.Chen","article-title":"Toward Open Knowledge Enabling for Human-Robot Interaction","volume":"1","author":"Chen","year":"2013","journal-title":"J. Hum. Robot Interact."},{"key":"ref_11","unstructured":"Chen, K., Yang, F., and Chen, X. (2016, January 9\u201315). Planning with Task-Oriented Knowledge Acquisition for a Service Robot. Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, New York, NY, USA."},{"key":"ref_12","unstructured":"Abukhalil, T.Y., Patil, M., and Sobh, T.M. (2021, February 17). UBSwarm: Design of a Software Environment to Deploy Multiple Decentralized Robots. Available online: https:\/\/scholarworks.bridgeport.edu\/xmlui\/bitstream\/handle\/123456789\/546\/Tame_Poster_ASEE_2014.pdf?sequence=3&isAllowed=y."},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Shank, R.C., and Tesler, L. (1969, January 1\u20134). A Conceptual Dependency Parser for Natural Language. Proceedings of the Third International Conference on Computational Linguistics, Stockholm, Sweden.","DOI":"10.3115\/990403.990405"},{"key":"ref_14","unstructured":"Culbert, C., Riley, G., and Donnell, B. (1989). CLIPS Reference Manual."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1080\/09540091.2014.968093","article-title":"Using a cognitive architecture for general purpose service robot control","volume":"27","author":"Puigbo","year":"2015","journal-title":"Connect. Sci."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Laird, J.E. (2012). The Soar Cognitive Architecture, The MIT Press.","DOI":"10.7551\/mitpress\/7688.001.0001"},{"key":"ref_17","unstructured":"Roveda, L., Spahiu, B., and Terkaj, W. (2019, January 16\u201319). On the Proposal of a Unified Safety Framework for Industry 4.0 Multi-Robot Scenario. Proceedings of the 27th Italian Symposium on Advanced Database Systems, Castiglione Della Pescaia, Grosseto, Italy."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Antonelli, D., and Bruno, G. (2017). Ontology-Based Framework to Design a Collaborative Human-Robotic Workcell. Working Conference on Virtual Enterprises, Springer.","DOI":"10.1007\/978-3-319-65151-4_16"},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"Talamadupula, K., Benton, J., Schermerhorn, P.W., Kambhampati, S., and Scheutz, M. (2010, January 11\u201315). Integrating a Closed World Planner with an Open World Robot: A Case Study. Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, GA, USA.","DOI":"10.1609\/aaai.v24i1.7575"},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1869397.1869403","article-title":"Planning for human-robot teaming in open worlds","volume":"1","author":"Talamadupula","year":"2010","journal-title":"ACM Trans. Intell. Syst. Technol."},{"key":"ref_21","unstructured":"Petrick, R.P.A., and Bacchus, F. (2002, January 23\u201327). A Knowledge-Based Approach to Planning with Incomplete Information and Sensing. Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, Toulouse, France."},{"key":"ref_22","unstructured":"Thomason, J., Zhang, S., Mooney, R.J., and Stone, P. (2015, January 25\u201331). Learning to Interpret Natural Language Commands through Human-Robot Dialog. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina."},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Sanelli, V., Cashmore, M., Magazzeni, D., and Iocchi, L. (2017, January 18\u201323). Short-Term Human-Robot Interaction through Conditional Planning and Execution. Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, Pittsburgh, PA, USA.","DOI":"10.1609\/icaps.v27i1.13864"},{"key":"ref_24","doi-asserted-by":"crossref","unstructured":"Brenner, M., and Nebel, B. (2006, January 27\u201328). Continual Planning and Acting in Dynamic Multiagent Environments. Proceedings of the 2006 International Symposium on Practical Cognitive Agents and Robots, Perth, Australia.","DOI":"10.1145\/1232425.1232431"},{"key":"ref_25","unstructured":"Brenner, M., Hawes, N., Kelleher, J.D., and Wyatt, J.L. (2007, January 6\u201312). Mediating between Qualitative and Quantitative Representations for Task-Orientated Human-Robot Interaction. Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India."},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Brenner, M. (2007, January 26\u201329). Situation-Aware Interpretation, Planning and Execution of User Commands by Autonomous Robots. Proceedings of the 16th IEEE International Symposium on Robot and Human Interactive Communication, Jeju Island, Korea.","DOI":"10.1109\/ROMAN.2007.4415145"},{"key":"ref_27","unstructured":"Lu, D., Wu, F., and Chen, X. (2016). Understanding User Instructions by Utilizing Open Knowledge for Service Robots. arXiv, Available online: https:\/\/arxiv.org\/pdf\/1606.02877.pdf."},{"key":"ref_28","unstructured":"Hoffmann, J., and Brafman, R.I. (2005, January 5\u201310). Contingent Planning via Heuristic Forward Search with Implicit Belief States. Proceedings of the Fifteenth International Conference on International Conference on Automated Planning and Scheduling, Monterey, CA, USA."},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Son, T.C., Tu, P.H., and Baral, C. (2004). Planning with Sensing Actions and Incomplete Information Using Logic Programming. International Conference on Logic Programming and Nonmonotonic Reasoning, Springer.","DOI":"10.1007\/978-3-540-24609-1_23"},{"key":"ref_30","first-page":"1","article-title":"Interactively Learning Strategies for Handling References to Unseen or Unknown Objects","volume":"5","author":"Mininger","year":"2016","journal-title":"Adv. Cogn. Syst."},{"key":"ref_31","doi-asserted-by":"crossref","unstructured":"Cashmore, M., Fox, M., Long, D., Magazzeni, D., Ridder, B., Carrera, A., Palomeras, N., Hurt\u00f3s, N., and Carreras, M. (2015, January 7\u201311). ROSPlan: Planning in the Robot Operating System. Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, Jerusalem, Israel.","DOI":"10.1609\/icaps.v25i1.13699"},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","article-title":"PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains","volume":"20","author":"Fox","year":"2003","journal-title":"J. Artif. Intell. Res."},{"key":"ref_33","unstructured":"Petrick, R.P.A., and Gaschler, A. (2021, February 17). Extending Knowledge-Level Contingent Planning for Robot Task Planning. Available online: https:\/\/mediatum.ub.tum.de\/doc\/1281539\/file.pdf."},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1109\/TSMCA.2010.2076404","article-title":"Ontology-Based Unified Robot Knowledge for Service Robots in Indoor Environments","volume":"41","author":"Lim","year":"2011","journal-title":"IEEE Trans. Syst. Man Cybern. Syst. Hum."},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"986","DOI":"10.1109\/TRO.2013.2256686","article-title":"Active Visual Object Search in Unknown Environments Using Uncertain Semantics","volume":"29","author":"Aydemir","year":"2013","journal-title":"IEEE Trans. Robot."},{"key":"ref_36","doi-asserted-by":"crossref","unstructured":"Zhang, S., Khandelwal, P., and Stone, P. (2017, January 4\u20139). Dynamically Constructed (PO)MDPs for Adaptive Robot Planning. Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, San Francisco, CA, USA.","DOI":"10.1609\/aaai.v31i1.11042"},{"key":"ref_37","unstructured":"Zhang, S., Sridharan, M., Gelfond, M., and Wyatt, J.L. (2014, January 27\u201329). Towards an Architecture for Knowledge Representation and Reasoning in Robotics. Proceedings of the Social Robotics - 6th International Conference, ICSR 2014, Sydney, Australia."},{"key":"ref_38","doi-asserted-by":"crossref","unstructured":"Blount, J., Gelfond, M., and Balduccini, M. (2015, January 27\u201330). A Theory of Intentions for Intelligent Agents. Proceedings of the International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, Lexington, KY, USA.","DOI":"10.1007\/978-3-319-23264-5_12"},{"key":"ref_39","doi-asserted-by":"crossref","unstructured":"Srivastava, S., Zilberstein, S., Gupta, A., Abbeel, P., and Russell, S.J. (2015, January 25\u201330). Tractability of Planning with Loops. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, TX, USA.","DOI":"10.1609\/aaai.v29i1.9658"},{"key":"ref_40","unstructured":"Al-Moadhen, A. (2015). Semantic Based Task Planning for Domestic Service Robots. [Ph.D. Thesis, Cardiff University]."},{"key":"ref_41","unstructured":"Gelfond, M., and Lifschitz, V. (1988, January 15\u201319). The Stable Model Semantics for Logic Programming. Proceedings of the Fifth International Conference and Symposium, Seattle, WA, USA."},{"key":"ref_42","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., and Schaub, T. (2014). Clingo = ASP + Control: Preliminary Report. arXiv, Available online: https:\/\/arxiv.org\/pdf\/1405.3694."},{"key":"ref_43","unstructured":"Klein, D., and Manning, C.D. (2002, January 9\u201314). Fast Exact Inference with a Factored Model for Natural Language Parsing. Proceedings of the Advances in Neural Information Processing Systems 15, Vancouver, BC, Canada."},{"key":"ref_44","unstructured":"(2021, February 17). Universal Dependencies. Available online: http:\/\/universaldependencies.org\/docsv1\/u\/dep\/index.html."}],"container-title":["Future Internet"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1999-5903\/13\/2\/49\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T05:25:12Z","timestamp":1760160312000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1999-5903\/13\/2\/49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,17]]},"references-count":44,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2021,2]]}},"alternative-id":["fi13020049"],"URL":"https:\/\/doi.org\/10.3390\/fi13020049","relation":{},"ISSN":["1999-5903"],"issn-type":[{"type":"electronic","value":"1999-5903"}],"subject":[],"published":{"date-parts":[[2021,2,17]]}}}