人工智能中缺省逻辑的可表示性(英文)  

Representability of Default Logic in Artificial Intelligenc

作　　者：傅丽[1] 王国俊[2] 

机构地区：[1]青海民族学院数学系,西宁810007 [2]陕西师范大学数学与信息科学学院,西安710062

出　　处：《工程数学学报》2006年第5期886-890,共5页Chinese Journal of Engineering Mathematics

基　　金：The National Natural Science Foundation of China(10331010);Qinghai Nationality College Doctor Scientific Research(06D003)

摘　　要：本文基于缺省理论的扩充集来研究缺省理论的表示性问题。首先,得到了若干关于缺省理论等价的性质。其次,证明有具配对不相容扩充的缺省理论可由(无前提)(半)正规缺省理论表示。此外,提出了一些用于说明所得结果的例子。The present paper investigates the representability of default theories by means of the set of extensions of a default theory. First, some properties of equivalency of default theories are proposed. Second, it is proved that default theories having pairwise inconsistent extensions can be represented by a prerequisite-free semi-normal default theory. Moreover, certain suitable examples for explaining the results are provided.

关 键 词：缺省理论 无前提 正规 扩充 表示性 

分 类 号：TP182[自动化与计算机技术—控制理论与控制工程]