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 条
  • [1] A Method for Generating Knowledge-Based Programs as Conditional Plans
    Niyogi, Rajdeep
    Jain, Vihan
    FOUNDATIONS OF INTELLIGENT SYSTEMS (ISKE 2013), 2014, 277 : 635 - 646
  • [2] A Plan Quality Metric for Evaluating Knowledge-Based Treatment Plans
    Chanyavanich, V.
    Lo, J.
    Das, S.
    MEDICAL PHYSICS, 2012, 39 (06) : 3837 - 3837
  • [3] An SMT-Based Approach to the Verification of Knowledge-Based Programs
    Belardinelli, Francesco
    Boureanu, Ioana
    Malvone, Vadim
    Rajaona, Fortunat
    FORMAL ASPECTS OF COMPUTING, 2025, 37 (01)
  • [4] Verification of Knowledge-Based Programs over Description Logic Actions
    Zarriess, Benjamin
    Classen, Jens
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 3278 - 3284
  • [5] VERIFICATION OF REAL-TIME PROGRAMS BY A KNOWLEDGE-BASED STRATEGY
    ZHANG, WI
    LIU, JR
    LI, HT
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 1994, 7 (03) : 289 - 298
  • [6] Plan Complexity and Delivery Accuracy of Knowledge-based Volumetric Modulated Arc Therapy Plans with Single Optimization for Oropharyngeal Cancer
    Okuhata, Katsuya
    Monzen, Hajime
    Tamura, Mikoto
    Matsumoto, Kenji
    Otsuka, Masakazu
    Kubo, Kazuki
    Ueda, Yoshihiro
    Uehara, Takuya
    Doi, Hiroshi
    Ishikawa, Kazuki
    Nishimura, Yasumasa
    ANTICANCER RESEARCH, 2021, 41 (06) : 2925 - 2931
  • [7] Knowledge-based programs
    Ronald Fagin
    Joseph Y. Halpern
    Yoram Moses
    Moshe Y. Vardi
    Distributed Computing, 1997, 10 : 199 - 225
  • [8] Knowledge-based programs
    Fagin, R
    Halpern, JY
    Moses, Y
    Vardi, MY
    DISTRIBUTED COMPUTING, 1997, 10 (04) : 199 - 225
  • [9] Interpreting Knowledge-based Programs
    Knapp, Alexander
    Muehlberger, Heribert
    Reus, Bernhard
    PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, 2023, 13990 : 253 - 280
  • [10] Interpreting Knowledge-based Programs
    Knapp, Alexander
    Mühlberger, Heribert
    Reus, Bernhard
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13990 LNCS : 253 - 280
12345