Lanzhou University of Technology Institutional Repository (LUT_IR)
题名 | 命题逻辑中广义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. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
查看访问统计 |
谷歌学术 |
谷歌学术中相似的文章 |
[李彩红]的文章 |
百度学术 |
百度学术中相似的文章 |
[李彩红]的文章 |
必应学术 |
必应学术中相似的文章 |
[李彩红]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论