教育论文网

概率认知逻辑程序语言的研究

硕士博士毕业论文站内搜索    
分类:教育论文网→工业技术论文→自动化技术、计算机技术论文计算技术、计算机技术论文计算机软件论文程序设计、软件工程论文程序设计论文
概率认知逻辑程序语言的研究
论文目录
 
摘要第1-6页
Abstract第6-13页
缩略词表第13-14页
第一章 绪论第14-22页
  1.1 研究背景与研究动机第14页
  1.2 相关研究现状第14-19页
    1.2.1 概率逻辑程序第14-16页
    1.2.2 认知逻辑程序第16-17页
    1.2.3 现有认知逻辑程序的不足第17-19页
  1.3 研究目标及研究内容第19-20页
  1.4 研究方法和技术路线第20-21页
  1.5 文章结构安排第21-22页
第二章 背景知识介绍第22-34页
  2.1 回答集程序第22-25页
    2.1.1 回答集程序的语法第22-24页
    2.1.2 回答集程序的语义第24-25页
  2.2 GI-log第25-29页
    2.2.1 GI-log的语法第26页
    2.2.2 GI-log的语义第26-27页
    2.2.3 GI-log中的主观字循环第27-28页
    2.2.4 GI-log程序举例第28-29页
  2.3 LP~(MLN)第29-33页
    2.3.1 LP~(MLN)的语法第30页
    2.3.2 LP~(MLN)的语义第30-31页
    2.3.3 LP~(MLN)程序举例第31-33页
  2.4 本章小结第33-34页
第三章 PELP语言第34-46页
  3.1 PELP的语法第34-35页
  3.2 PELP的语义第35-39页
  3.3 PELP应用举例第39-43页
    3.3.1 概率认知模态词与软规则的结合第39-42页
    3.3.2 概率比较模态词与软规则的结合第42-43页
  3.4 主观字的循环和约束第43-44页
  3.5 本章小结第44-46页
第四章 PELP与其他认知逻辑程序语言的关系第46-52页
  4.1 与ASP~(KM)的关系第46-49页
  4.2 与EFLP的关系第49-50页
  4.3 与GI-log的关系第50-51页
  4.4 本章小结第51-52页
第五章 PELP求解算法第52-62页
  5.1 求解算法介绍第52-58页
    5.1.1 主观字的消除第53-54页
    5.1.2 软规则的消除第54-56页
    5.1.3 回答集的计算第56页
    5.1.4 回答集的分组第56-57页
    5.1.5 候选世界观的筛选第57-58页
    5.1.6 PELP求解算法第58页
  5.2 算法优化第58-61页
  5.3 本章小结第61-62页
第六章 PELP语言的应用第62-70页
  6.1 三门问题求解第62-65页
  6.2 概率一致性规划问题求解第65-68页
  6.3 本章小结第68-70页
第七章 总结与展望第70-72页
  7.1 工作总结第70页
  7.2 下一步工作第70-72页
致谢第72-74页
参考文献第74-78页
附录A 定理证明第78-96页
  A.1 PELP语言特性的证明第78-79页
  A.2 PELP与其他认知逻辑程序间关系的证明第79-80页
  A.3 PELP求解算法证明第80-90页
    A.3.1 主观字消除算法的证明第81-84页
    A.3.2 软规则消除算法的证明第84-90页
    A.3.3 主要定理的证明第90页
  A.4 求解优化算法的证明第90-92页
  A.5 PELP应用举例的证明第92-96页
攻读硕士学位期间的研究成果第96页

本篇论文共96页,点击这进入下载页面
 
更多论文
概率认知逻辑程序语言的研究
从原鸽cathelicidin的发掘解析鸟类
异质网络中高效子图查询算法的研究
弹尾纲、长角(虫兆)总科及长角(
基于频繁子图的图查询技术研究
峨眉髭蟾的亲代抚育行为
可扩展的远程虚拟硬件实验平台软件
基于COI和微卫星的中国沼泽山雀种群
智能家居控制系统的设计与实现
朱鹮繁殖期羽色变化机制的初步研究
基于UVC相机的跨平台SDK开发
巴鲵属谱系地理学研究
多层横梁式钢货架分析软件开发及应
蒙古高原对齿藓属北地组的分类学研
PC端天文导星软件整体设计及其算法
汾河中下游藻类植物群落结构及水质
智能家居更新事务管理系统的研究与
运城盐湖藻类区系及Dunaliella sp.
基于Android的血吸虫病防治系统手机
城乡环境梯度及其对植物生物量影响
大场景高杆灯智能照明远程监控系统
晋南地区植被与环境关系分析
电梯遥检遥测系统安全性评估子系统
中国野生兰科植物地理分布格局研究
基于jQuery的血吸虫病防治系统的设
忻州地区植被数量生态研究
车位共享系统设计及服务端开发
安太堡露天矿排土场不同植物配置模
水质监管移动巡检系统的设计与实现
流域分水背景下的黑河流域植被时空
基于Oasis montaj的海空重力仪数据
基于环境卫星NDVI时间序列的盐沼植
基于ARM嵌入式平台的脉冲星数字后端
不同土地利用类型下河岸带草本植物
基于云服务的智能电表嵌入式软件测
陕西省植被覆盖时空演变及其驱动因
基于JAVA WEB的电子贺卡、请帖制作
环境变量对物种分布模型的影响与评
面向Android金融应用的U架构设计与
Cys突变对于GcGAST蛋白抗氧化活性的
航空B2B电子商务平台的研究与实现
芽孢杆菌A8对三七茎叶提
智能驾驶测试平台的设计与实现
半胱氨酸脱巯基酶CDes的诱导表达、
面向前端框架开发的持续集成方案的
大豆β-伴大豆球蛋白突变性状的表征
物防技防管理平台关键技术研究及软
基于MES的半导体测试网站前端系统设
樟树籽油甘油酯分离纯化及抑菌活性
面向移动金融应用的Cordova定制与实
拟南芥多聚ADP-核糖糖基水解酶抗基
基于领域映射的医疗数据统计平台的
油菜素甾醇受体弱突变体bril-301抑
室内停车场管理系统研究与开发
黄土高原矿区4种草本植物对干旱胁迫
基于WebSocket的信息推送服务平台设
CO2对植物气孔运动及稀
海绵城市评估与运营系统开发
渭河流域水分生产效率遥感模型构建
针对移动互联网的舆情监测管理系统
Gα、H2O2
档案管理系统的设计与实现——以东
基于噬菌体展示的构象性B细胞表位预
基于GPS/北斗的移动目标定位追踪平
微生态硒的制备及遗传毒性的研究
基于Qt/E的嵌入式瓷支柱绝缘子故障
黑粉菌菌丝形成相关基因的分离和遗
基于ERP系统财务模块项目利润分析功
具有催化核苷酰化反应活性的微生物
基于工作流的印前管理系统的设计与
 
非单调推理论文 概率推理论文
版权申明:目录由用户东方**提供,www.51papers.com仅收录目录,作者需要删除这篇论文目录请点击这里
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved