摘要： 本文给出了一个性质的带例外继承的形式表示方法和推理模型,该方法采用线性逻辑的连接词和推理规则,避免了例外的显式表示,在不借助于逻辑外机制的情况下有效地解决了带例外继承推理中出现的问题.

关键词: 性质继承, 缺省推理, 非单调逻辑

Abstract: A formal approach to property inheritance with exceptions is given in terms of primitives of linear logic to avoid explicit statement of exceptions and effectively solve the problems encountered in the reasoning of inheritance with exceptions without resorting to extralogical mechanism.