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 条

[21] Rapidplan: 'knowledge-based' model with Tomotherapy plans
Botti, A.
Cagni, E.
Micera, R.
Nicola, S.
Orsingher, L.
Orlandi, M.
Iotti, C.
Cozzi, L.
Iori, M.
RADIOTHERAPY AND ONCOLOGY, 2016, 119 : S767 - S768
[22] Verification of uncertain knowledge-based systems: An empirical verification approach
OLeary, DE
MANAGEMENT SCIENCE, 1996, 42 (12) : 1663 - 1675
[23] Comparison of knowledge-based radiotherapy treatment plans against expert plans
Nwankwo, O.
Mekdash, H.
Sihono, D. S. K.
Wenz, F.
Glatting, G.
STRAHLENTHERAPIE UND ONKOLOGIE, 2015, 191 : S112 - S112
[24] Evaluation of verification tools for knowledge-based systems
Preece, AD
Talbot, S
Vignollet, L
INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 1997, 47 (05) : 629 - 658
[25] KNOWLEDGE-BASED SYSTEMS - VERIFICATION, VALIDATION, AND TESTING
CHILDRESS, R
IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1992, 7 (01): : 73 - 75
[26] Verification of multiple agent knowledge-based systems
O'Leary, DE
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2001, 16 (03) : 361 - 376
[27] AN APPROACH TO THE DYNAMIC VERIFICATION OF KNOWLEDGE-BASED SYSTEMS
MATSUMOTO, K
TAKANO, T
INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, 1992, 14 (05) : 351 - 357
[28] Verification and validation of a multistrategy knowledge-based system
Ribeiro, FL
VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 207 - 220
[29] Verification of multiple agent knowledge-based systems
O'Leary, DE
NINTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 1998, : 36 - 40
[30] VALIDATION AND VERIFICATION OF KNOWLEDGE-BASED SYSTEMS - A SURVEY
GUPTA, UG
APPLIED INTELLIGENCE, 1993, 3 (04) : 343 - 363

← 1 2 3 4 5 →