继承系统中可废止的继承扩张性质

Defeasiable inheritance extension in inheritance systems

为进一步研究分层知识结构,阐明可废止继承系统的理论,从一致性角度和框架方法出发,构造两种带有可废止特例推理的扩张,并证明它们的存在性,表明其合理性。对继承系统的深入研究,便于进行有效搜索,丰富计算机语言及人工智能的知识描述。

This paper presents an attempt to explore hierarchical knowledge structure further, illustrates the theory of the defeasible inheritance system, and introduces the construction of two types of extension with defeasible attribute from the perspectives of consistency and framework method and shows the existence and rationality. More researches into the inheritance system facilitates searching information more effectively, enriching computer language and enlarging knowledge description of artificial intelligence.