命题逻辑中广义MP问题的合理解及新型反向三I算法

题名	命题逻辑中广义MP问题的合理解及新型反向三I算法
作者	李彩红
学位类型	硕士
导师	李骏
答辩日期	2008
学位授予单位	兰州理工大学
学位名称	理学硕士
学位专业	运筹学与控制论
关键词	真度支持度 GMP问题合理解过半可信原则新型反向三I算法
摘要	众所周知,数理逻辑的特点在于符号化与形式化, 它所注重的精准的、形式化的逻辑推理是人工智能学科及相关研究中普遍采用的方法，这种方法在诸如定理的自动证明、等多个领域得到了广泛的应用；计算数学的特点在于近似求解、数值计算等内容，数值计算是不精确地，而是近似的。正是出于此目的,王国俊教授提出了计量逻辑学理论,给出了一个公式的可靠程度的描述-公式真度,进而给出了两个公式间相似度,伪距离的概念并由此提出了理论的发散度,相容度等内容，为常见的命题逻辑系统建立了一套完整的近似推理机制，给出了区分不同理论相容度的办法。
其他摘要	As is known to all, the characteristics of mathematical logic lies in formalization and symbolization. Mathematical Logic and Computational Mathematics have very different style. The former emphasizes formal inference, but the latter pays more attention to numeric calculation. The former emphasizes strict argument, but the latter allows approximate analysis. While the logical reasoning methods have been widely used in many fields such as the automatic proof of theorems, reasoning about knowledge and logical program design, the numerical calculation seems to be a method that looks so different form the formal inference. Because human brain and inference methods have uncertainty which lead inference to be approximate, the introduction of numerical calculation for the mathematical logic systems which can make it have some flexibility is very necessary. To the mathematical logic systems, this flexibility also enlarges its possible range of applications.
页数	42
语种	中文
学号	082070105004
文献类型	学位论文
条目标识符	https://ir.lut.edu.cn/handle/2XXMBERH/98810
专题	兰州理工大学
作者单位	兰州理工大学
第一作者单位	兰州理工大学
推荐引用方式 GB/T 7714	李彩红. 命题逻辑中广义MP问题的合理解及新型反向三I算法[D]. 兰州理工大学,2008.