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