没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
模态逻辑报告
模态逻辑报告
模态逻辑报告
需积分: 9
1 下载量
178 浏览量
2012-05-03
10:08:22
上传
评论
收藏
107KB
DOC
举报
温馨提示
立即下载
数理逻辑的模态逻辑课程报告,很祥很强大 总结详细准确
资源推荐
资源评论
走向模型论的模态逻辑汇编.pdf
浏览:185
走向模型论的模态逻辑汇编.pdf
模态逻辑讲义
浏览:94
模态逻辑讲义,有兴趣的可以看看,很不错,可能难度有点大,不过仔细研究还是可以的
数学模态逻辑
浏览:125
4星 · 用户满意度95%
这是一篇非常好的模态逻辑的综述文献
模态逻辑讲义2006
浏览:201
模态逻辑讲义DOC 李小五 中山大学逻辑与认知研究所 2006
模态逻辑 数理逻辑
浏览:109
4星 · 用户满意度95%
一本详细的关于模态逻辑的书 一本经典的研究计算机科学中的数理逻辑的必读物
论文研究-命题模态逻辑S5系统中并行推理方法 .pdf
浏览:101
命题模态逻辑S5系统中并行推理方法,杨洋,李广力,本文对命题模态逻辑S5公理系统的性质进行了较为深入地研究,并对S5系统中一类具有代表性的标准模态子句集的特性进行了分析,提出��
模态逻辑手册(ed.by Blackburn et al)
浏览:155
4星 · 用户满意度95%
模态逻辑手册(ed.by Blackburn et al)
论文研究-一种基于二维模态逻辑程序的神经-符号系统 .pdf
浏览:176
一种基于二维模态逻辑程序的神经-符号系统,于洋,江敏,弥合连接主义和符号主义计算模型之间的裂隙,是人工智能领域重要的问题之一。 在这篇论文中,我们提出了一种基于二维模态逻辑程序的
论文研究-模态逻辑公式的真度理论.pdf
浏览:4
在模态逻辑系统中,对可能世界进行了深入的分析,首次提出了完整模型的概念,并且在这个完整模型的框架下定义了模态公式的真度概念,建立了公式的真度理论。并且证明了:若模态公式[φ]不含任何模态词,即经典逻辑...
kripke:Twelf 中的模态逻辑和 Kripke 语义
浏览:172
克里普克 Twelf 中 Kripke 语义的形式化。 这段代码分为 kripke.elf 对盒子和菱形所需的预序的 Kripke 语义的表述。 modal-logic.elf 模态逻辑的正常表述。 等效.elf 翻译过程以及将 modal-logic.elf 翻译成 Kripke 语义的健全性和完整性证明。
模态逻辑系统S4中的度量结构
浏览:67
: 在模态逻辑 S4 中通过有限模型建立了模态公式的( n) 真度理论,研究了模态逻辑 S4 中命题的( n) 真度的性.质。提出了模态公式间的( n) 相似度理论,并由此在全体公式集中,建立了( n) 伪距离,得出了( n) 模态逻辑 S4 的.度量空间,该空间以经典逻辑度量空间为子空间,提出了一种模态逻辑 S4 中近似推理的框架。
论文研究-模态逻辑中公式的模态真度.pdf
浏览:47
在模态逻辑中提出了公式的模态真度理论,即Δ真度与930;真度。先给出在一个给定Kripke模型之下的模态真度理论,此后利用均匀概率思想,提出了更为合理的(n)模态真度理论,定义了两公式之间的(n)模态相似度,并由此...
模态逻辑中转换结构的局限性
浏览:189
针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出...
论文研究-模态逻辑系统S5中相容理论的构造方法.pdf
浏览:43
在模态逻辑系统S5中借助公式的状态描述等概念,提出了一种从最简单的原子公式对应的相容理论开始,对于较复杂的公式形式,寻找恰当的状态描述,再将对应的存在状态加入最初的相容理论后仍相容的方法。
基于扩展命题模态逻辑的决策信息系统表示 (2011年)
浏览:75
针对基于粗糙集理论的决策信息系统的特点,引入属性常量作为基本符号,对命题模态逻辑进行扩展,给出了扩展命题模态逻辑形式系统及其相关语义描述,说明每个基于粗糙集理论的决策信息系统均可通过扩展命题模态逻辑语义来...
忘记多智能体模态逻辑
浏览:119
忘记多智能体模态逻辑
modallogic:模态逻辑游乐场
浏览:44
模态逻辑游乐场 模态命题逻辑的图形语义计算器,使用 、 和构建。 在查看它的实际! 可重用代码 代码的核心部分是 MPL.js,一个用于解析和评估模态命题逻辑的格式良好的公式的库。 请参阅的 API 参考。 我还提取了...
多值模态逻辑的计量化方法
浏览:90
多值模态逻辑的计量化方法
大数据-算法-正规模态逻辑的自然演绎及其证明论性质探微.pdf
浏览:53
大数据-算法
基于复合模态词模态逻辑的大数据知识表示方法及其在水文信息中应用
浏览:4
针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其语言、语法与语义,证明该逻辑在一般可达关系下的公理系统K2的可靠性定理与完备性定理,...
python大作业 含爬虫、数据可视化、地图、报告、及源码(整和为一个文件)(2014-2020全国各地区原油加工量).rar
浏览:144
5星 · 资源好评率100%
(含源码及报告)本程序分析了自2014年到2020年每年我国原油加工的产量,并且分析了2019年全国各地区原油加工量,含饼状图,柱状图,折线图,数据在地图上显示。运行本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持,如果缺少某库请自行安装后再运行。文件含2个excel表,4个csv文件以及一个名字为render的html文件(需要用浏览器打
仿真电路以及操作方法
浏览:4
5星 · 资源好评率100%
用一片通用四运放芯片LM324组成电路,实现以下功能:用低频信号源产生ui1=0.1sin2πft(V),f=500Hz的正弦波信号,加至加法器的输入端,加法器的另输入端加入有自制振荡器产生的信号uo1。要求加法器的输出电压ui2=10 ui1+ uo1。ui2经选频滤波器滤除uo1频率分量,选出f信号为uo2,uo2为峰峰值等于9V的正弦信号。uo2信号经比较器后在1KΩ负载上得到峰峰值2V的输
【纯干货啊】华为IPD流程管理(完整版).pptx
浏览:198
4星 · 用户满意度95%
华为IPD产品研发流程完整版。非常的详细,很适合给新是的实习生做培训用!是我一直在用的流程管理,很适合学习与交流。
可编程语言标准IEC61131-3中文版.pdf
浏览:41
5星 · 资源好评率100%
可编程语言标准IEC61131-3中文版
OFDM完整仿真过程与教程.zip
浏览:94
5星 · 资源好评率100%
辛苦写了关于OFDM的详细仿真,从产生信息流到最终解调,包含星座图,误码率图。包括了相关技术的详细解释,(信道编码,扩频,导频,信道估计等)。注:本段程序不包括射频传输部分,即载波调制,基带调制为QPSK。具体的教程可以参考我的相关文章。
信号与系统——保研复习资料.pdf
浏览:52
本文档为本人保研复习过程中撰写的信号与系统复习文档,参考书籍为吴大正老师主编的信号与线性系统分析(第四版),全文共43页,包含以下内容: 一、信号与系统(绪论) 二、连续系统的时域分析 三、离散系统的时域分析 四、傅里叶变换和系统的频域分析 五、连续系统的s域分析 六、离散系统的z域分析 七、系统函数 八、少量经典面试题(保研)
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
ymecho
粉丝: 0
资源:
7
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
IEC60870-5-102规约解析
Java高性能编程 Speed is a Feature !!!
key.c
世界国家中英文名字集合
2024新版大学计算机基础教程47集全(组成原理+网络+操作系统)视频+配套资料
11111111111111111
mysql 全国省市区三级联动表(2024.4最新)
Linux实验十三 Uboot和Linux内核配置与编译实验
国家经纬度,用于echarts开发世界地图
Linux实验十二 预作实验 配置编译开发板Linux文件系统
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功