基于方位关系定性空间逻辑的研究



基于方位关系定性空间逻辑的研究

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→自动化基础理论论文→人工智能理论论文→自动推理、机器学习论文

基于方位关系定性空间逻辑的研究

论文目录
提要	第1-8 页
第1章绪论	第8-13 页
· 研究背景	第8-11 页
· 研究意义及目的	第8-9 页
· 研究现状	第9-11 页
· 本文工作	第11-12 页
· 本章小结	第12-13 页
第2章相关知识和概念	第13-23 页
· 模态逻辑概述	第13-16 页
· 空间关系与空间结构	第16-19 页
· 拓扑关系与方位关系	第16-17 页
· 基于方位关系的逻辑框架	第17-19 页
· 空间邻域命题逻辑SpPNL	第19-20 页
· tableau算法相关研究工作	第20-22 页
· 本章小结	第22-23 页
第3章 SpPNL(D)及其可判定性	第23-38 页
· 语法和语义	第23-24 页
· 空间框架的表示定理	第24-28 页
· 完备性	第28-35 页
· 可判定性	第35-37 页
· 本章小结	第37-38 页
第4章 SpPNL(D)表达能力的研究	第38-45 页
· SpPNL(D)的表达能力	第38-39 页
· RA-网络与SpPNL(D)	第39-44 页
· 本章小结	第44-45 页
第5章 tableau算法	第45-56 页
· 描述逻辑和模态逻辑的关系	第45-46 页
· tableau算法	第46-55 页
· tableau算法	第46-51 页
· 可靠性和完备性	第51-55 页
· 本章小结	第55-56 页
第6章 tableau算法演示系统	第56-62 页
· 系统环境	第56 页
· 开发语言和工具	第56 页
· 运行平台	第56 页
· 系统实现与功能	第56-61 页
· 系统实现	第56-58 页
· 系统功能	第58-61 页
· 本章小结	第61-62 页
第7章结论和展望	第62-64 页
· 结论	第62-63 页
· 进一步工作	第63-64 页
参考文献	第64-67 页
致谢	第67-68 页
摘要	第68-71 页
Abstract	第71-73 页

本篇论文共73页，点击这进入下载页面。

更多论文
基于方位关系定性空间逻辑的研究
论气候变化条件下北极治理面临的挑
利用马铃薯试管薯无土栽培生产微型
基于S3C2440的智能网络视频监控机的
我国计算机软件反向工程合理使用研
油菜氮高效种质的筛选及其生理机制
基于CAN总线的汽车电子集中驱动单元
中国政策性银行在改革进程中的风险
动产融资业务法律风险的防范与控制
磁通门传感器及其模拟处理电路的研
利用TN群体定位甘蓝型油菜硼高效QT
房屋买卖居间合同法律问题研究
基于聚合物材料的平面光波导生化传
水分—氮素对玉米苗期生长及氮代谢
专利与技术标准融合中的反垄断问题
东亚汇率协调问题研究
万能配页打码机控制系统的设计
农艺措施对杂交中稻群体结构影响及
为第三人利益合同论析
交通流信息采集单元的研发
大豆抗疫霉根腐病资源SSR标记的遗传
主权财富基金资产配置研究
氮钾营养对杭白菊次生代谢产物调控
货币政策透明度的理论与实践研究
基于PLC的高能电子直线加速器束下线
ALI的知识产权管辖权和判决承认制度
水稻抗白叶枯病基因Xa3的遗传分析和
基于立体视觉的汽车仪表检测系统的
养老金制度变革的契约主义视野及其
论船舶所有权变动的条件
旱地和水浇地夏大豆表现及荚粒性状
我国政策性农业保险制度设计研究
离婚时夫妻无形财产分割研究
基于InSAR技术的地表形变监测
粳型亲籼系杂种优势及配合力分析
轨道交通综合监控系统架构设计与实
一种保鲜剂的研制及名优绿茶贮藏条
发动机连杆胀断机检测系统的研究
技术秘密许可法律问题研究
居民基本医疗保险的制度供给研究--
耐低磷水稻基因型土壤酸度适应性和
基于塑料光纤准分布液位传感器的研
论社交主人安全保障义务
保险信息化建设之探讨
新型化学杀雄剂WP和YB诱导油菜雄性
新型尿液分析仪的研究
计算机犯罪立法问题研究
棉花叶绿体Cu/Zn-SOD基因植物表达载

模态逻辑论文方位关系论文 tableau算法论文最小边界矩形论文矩形代数论文
版权申明：目录由用户czh**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved