Knowledge-Based Programs as Plans - The Complexity of Plan Verification

被引：16
|
作者：
Lang, Jerome [1 ,2 ]
Zanuttini, Bruno [3 ]
机构：
[1] Univ Paris 09, CNRS, CNRS UMR 7243, F-75775 Paris 16, France
[2] Univ Paris 09, LAMSADE, F-75775 Paris 16, France
[3] Univ Caen Basse Normandie, CNRS, ENSI CAEN, UMR 6072,GREYC, Caen, France
来源：
20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012) | 2012年 / 242卷
关键词：
D O I：
10.3233/978-1-61499-098-7-504
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Knowledge-based programs (KBPs) are high-level protocols describing the course of action an agent should perform as a function of its knowledge. The use of KBPs for expressing action policies in AI planning has been surprisingly underlooked. Given that to each KBP corresponds an equivalent plan and vice versa, KBPs are typically more succinct than standard plans, but imply more online computation time. Here we compare KBPs and standard plans according to succinctness and to the complexity of plan verification.
引用
收藏
页码：504 / +
页数：2
相关论文
共 50 条
  • [31] A FORMAL MODEL FOR KNOWLEDGE-BASED SYSTEMS VERIFICATION
    LAITA, LM
    COUTO, J
    DELEDESMA, L
    MARGARIT, AF
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1994, 9 (09) : 769 - 786
  • [32] EMPIRICAL VERIFICATION OF EFFECTIVENESS FOR A KNOWLEDGE-BASED SYSTEM
    VINZE, AS
    INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1992, 37 (03): : 309 - 334
  • [33] Evaluation of complexity and deliverability of prostate cancer treatment plans designed with a knowledge-based VMAT planning technique
    Wall, Phillip D. H.
    Fontenot, Jonas D.
    JOURNAL OF APPLIED CLINICAL MEDICAL PHYSICS, 2020, 21 (01): : 69 - 77
  • [34] Knowledge-based programs as building blocks for planning
    Baier, Jorge A.
    McIlraith, Sheila A.
    Artificial Intelligence, 2022, 303
  • [35] Knowledge-based systems for energy conservation programs
    Lara-Rosano, F
    Valverde, NK
    EXPERT SYSTEMS WITH APPLICATIONS, 1998, 14 (1-2) : 25 - 35
  • [36] Knowledge-based systems for energy conservation programs
    Lara-Rosano, Felipe
    Kemper, Valverde, Nicolas
    Expert Systems with Applications, 14 (1-2): : 25 - 35
  • [37] Knowledge-based programs as building blocks for planning
    Baier, Jorge A. A.
    McIlraith, Sheila A. A.
    ARTIFICIAL INTELLIGENCE, 2022, 303
  • [38] Impact of Knowledge-based Plan Model Improvement on Plan Complexity and Deliverability in VMAT For Prostate Cancer: A Multi-institutional Study
    Tamura, Mikoto
    Ueda, Yoshihiro
    Fukunaga, Jun-Ichi
    Kamima, Tatsuya
    Shimizu, Yumiko
    Muraki, Yuta
    Kubo, Kazuki
    Nakamatsu, Kiyoshi
    Hosono, Makoto
    Monzen, Hajime
    ANTICANCER RESEARCH, 2022, 42 (11) : 5305 - 5314
  • [39] A knowledge-based interactive verifier for logic programs
    Marakakis, Emmanouil
    Kondylakis, Haridimos
    Papadakis, Nikos
    INTERNATIONAL JOURNAL OF KNOWLEDGE-BASED AND INTELLIGENT ENGINEERING SYSTEMS, 2014, 18 (03) : 143 - 156
  • [40] KNOWLEDGE-BASED SUPPORT OF USERS OF NUMERICAL PROGRAMS
    VANZUYLEN, HJ
    MATHEMATICS AND COMPUTERS IN SIMULATION, 1994, 36 (4-6) : 327 - 336
12345