教育论文网

若干逻辑自动推理方法研究
硕士博士毕业论文站内搜索    
分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→自动化基础理论论文→人工智能理论论文→自动推理、机器学习论文
若干逻辑自动推理方法研究
论文目录
 
摘要第1-7 页
Abstract第7-10 页
第一章 绪论第10-18 页
　　· 自动推理的发展简史第10-14 页
　　· 非经典逻辑研究概况第14-15 页
　　· 论文的选题和主要工作第15-18 页
第二章 一阶子句搜索方法第18-48 页
　　· 子句搜索方法第18-24 页
　　· 一阶子句搜索方法第24-46 页
　　· 本章小结第46-48 页
第三章 格值命题逻辑LP(X)的自动证明第48-68 页
　　· 基础知识第48-55 页
　　· LP(X)的tableau方法第55-61 页
　　· LP(X)的直积分解第61-66 页
　　· 本章小结第66-68 页
第四章 相干命题逻辑R的可读证明第68-102 页
　　· 试探法自动证明第68-80 页
　　· 自然推理法自动证明第80-97 页
　　· 试探法和自然推理法的混合求证第97-100 页
　　· 本章小结第100-102 页
第五章 总结与展望第102-104 页
参考文献第104-116 页
致谢第116-117 页
攻读博士学位期间发表论文和科研情况第117 页

本篇论文共117页，点击这进入下载页面。
 
更多论文
若干逻辑自动推理方法研究
基于MapGIS的工程地质柱状图和剖面
OFDM系统中的预失真技术
水热法制备低维氧化锆晶体及其生长
会通中西 融贯古今--孟宪承教育思想
复杂地质界面三维建模方法研究
椭圆曲线密码体制在第三代移动通信
教师知识与技能的发展研究
多孔网状Si3N4
全球化背景下有关中国学前教育的地
低密度校验码理论及其量化译码
煤矿动态综合安全评价模式及应用研
我国民办高校法人治理问题研究
超细煤粉体的光催化氧化反应性及动
分组密码中关键问题的研究
中国研究生招生制度变革研究
OFDM-CDMA系统的信道估计和均衡方法
Turbo码编译码关键问题的研究
中国博士后政策分析
我国高等教育评价的范式转换及其协
超宽带（UWB）无线通信技术
近代中国艺术教育研究--清末学堂艺
数字通信系统中的载波恢复技术
软件无线电台中频调制解调器的实现
IEEE 802.11协议无线局域网固件（f
形式的表象与深意--20世纪末中国小
 
定理证明论文 自动推理论文 一阶逻辑论文 格值逻辑论文 tableau方法论文 试探方法论文 自然推理方法论文 可读证明论文
版权申明：目录由用户将军**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved