概率认知逻辑程序语言的研究
硕士博士毕业论文站内搜索
全站论文库
硕士博士论文库
普通期刊论文库
分类:
教育论文网
→工业技术论文→
自动化技术、计算机技术论文
→
计算技术、计算机技术论文
→
计算机软件论文
→
程序设计、软件工程论文
→
程序设计论文
概率认知逻辑程序语言的研究
论文目录
摘要
第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电子商务平台的研究与实现
芽孢杆菌A
8
对三七茎叶提
智能驾驶测试平台的设计与实现
半胱氨酸脱巯基酶CDes的诱导表达、
面向前端框架开发的持续集成方案的
大豆β-伴大豆球蛋白突变性状的表征
物防技防管理平台关键技术研究及软
基于MES的半导体测试网站前端系统设
樟树籽油甘油酯分离纯化及抑菌活性
面向移动金融应用的Cordova定制与实
拟南芥多聚ADP-核糖糖基水解酶抗基
基于领域映射的医疗数据统计平台的
油菜素甾醇受体弱突变体bril-301抑
室内停车场管理系统研究与开发
黄土高原矿区4种草本植物对干旱胁迫
基于WebSocket的信息推送服务平台设
CO
2
对植物气孔运动及稀
海绵城市评估与运营系统开发
渭河流域水分生产效率遥感模型构建
针对移动互联网的舆情监测管理系统
Gα、H
2
O
2
和
档案管理系统的设计与实现——以东
基于噬菌体展示的构象性B细胞表位预
基于GPS/北斗的移动目标定位追踪平
微生态硒的制备及遗传毒性的研究
基于Qt/E的嵌入式瓷支柱绝缘子故障
黑粉菌菌丝形成相关基因的分离和遗
基于ERP系统财务模块项目利润分析功
具有催化核苷酰化反应活性的微生物
基于工作流的印前管理系统的设计与
非单调推理论文
概率推理论文
版权申明
:目录由用户
东方**
提供,
www.51papers.com
仅收录目录,作者需要删除这篇论文目录
请点击这里
。
|
设为首页
||
加入收藏
||
站内搜索引擎
||
站点地图
||
在线购卡
|
版权所有
教育论文网
Copyright(C) All Rights Reserved