The extended default description logic

被引：0

作者：

Cao, Cungen ^{[1
]}

Sui, Yuefei ^{[1
]}

Sun, Yu ^{[1
]}

机构：

[1] Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing 100080, Peoples R China

来源：

PROCEEDINGS OF 2006 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE: 50 YEARS' ACHIEVEMENTS, FUTURE DIRECTIONS AND SOCIAL IMPACTS | 2006年

关键词：

default; description logic; extension; the closed world assumption;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The default description logic theories are special default theories, in which every statement is atomic. Therefore, the default description logic has some features which do not hold in the ordinary default logic. It will be proved that (1) a default description logic theory is logically implied by a normal default description logic theory under the closed world assumption; and (2) a default description logic theory under the closed world assumption is implied logically by an extended default description logic theory.

引用

页码：129 / 133

页数：5

共 17 条

[1] [Anonymous], 1996, FORMAL CONCEPT ANAL
[2] BAADER F, 1993, IJCAI-93, VOLS 1 AND 2, P669
[3] PRIORITIES ON DEFAULTS WITH PREREQUISITES, AND THEIR APPLICATION IN TREATING SPECIFICITY IN TERMINOLOGICAL DEFAULT LOGIC
BAADER, F
HOLLUNDER, B
[J]. JOURNAL OF AUTOMATED REASONING, 1995, 15 (01) : 41 - 68
[4] Baader F., 2002, DESCRIPTION LOGIC HD
[5] Brachman R. J., 1991, Principles of Semantic Networks, P401
[6] BRANDT S, P KR2002
[7] Calvanese D, 1998, SPRING INT SER ENG C, P229
[8] Calvanese D., 2001, HDB AUTOMATED REASON, P1581
[9] ETHERINGTON D, 1983, P AAAI 83, V83, P104
[10] GINSBERG M, 1987, READINGS NON MONOTON

← 1 2 →