微信服务号
微信订阅号
非单调性和不一致性的处理——一个基于线性逻辑的方法
作者:
基金项目:
国家自然科学基金
A LINEAR LOGIC APPROACH TO NON-MONOTONIC AND INCONSISTENT INFORMATION
Author:
- 摘要 | |
- 访问统计 |
- 参考文献 [1] |
- 相似文献 [20] | | |
- 文章评论
摘要:
本文提出一种基于线性逻辑的理论L1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理。
Abstract:
In this paper, a theory named LI, which based on a fragment of linear logic, is put forward. In LI, effective results can be achieved when faced with inconsistent or non-monotonic information.
引用本文
黄林鹏,孙永强.非单调性和不一致性的处理——一个基于线性逻辑的方法.软件学报,1993,4(4):15-19
复制
文章指标
- 点击次数:3684
- 下载次数: 4668
- HTML阅读次数: 0
历史
- 收稿日期:1991-01-11
- 最后修改日期:1991-03-15
文章二维码
您是第19989497位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司
