n值S-MTL逻辑系统中命题的Borel概率真度理论

题名	n值S-MTL逻辑系统中命题的Borel概率真度理论
作者	郑刚
学位类型	硕士
导师	李骏
答辩日期	2010
学位授予单位	兰州理工大学
学位名称	理学硕士
学位专业	运筹学与控制论
关键词	计量逻辑学 Borel概率测度伪距离近似推理
摘要	在数理逻辑中,一个逻辑公式有真和假之分。它主要是从语构和语义的角度来判断逻辑公式的真与假,并通过完备性将它们的推理统一起来。但是数理逻辑只关心重言式和矛盾式这两类公式,但大多数公式既不是重言式又不是矛盾式,为了评判一般公式真假的程度,美国Stanford大学的教授、教授以及研究决策中心的教授和教授等把概率的思想引入到命题逻辑系统中提出了公式的概率概念。他们所提出的概率逻辑学中,公式的概率只是针对具体公式而言的,因此不同公式的概率不具有可比性。它的基本理论也仅局限于有限多个公式,而命题逻辑中的公式却是无限多的,所以概率逻辑学理论似乎只具有局部性而缺乏整体性。
其他摘要	In Mathematical Logic, formula has the distinction of truth and falsity. The truth and falsity of formulas are in general evaluated in Mathematical Logic in syntactic and semantic levels. The evaluations in these two levels are finally brought into unification by the completeness of the logical system. Mathematical Logic concerns only two extreme classes of formulas of absolutely true (tautology) and of absolutely false (contradiction), but the majority of formulas are neither tautologies nor contradictions. In order to measure the extent to which a general formula is true, the notion of probability of formulas was introduced by Professor Adam and Nilsson at Stanford University and Professor Fagin and Halpern at IBM Almaden Research Center through applying probability into propositional logic.
页数	46
语种	中文
学号	102070105010
文献类型	学位论文
条目标识符	https://ir.lut.edu.cn/handle/2XXMBERH/99988
专题	兰州理工大学
作者单位	兰州理工大学
第一作者单位	兰州理工大学
推荐引用方式 GB/T 7714	郑刚. n值S-MTL逻辑系统中命题的Borel概率真度理论[D]. 兰州理工大学,2010.