Integrating Answer Set Programming with Semantic Dictionaries for Robot Task Planning

被引:0
|
作者
Lu, Dongcai [1 ]
Zhou, Yi [2 ]
Wu, Feng [1 ]
Zhang, Zhao [1 ]
Chen, Xiaoping [1 ]
机构
[1] Univ Sci & Technol China, Sch Comp Sci & Technol, Hefei, Peoples R China
[2] Univ Western Sydney, Sch Comp Engn & Math, Sydney, NSW, Australia
基金
中国国家自然科学基金;
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In this paper, we propose a novel integrated task planning system for service robots in domestic domains. Given open-ended high-level user instructions in natural language, robots need to generate a plan, i.e., a sequence of low-level executable actions, to complete the required tasks. To address this, we exploit the knowledge on semantic roles of common verbs defined in semantic dictionaries such as FrameNet and integrate it with Answer Set Programming - a task planning framework with both representation language and solvers. In the experiments, we evaluated our approach using common benchmarks on service tasks and showed that it can successfully handle much more tasks than the state-of-the-art solution. Notably, we deployed the proposed planning system on our service robot for the annual RoboCup@Home competitions and achieved very encouraging results.
引用
收藏
页码:4361 / 4367
页数:7
相关论文
共 50 条
  • [1] Planning in answer set programming using ordered task decomposition
    Dix, J
    Kuter, U
    Nau, D
    [J]. KI 2003: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2003, 2821 : 490 - 504
  • [2] Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
    Rizwan, Momina
    Patoglu, Volkan
    Erdem, Esra
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (06) : 1006 - 1020
  • [3] Semantic forgetting in answer set programming
    Eiter, Thomas
    Wang, Kewen
    [J]. ARTIFICIAL INTELLIGENCE, 2008, 172 (14) : 1644 - 1672
  • [4] Answer set programming for the semantic web
    Eiter, Thomas
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 23 - 26
  • [5] Integrating answer set programming and constraint logic programming
    Mellarkod, Veena S.
    Gelfond, Michael
    Zhang, Yuanlin
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2008, 53 (1-4) : 251 - 287
  • [6] Integrating answer set programming and constraint logic programming
    Veena S. Mellarkod
    Michael Gelfond
    Yuanlin Zhang
    [J]. Annals of Mathematics and Artificial Intelligence, 2008, 53 : 251 - 287
  • [7] Integrating Temporal Extensions of Answer Set Programming
    Aguado, Felicidad
    Perez, Gilberto
    Vidal, Concepcion
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 23 - 35
  • [8] Integrating description logics and answer set programming
    Heymans, S
    Vermeir, D
    [J]. PRINCIPLES AND PRACTICE OF SEMANTIC WEB REASONING, 2003, 2901 : 146 - 159
  • [9] Integrating ontology languages and answer set programming
    Heymans, S
    Vermeir, D
    [J]. 14TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2003, : 584 - 588
  • [10] Explainable Planning Using Answer Set Programming
    Van Nguyen
    Vasileiou, Stylianos Loukas
    Son, Tran Cao
    Yeoh, William
    [J]. KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 662 - 666