可能性缺省逻辑及其应用

李爱平; 吴泉源; 伍赛先

首页> 中文期刊> 《计算机工程与科学》 >可能性缺省逻辑及其应用

可能性缺省逻辑及其应用

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文分析了Yager用可能性理论框架来表示缺省知识的形式化方法,并测试了三类不同的应用方案.得到的结果与Reiter的缺省逻辑得到的结果相比较,表明只在具有严格约束的缺省逻辑下,Yager的形式化方法才与Reiter的缺省逻辑具有一定的相关性.我们指出了它们在一般缺省理论下的不匹配处,并给出了以不动点机制的改进方法来消除这些不匹配.

著录项

来源
《计算机工程与科学》 |2001年第4期|96-99107|共5页
作者
李爱平; 吴泉源; 伍赛先;
展开▼
作者单位

国防科技大学计算机学院;

国防科技大学计算机学院;

国防科技大学计算机学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类专家系统、知识工程;
关键词
缺省逻辑; 可能性理论; 缺省推理; 不动点;

相似文献

中文文献
外文文献
专利

1. 缺省逻辑及其在言语交际中的应用 [J] . 樊蕊 . 毕节学院学报 . 2013,第006期
2. 可能性理论与缺省推理 [J] . 高雅卿 . 微电子学与计算机 . 1991,第9期
3. 观念可能性与实在可能性*--论胡塞尔对《逻辑研究》第6研究第1篇第4章的修改 [J] . 陈伟 . 中山大学学报（社会科学版） . 2013,第005期
4. 基于可能性测度的计算树逻辑CTL*与可能性互模拟 [J] . 邓辉 ,薛艳 ,李亚利 . 计算机科学 . 2012,第010期
5. 贪婪缺省逻辑 [J] . 陈博 ,曹存根 ,眭跃飞 . 软件学报 . 2017,第007期
6. 基于可能性理的缺省逻辑的研究 [C] . 李爱平 ,吴泉源 . 第九届全国多值逻辑与模糊逻辑学术会议 . 2000
7. 缺省逻辑的扩充 [A] . 傅丽 . 2005

可能性缺省逻辑及其应用

摘要

著录项

相似文献

相关主题

期刊订阅