Taxonomic plan reasoning

被引：24

作者：

Devanbu, PT

Litman, DJ

机构：

[1] Artif. Intell. Principles Res. Dept., AT and T Bell Laboratories, Murray Hill, NJ 07974

来源：

ARTIFICIAL INTELLIGENCE | 1996年 / 84卷 / 1-2期

关键词：

knowledge representation; artificial intelligence; reasoning; reuse;

D O I：

10.1016/0004-3702(95)00091-7

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

CLASP (CLAssification of scenarios and Plans) is a knowledge representation system that extends the notion of subsumption from terminological languages to plans. The CLASP representation language provides description-forming operators that specify temporal and conditional relationships between actions represented in CLASSIC (a current subsumption-based knowledge representation language). CLASP supports subsumption inferences between plan concepts and other plan concepts, as well as between plan concepts and plan instances. These inferences support the automatic creation of a plan taxonomy. Subsumption in CLASP builds on term subsumption in CLASSIC and illustrates how term subsumption can be exploited to serve special needs, In particular, the CLASP algorithms for plan subsumption integrate work in automata theory with work in term subsumption.

引用

页码：1 / 35

页数：35

共 43 条

[1] MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J].

ALLEN, JF .

COMMUNICATIONS OF THE ACM, 1983, 26 (11) :832-843

[2]

ALLEN JF, 1991, 2ND P INT C PRINC KN, P3

[3]

[Anonymous], 1979, LECT NOTES COMPUTER

[4]

ARTALE A, 1994, MOR KAUF R, P3

[5]

Baader F., 1991, SIGART B, V2, P8

[6]

BACKSTROM C, 1992, COMPUTATIONAL COMPLE

[7]

BORGIDA A, 1992, PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR 92), P259

[8]

BORGIDA A, 1993, DCSTR295A RUTG U

[9]

Brachman R. J., 1991, Principles of Semantic Networks, P401

[10] AN OVERVIEW OF THE KL-ONE KNOWLEDGE REPRESENTATION SYSTEM [J].

BRACHMAN, RJ ;

SCHMOLZE, JG .

COGNITIVE SCIENCE, 1985, 9 (02) :171-216

← 1 2 3 4 5 →