"子句集∑的极大Horn下界 (2012年),自动推理,Horn子句,极小模型,极大Horn下界,自动推理方法,西华大学学报,刘世林,裴峰" 在自动推理这个人工智能领域的核心研究中,Horn子句扮演着至关重要的角色。Horn子句是一类特殊的逻辑公式,其特点是最多只有一个正面(非否定)的原子命题,这种结构使得基于Horn子句的推理能够高效进行。自动推理系统通过逻辑推理,从已有的知识(即前提)推导出新的结论,这一过程在很大程度上依赖于Horn子句的处理。 论文"子句集∑的极大Horn下界"深入探讨了子句集的极小模型与极大Horn下界之间的关系。在逻辑推理中,一个子句集的模型是指满足所有子句的赋值,而极小模型则是指在满足所有子句的前提下,具有最少真变量的模型。极大Horn下界则是指对于所有可能的极小模型,其真变量数量的最小值。理解这种关系有助于优化推理算法,因为它可以提供一个下限,即在任何情况下推理过程都必须至少达到这个下限。 作者刘世林和裴峰提出了一种计算极大Horn下界的新方法,这种方法不仅理论上具有价值,而且具有实际应用意义,特别是对于基于Horn子句的快速推理。快速推理是自动推理中的一个重要分支,它旨在高效地处理大规模的知识库,尤其是在知识表示和知识推理中。通过获取极大Horn下界,可以更有效地指导搜索策略,避免无效的计算路径,从而提高推理效率。 在逻辑演绎的角度,推理的过程就是将一组已知的逻辑规则(即前提)应用到特定情况(问题),以得出合乎逻辑的新结论。推理的有效性在于确保从前提到结论的推理过程符合逻辑规则,而Horn子句的特性恰好简化了这个过程,因为它们允许使用简单的推理规则,如-resolution,来解决复杂的问题。 该论文的贡献在于它提供了一种新的工具,对于基于Horn子句的推理系统来说,这意味着能够在保证正确性的前提下,更快地找到答案。这对于人工智能的应用,如知识表示、自动程序验证、定理证明等,都有着显著的影响。同时,这种方法还可能启发新的推理算法设计,推动自动推理技术的进一步发展。
![](https://csdnimg.cn/release/download_crawler_static/19118218/bg1.jpg)
下载后可阅读完整内容,剩余3页未读,立即下载
![docx](https://img-home.csdnimg.cn/images/20210720083331.png)
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
- 粉丝: 9
- 资源: 917
我的内容管理 展开
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
最新资源
- 解决本地连接丢失无法上网的问题
- BIOS报警声音解析:故障原因与解决方法
- 广义均值移动跟踪算法在视频目标跟踪中的应用研究
- C++Builder快捷键大全:高效编程的秘密武器
- 网页制作入门:常用代码详解
- TX2440A开发板网络远程监控系统移植教程:易搭建与通用解决方案
- WebLogic10虚拟内存配置详解与优化技巧
- C#网络编程深度解析:Socket基础与应用
- 掌握Struts1:Java MVC轻量级框架详解
- 20个必备CSS代码段提升Web开发效率
- CSS样式大全:字体、文本、列表样式详解
- Proteus元件库大全:从基础到高级组件
- 74HC08芯片:高速CMOS四输入与门详细资料
- C#获取当前路径的多种方法详解
- 修复MySQL乱码问题:设置字符集为GB2312
- C语言的诞生与演进:从汇编到系统编程的革命
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)