期刊信息
- 刊名： 河北师范大学学报（自然科学版）Journal of Hebei Normal University (Natural Science)
- 主办： 河北师范大学
- ISSN： 1000-5854
- CN： 13-1061/N
- 中国科技核心期刊
- 中国期刊方阵入选期刊
- 中国高校优秀科技期刊
- 华北优秀期刊
- 河北省优秀科技期刊
Optimization Strategies for Logical Inference
摘要/Abstract
摘要：
推理是数理逻辑和人工智能中的重要内容,但如何用优化策略实施逻辑推理，仍然是一个尚未引起注意但需解决的问题.将运筹学的优化和图论的基本路径及最短路径的思想应用于逻辑推理,提出若干优化策略,这些策略将有助于在数理逻辑和人工智能中推理的研究。
Abstract：
Inference is important for mathemat icallogic and artificial intelligence. However, there are no studies on optimization of inferences in it. This gap is filled by applying operations research and basic path as well as the shortest path in graph theory in logical inferences and eight optimization strategies will be proposed, which will facilitate the research and development of mathematical logic and artificial intelligence.
关键词
参考文献 9
- [1] 翟中. 计算机科学导论[M]. 北京: 清华大学出版社, 2007: 345.
- [2] 刘光洁. 谈谈离散数学的教学[J]. 计算机教育, 2007, (24) : 62-64.
- [3] NILSSON N J. Artificial Intelligence: A New Synt hesis [M]. Beijing: China Machine Press, 1999.
- [4] TAKEUTI G. Proof Theory [M]. -nded. North-Holland: Elsevier Science Publishers, 1987.
- [5] 邵学才. 离散数学[M].北京: 清华大学出版社, 2006.
- [6] 陆钟万. 面向计算机科学的数理逻辑[M]. 2 版. 北京: 科学出版社, 2002: 43.
- [7] 孙兆豪. 离散数学纲要及选题选解[M]. 保定: 河北大学出版社, 1994: 32.
- [8] 张改荣. 论谓词逻辑中的量词加免法则[J]. 工程数学, 1995, 11(3) : 82-85.
- [9] 刘贵龙. 离散数学[M]. 北京: 人民邮电出版社, 2002: 118- 149.