| 逻辑推理与算术运算合并系统的理论分析 |
| |
| 引用本文： | 周青,伍丽华.逻辑推理与算术运算合并系统的理论分析[J].计算机学报,2004,27(8):1109-1114. |
| |
| 作者姓名： | 周青 伍丽华 |
| |
| 作者单位： | 1. 中山大学软件研究所,广州,510275
2. 中山大学数学与计算科学学院,广州,510275 |
| |
| 摘 要： | 提出一个逻辑推理与算术运算合并系统的形式定义，通过合并算子把逻辑推理合并到算术系统中，使得在需要解决逻辑推理中的数值计算时，直接把问题转化为纯算术系统中的运算；文章对该形式系统作了理论上的分析，考察了合并系统的语法描述和语义解释，对其中的合并算子进行了定义和讨论，证明了该系统的可靠性与完备性．由于该系统基于一阶逻辑，所以比Ohlbach和Koehler提出的基于集合的系统Ⅲ适用性更大．
|
| 关 键 词： | 合并语言 合并算子 相对可靠性 相对完备性 |
A Theoretical Analysis of Combining System from Logical Reasoning to Arithmetic |
| |
| ZHOU Qing,WU Li -Hua.A Theoretical Analysis of Combining System from Logical Reasoning to Arithmetic[J].Chinese Journal of Computers,2004,27(8):1109-1114. |
| |
| Authors: | ZHOU Qing WU Li -Hua |
| |
| Abstract: | |
| |
| Keywords: | combined language combined operators relative soundness relative completeness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
