摘要
本文给出了一个性质的带例外继承的形式表示方法和推理模型,该方法采用线性逻辑的连接词和推理规则,避免了例外的显式表示,在不借助于逻辑外机制的情况下有效地解决了带例外继承推理中出现的问题.
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.
出处
《计算机工程》
CAS
CSCD
北大核心
1993年第3期1-6,共6页
Computer Engineering
基金
国家自然科学基金资助课题
关键词
性质继承
缺省推理
非单调逻辑
property inheritance / default reasoning / nonmonotonic logics
