{"type":"ScholarlyArticle","title":"Refinement of Intentions","authors":[{"name":"Zhanhao Xiao","slug":"zhanhao-xiao","given":"Zhanhao","family":"Xiao","affiliation":"IRIT , University of Toulouse , France; AIRG , Western Sydney University , Australia"}],"abstract":"The aim of this paper is to provide a logical analysis of intention refinement process which plays a fundamental role in the belief-desire-intention (BDI) theory. We briefly show the existing results: a logical framework for intention refinement and the extension of hierarchical task network (HTN) planning to capture high-level intentions. We also present two ongoing directions: extending our logical framework with hierarchical decomposition and revision of intentions based on instrumentality.","doi":"10.24963/ijcai.2017/771","url":"https://ijcai.org/proceedings/2017/771","pdf":"https://ijcai.org/proceedings/2017/0771.pdf","markdown":"https://ijcai.org/proceedings/2017/771.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/771","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Doctoral Consortium","track":"Doctoral Consortium","number":771,"pages":{"first":5223,"last":5224},"keywords":["Artificial Intelligence: artificial intelligence","Artificial Intelligence: planning","Artificial Intelligence: knowledge representation"],"videos":[],"references":[{"position":1,"raw":"[Alford et al., 2015] Ron Alford, Pascal Bercher, and David W Aha. Tight bounds for HTN planning with task insertion. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-15), 2015.","title":"Tight bounds for HTN planning with task insertion","authors":"Ron Alford, Pascal Bercher, David W Aha","year":"2015","venue":"Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-15)","doi":null,"url":null,"internal_url":"/proceedings/2015/215"},{"position":2,"raw":"[Bratman, 2009] Michael E. Bratman. Intention, belief, and instrumental rationality. In David Sobel and Steven Wall, editors, Reasons for action, pages 13-36. Cambridge Uni- versity Press, 2009.","title":"Intention, belief, and instrumental rationality","authors":"E Michael, Bratman","year":"2009","venue":"Reasons for action","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Cohen and Levesque, 1990] Philip R. Cohen and Hector J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(2):213-261, 1990.","title":"Intention is choice with commitment","authors":"Philip R Cohen, Hector J Levesque","year":"1990","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Erol et al., 1994] Kutluhan Erol, James A. Hendler, and Dana S. Nau. HTN planning: Complexity and expressiv- ity. In Proceedings of the 12th National Conference on Artificial Intelligence (AAAI), pages 1123-1128, 1994.","title":"HTN planning: Complexity and expressivity","authors":"Erol","year":"1994","venue":"Proceedings of the 12th National Conference on Artificial Intelligence (AAAI)","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Geier and Bercher, 2011] Thomas Geier and Pascal Bercher. On the decidability of HTN planning with task insertion. In Proceedings of the 21st International Joint Conference on Artificial Intelligence, pages 1955-1961, 2011.","title":"On the decidability of HTN planning with task insertion","authors":"Bercher Geier, Thomas Geier, Pascal Bercher","year":"2011","venue":"Proceedings of the 21st International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2011/327"},{"position":6,"raw":"[Herzig et al., 2016a] Andreas Herzig, Laurent Perrussel, and Zhanhao Xiao. On hierarchical task networks. In Pro- ceedings of the 15th European Conference on Logics in Artificial Intelligence, pages 551-557, 2016.","title":"On hierarchical task networks","authors":"Herzig","year":"2016","venue":"Proceedings of the 15th European Conference on Logics in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Herzig et al., 2016b] Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, and Dongmo Zhang. Refinement of in- tentions. In Proceedings of the 15th European Conference on Logics in Artificial Intelligence, pages 558-563, 2016.","title":"Refinement of intentions","authors":"Herzig","year":"2016","venue":"Proceedings of the 15th European Conference on Logics in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Rao and Georgeff, 1991] Anand S. Rao and Michael P. Georgeff. Modeling rational agents within a BDI- architecture. In Proceedings of the 2nd International Con- ference on Principles of Knowledge Representation and Reasoning (KR), pages 473-484, 1991.","title":"Modeling rational agents within a BDIarchitecture","authors":"Anand S Rao, Michael P Georgeff","year":"1991","venue":"Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR)","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Shapiro et al., 2012] Steven Shapiro, Sebastian Sardina, John Thangarajah, Lawrence Cavedon, and Lin Padgham. Revising conflicting intention sets in BDI agents. In Proceedings of the 11th International Conference on Au- tonomous Agents and Multiagent Systems (AAMAS), pages 1081-1088, 2012.","title":"Revising conflicting intention sets in BDI agents","authors":"Steven Shapiro, Sebastian Sardina, John Thangarajah, Lawrence Cavedon, Lin Padgham","year":"2012","venue":"Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Shoham, 2009] Yoav Shoham. Logical theories of intention and the database perspective. Journal of Philosophical Logic, 38(6):633-647, 2009.","title":"Logical theories of intention and the database perspective","authors":"Yoav Shoham","year":"2009","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Xiao et al., 2017] Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, and Xiaoheng Su. Hierarchical task network planning with task insertion and state constraints. In (IJCAI -17), to appear, 2017.","title":"Hierarchical task network planning with task insertion and state constraints","authors":"Xiao","year":"2017","venue":"IJCAI -17)","doi":null,"url":null,"internal_url":"/proceedings/2017/623"},{"position":12,"raw":"[Zee et al., 2015] Marc van Zee, Dragan Doder, Mehdi Das- tani, and Leendert van der Torre. AGM revision of beliefs about action and time. In Proceedings of the 24th Interna- tional Joint Conference on Artificial Intelligence (IJCAI), pages 3250-3256, 2015.","title":"AGM revision of beliefs about action and time","authors":"Dragan Marc Van Zee, Mehdi Doder, Leendert Dastani, Van Der Torre","year":"2015","venue":"Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":"/proceedings/2015/458"}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}