题名 | 命题逻辑中广义MP问题的合理解及新型反向三I算法 |
作者 | 李彩红 |
答辩日期 | 2008 |
文献子类 | 硕士 |
授予单位 | 兰州理工大学 |
导师 | 李骏 |
关键词 | 真度 支持度 GMP问题 合理解 过半可信原则 新型反向三I算法 |
学位名称 | 理学硕士 |
学位专业 | 运筹学与控制论 |
英文摘要 | 众所周知,数理逻辑的特点在于符号化与形式化, 它所注重的精准的、形式化的逻辑推理是人工智能学科及相关研究中普遍采用的方法,这种方法在诸如定理的自动证明、等多个领域得到了广泛的应用;计算数学的特点在于近似求解、数值计算等内容,数值计算是不精确地,而是近似的。正是出于此目的,王国俊教授提出了计量逻辑学理论,给出了一个公式的可靠程度的描述-公式真度,进而给出了两个公式间相似度,伪距离的概念并由此提出了理论的发散度,相容度等内容,为常见的命题逻辑系统建立了一套完整的近似推理机制,给出了区分不同理论相容度的办法。 |
语种 | 中文 |
页码 | 42 |
内容类型 | 学位论文 |
源URL | [http://ir.lut.edu.cn/handle/2XXMBERH/98810] ![]() |
专题 | 兰州理工大学 |
作者单位 | 兰州理工大学 |
推荐引用方式 GB/T 7714 | 李彩红. 命题逻辑中广义MP问题的合理解及新型反向三I算法[D]. 兰州理工大学. 2008. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论