Optimal Planning with Expressive Action Languages as Constraint Optimization

被引：0
|
作者：
Giunchiglia, Enrico [1 ]
Tacchella, Armando [1 ]
机构：
[1] Univ Genoa, DIBRIS, Causa 13, I-16145 Genoa, Italy
来源：
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023 | 2023年 / 14281卷
关键词：
SATISFIABILITY;
D O I：
10.1007/978-3-031-43619-2_42
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We consider the problem of optimal planning in deterministic domains specified with expressive action languages. We show how it is possible to reduce such problem to finding an optimal solution of a constraint optimization problem incorporating a bound n on the maximum length of the plan. By solving the latter, we can conclude whether (i) the plan found is optimal even for bounds greater than n; or (ii) we need to increase n; or (iii) it is useless to increase n since the planning problem has no solution.
引用
收藏
页码：621 / 637
页数：17
相关论文
共 50 条
  • [1] Relational expressive power of constraint query languages
    Benedikt, M
    Dong, GZ
    Libkin, L
    Wong, LS
    [J]. JOURNAL OF THE ACM, 1998, 45 (01) : 1 - 34
  • [2] Expressive Optimal Temporal Planning via Optimization Modulo Theory
    Panjkovic, Stefan
    Micheli, Andrea
    [J]. THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 10, 2023, : 12095 - 12102
  • [3] CONSTRAINT LANGUAGES FOR COMBINATORIAL OPTIMIZATION
    Van Hentenryck, Pascal
    Michel, Laurent
    [J]. TUTORIALS ON EMERGING METHODOLOGIES AND APPLICATIONS IN OPERATIONS RESEARCH, 2005, 76
  • [4] Expressive Power of Query Languages for Constraint Complex Value Databases
    Liu, Hong-Cheu
    [J]. DATABASE SYSTEMS FOR ADVANCED APPLICATIONS, PT II, 2011, 6588 : 195 - 209
  • [5] Reactive Policies with Planning for Action Languages
    Saribatur, Zeynep G.
    Eiter, Thomas
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), 2016, 10021 : 463 - 480
  • [6] Modeling and Computation in Planning: Better Heuristics from More Expressive Languages
    Frances, Guillem
    Geffner, Hector
    [J]. PROCEEDINGS OF THE TWENTY-FIFTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING, 2015, : 70 - 78
  • [7] Optimal Evasive Path Planning with Velocity Constraint
    Biswas, Karnika
    Ghazzai, Hakim
    Kar, Indrani
    Massoud, Yehia
    [J]. 2022 IEEE ASIA PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS, APCCAS, 2022, : 409 - 413
  • [8] Optimal rendezvous trajectory planning with time constraint
    Qi, Yinghong
    Cao, Xibin
    [J]. ISSCAA 2006: 1ST INTERNATIONAL SYMPOSIUM ON SYSTEMS AND CONTROL IN AEROSPACE AND ASTRONAUTICS, VOLS 1AND 2, 2006, : 419 - +
  • [9] EXTENDING PLANNING LANGUAGES TO INCLUDE OPTIMIZATION CAPABILITIES
    ROY, A
    LASDON, LS
    LORDEMAN, J
    [J]. MANAGEMENT SCIENCE, 1986, 32 (03) : 360 - 373
  • [10] ON THE EXPRESSIVE POWER OF QUERY LANGUAGES
    SCHAUBLE, P
    WUTHRICH, B
    [J]. ACM TRANSACTIONS ON INFORMATION SYSTEMS, 1994, 12 (01) : 69 - 91
12345