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 条
  • [41] Learning design plans in a knowledge-based blackboard system
    Wang, JM
    INTELLIGENT INFORMATION SYSTEMS, (IIS'97) PROCEEDINGS, 1997, : 122 - 126
  • [42] Robotic MLC-based plans: A study of plan complexity
    Masi, Laura
    Hernandez, Victor
    Saez, Jordi
    Doro, Raffaela
    Livi, Lorenzo
    MEDICAL PHYSICS, 2021, 48 (03) : 942 - 952
  • [43] Knowledge-based Verification of Service Compositions - an SMT Approach
    Walther, Sven
    Wehrheim, Heike
    2013 18TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2013, : 24 - 32
  • [44] Complexity of Pattern-based Verification for Multithreaded Programs
    Esparza, Javier
    Ganty, Pierre
    ACM SIGPLAN NOTICES, 2011, 46 (01) : 499 - 510
  • [45] A PC KNOWLEDGE-BASED ENVIRONMENT FOR VLSI LAYOUT VERIFICATION
    HASHIM, F
    HABIB, SED
    ZAKI, M
    JOURNAL OF SYSTEMS AND SOFTWARE, 1992, 18 (01) : 19 - 31
  • [46] Verification and validation of knowledge-based systems with formal specifications
    Meseguer, P
    Preece, AD
    KNOWLEDGE ENGINEERING REVIEW, 1995, 10 (04): : 331 - 343
  • [47] EUROPEAN VERIFICATION AND VALIDATION OF KNOWLEDGE-BASED SYSTEMS - PREFACE
    CARDENOSA, J
    EXPERT SYSTEMS WITH APPLICATIONS, 1995, 8 (03) : 321 - 322
  • [48] 2 ASPECTS OF THE VALIDATION AND VERIFICATION OF KNOWLEDGE-BASED SYSTEMS
    BENCHCAPON, T
    COENEN, F
    NWANA, H
    PATON, R
    SHAVE, M
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1993, 8 (03): : 76 - 81
  • [49] Complexity of Pattern-based Verification for Multithreaded Programs
    Esparza, Javier
    Ganty, Pierre
    POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, : 499 - 510
  • [50] The role of ontologies in the verification and validation of knowledge-based systems
    Bench-Capon, TJM
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2001, 16 (03) : 377 - 390
12345