-
30浏览
-
0点赞
-
0收藏
-
0分享
-
26下载
-
0评论
-
引用
期刊论文
性质继承的线性逻辑表示和推理*
计算机工程,1993,19(3):1~6,-0001,():
本文给出了一个性质的带例外继承的形式表示方法和推理模型,该方法采用线性逻辑的连接词和推理规则,避免了例外的显式表示,在不借助于逻辑外机制的情况下有效地解决了带例外继承推理中出现的问题。
【免责声明】以下全部内容由[黄林鹏]上传于[2011年04月25日 15时12分07秒],版权归原创者所有。本文仅代表作者本人观点,与本网站无关。本网站对文中陈述、观点判断保持中立,不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考,并请自行承担全部责任。
本学者其他成果
同领域成果