知识库系统的逻辑基础
- 期刊名字:计算机学报
- 文件大小:
- 论文作者:许文艳,刘三阳
- 作者单位:西安电子科技大学理学院应用数学系
- 更新时间:2022-04-06
- 下载次数:次
论文简介
针对知识库系统的研究现状和存在的问题,分析了用经典一阶谓词逻辑作为知识库系统逻辑基础的不充分性,根据知识库系统的特点和需求,指出可计算性逻辑既能为知识库系统提供合理的逻辑基础,义能弥补经典逻辑作为知识库系统逻辑基础的不足.并在此基础上用证明论方法,建立了一个基于可计算性逻辑的完备子集CL4的知识库系统的公理系统,显示出易于表达、操作简单的特点.
论文截图
版权:如无特殊注明,文章转载自网络,侵权请联系cnmhg168#163.com删除!文件均为网友上传,仅供研究和学习使用,务必24小时内删除。
热门推荐
-
C4烯烃制丙烯催化剂 2022-04-06
-
煤基聚乙醇酸技术进展 2022-04-06
-
生物质能的应用工程 2022-04-06
-
我国甲醇工业现状 2022-04-06
-
JB/T 11699-2013 高处作业吊篮安装、拆卸、使用技术规程 2022-04-06
-
石油化工设备腐蚀与防护参考书十本免费下载,绝版珍藏 2022-04-06
-
四喷嘴水煤浆气化炉工业应用情况简介 2022-04-06
-
Lurgi和ICI低压甲醇合成工艺比较 2022-04-06
-
甲醇制芳烃研究进展 2022-04-06
-
精甲醇及MTO级甲醇精馏工艺技术进展 2022-04-06