|
|
|
| PROLOG的推理机制 |
| 钟伯刚; 程永丰 |
| 江西工业大学计算机系； 江西工业大学计算机系； |
|
| Zhong Begang;Cheng Yongfen Department of Computer Science and Technology |
|
|
|
摘要 本文运用数理逻辑的基本理论,对PROLOG的推理机制进行了深入、详细的分析。对实用的PROLOG系统为了提高运行效率,而采用的措施所引起的副作用也进行了讨论。
|
|
| 关键词 ：
推理,
PROLOG,
归结
|
| Abstract：In this paper, the reasoning organization of PROLOG is analy-sed with the help of basic theorem of mathematical logic |
| Key words：
Reasoning
PRoloG
Resolution；
|
|
出版日期: 1990-03-28
|
| [1] |
白似雪; 梅君; 吴穹; 朱涛. 一种基于概率加权的朴素贝叶斯分类[J]. 南昌大学学报（理科版）, 2009, 33(02): 1-. |
| [2] |
蒋向勇; 邵娟萍. 汉语歇后语的认知语用解读——基于关联理论和概念合成理论[J]. 南昌大学学报(人文社会科学版), 2009, 40(01): 1-6. |
| [3] |
熊建强; 饶锡新; 柳和生; 张明魁. 再制造零件修复智能工艺规划系统[J]. 南昌大学学报（工科版）, 2007, 29(01): 1-. |
| [4] |
江峰; 刘斓; 邓大勇; 刘清. Rough隶属函数关于集合并与交的一种高精度计算方法[J]. 南昌大学学报（理科版）, 2004, 28(03): 1-. |
| [5] |
江娟; 刘清. 相信逻辑公式的影响范围与概率逻辑公式的概率[J]. 南昌大学学报（理科版）, 2000, 24(04): 1-. |
| [6] |
谢先仁. 复合命题及其推理的若干理论问题再辨——答王跃平先生[J]. 南昌大学学报(人文社会科学版), 2000, 31(02): 1-6. |
| [7] |
王跃平. 《复合命题及其推理的若干理论问题辨要》的辨要[J]. 南昌大学学报(人文社会科学版), 2000, 31(01): 1-6. |
| [8] |
谢先仁. 复合命题及其推理的若干理论问题辨要[J]. 南昌大学学报(人文社会科学版), 1997, 28(03): 1-6. |
| [9] |
谢先仁. 传统归纳推理二题[J]. 南昌大学学报(人文社会科学版), 1995, 26(04): 1-6. |
| [10] |
丁德良. 关于在模态判断及其推理教学中运用真值表方法的设想[J]. 南昌大学学报(人文社会科学版), 1995, 26(04): 1-6. |
| [11] |
钟诗胜; 傅万涛; 周济; 毛权. 面向对象的模糊知识表达及推理[J]. 南昌大学学报（理科版）, 1995, 19(03): 1-. |
| [12] |
谢先仁. 形式逻辑演绎推理就是从一般到个别的推理吗？[J]. 南昌大学学报(人文社会科学版), 1994, 25(01): 1-6. |
| [13] |
杨根莲. 新闻评论的几种论证方法[J]. 南昌大学学报(人文社会科学版), 1993, 24(02): 1-6. |
| [14] |
谢先仁; 樊明亚. 普通逻辑几个理论问题辨要[J]. 南昌大学学报(人文社会科学版), 1993, 24(01): 1-6. |
| [15] |
刘清; 占传杰; 刘丰生; 黄延龄; 李宗俊. 计算机辅助针灸诊疗专家系统-ZES及其壳体-KZES[J]. 南昌大学学报（理科版）, 1992, 16(01): 1-. |
|
|
|
|
1990, Vol. 12 