题名 | n值S-MTL逻辑系统中命题的Borel概率真度理论 |
作者 | 郑刚 |
答辩日期 | 2010 |
文献子类 | 硕士 |
授予单位 | 兰州理工大学 |
导师 | 李骏 |
关键词 | 计量逻辑学 Borel概率测度 伪距离 近似推理 |
学位名称 | 理学硕士 |
学位专业 | 运筹学与控制论 |
英文摘要 | 在数理逻辑中,一个逻辑公式有真和假之分。它主要是从语构和语义的角度来判断逻辑公式的真与假,并通过完备性将它们的推理统一起来。但是数理逻辑只关心重言式和矛盾式这两类公式,但大多数公式既不是重言式又不是矛盾式,为了评判一般公式真假的程度,美国Stanford大学的 教授、 教授以及 研究决策中心的 教授和 教授等把概率的思想引入到命题逻辑系统中提出了公式的概率概念。他们所提出的概率逻辑学中,公式的概率只是针对具体公式而言的,因此不同公式的概率不具有可比性。它的基本理论也仅局限于有限多个公式,而命题逻辑中的公式却是无限多的,所以概率逻辑学理论似乎只具有局部性而缺乏整体性。 |
语种 | 中文 |
页码 | 46 |
内容类型 | 学位论文 |
源URL | [http://ir.lut.edu.cn/handle/2XXMBERH/99988] ![]() |
专题 | 兰州理工大学 |
作者单位 | 兰州理工大学 |
推荐引用方式 GB/T 7714 | 郑刚. n值S-MTL逻辑系统中命题的Borel概率真度理论[D]. 兰州理工大学. 2010. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论