plasp 3: Towards Effective ASP Planning

被引:9
|
作者
Dimopoulos, Yannis [1 ]
Gebser, Martin [2 ,3 ,4 ]
Luehne, Patrick [4 ]
Romero, Javier [4 ]
Schaub, Torsten [4 ,5 ]
机构
[1] Univ Cyprus, Nicosia, Cyprus
[2] Univ Klagenfurt, Klagenfurt, Austria
[3] Graz Univ Technol, Graz, Austria
[4] Univ Potsdam, Potsdam, Germany
[5] INRIA Rennes, Rennes, France
关键词
knowledge representation and nonmonotonic reasoning; technical notes and rapid communications; answer set programming; automated planning; action and change; ANSWER; SATISFIABILITY;
D O I
10.1017/S1471068418000583
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We describe the new version of the Planning Domain Definition Language (PDDL)-to-Answer Set Programming (ASP) translator plasp. First, it widens the range of accepted PDDL features. Second, it contains novel planning encodings, some inspired by Satisfiability Testing (SAT) planning and others exploiting ASP features such as well-foundedness. All of them are designed for handling multivalued fluents in order to capture both PDDL as well as SAS planning formats. Third, enabled by multishot ASP solving, it offers advanced planning algorithms also borrowed from SAT planning. As a result, plasp provides us with an ASP-based framework for studying a variety of planning techniques in a uniform setting. Finally, we demonstrate in an empirical analysis that these techniques have a significant impact on the performance of ASP planning.
引用
收藏
页码:477 / 504
页数:28
相关论文
共 50 条
  • [31] Towards Effective City Planning-The Case of Cape Town in Identifying Potential Housing Land
    Brown-Luthango M.
    Makanga P.
    Smit J.
    Urban Forum, 2013, 24 (2) : 189 - 203
  • [32] EFFECTIVE PLANNING WITH CPM
    HOROWITZ, J
    JOURNAL OF SYSTEMS MANAGEMENT, 1970, 21 (03): : 27 - 29
  • [33] PLANNING FOR EFFECTIVE RESULTS
    STANLEY, WJ
    MECHANICAL ENGINEERING, 1969, 91 (08) : 73 - &
  • [34] Planning for Effective Distribution
    IEEE Power and Energy Magazine, 2003, 1 (05): : 54 - 62
  • [35] PLANNING FOR EFFECTIVE TEACHING
    GOLDEN, HH
    AGRICULTURAL EDUCATION, 1969, 42 (04): : 96 - &
  • [36] Effective Tax Planning
    Schwab, Casey M.
    Stomberg, Bridget
    Williams, Brian M.
    ACCOUNTING REVIEW, 2022, 97 (01): : 413 - 437
  • [37] EFFECTIVE OFFICE PLANNING
    不详
    AMERICAN CITY & COUNTY, 1984, 99 (12) : 34 - 34
  • [38] PLANNING FOR EFFECTIVE EDUCATION
    MCNAMARA, JF
    JOURNAL OF EDUCATIONAL ADMINISTRATION, 1973, 11 (01): : 152 - 153
  • [39] EFFECTIVE PLANNING AND CONTROL
    HALL, TP
    CLINICAL CHEMISTRY, 1985, 31 (06) : 889 - 889
  • [40] Effective project planning
    Hansen, LY
    SOCIETY FOR TECHNICAL COMMUNICATION 44TH ANNUAL CONFERENCE, 1997 PROCEEDINGS, 1997, : 131 - 134