期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
性质继承的线性逻辑表示和推理 被引量：1
1
作者 黄林鹏 孙永强 《计算机工程》 CAS CSCD 北大核心 1993年第3期1-6,共6页
本文给出了一个性质的带例外继承的形式表示方法和推理模型,该方法采用线性逻辑的连接词和推理规则,避免了例外的显式表示,在不借助于逻辑外机制的情况下有效地解决了带例外继承推理中出现的问题.
关键词 性质继承 缺省推理 非单调逻辑
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部