| 制约逻辑与情报推理 |
| |
| 引用本文： | 盛作国,胡红.制约逻辑与情报推理[J].贵阳学院学报(社会科学版),2007(3):96-100. |
| |
| 作者姓名： | 盛作国 胡红 |
| |
| 作者单位： | 贵州大学人文学院 贵州贵阳550025 |
| |
| 摘 要： | 逻辑科学在情报学学科中几乎主要地被应用于情报检索领域,而情报检索领域中涉及推理的内容主要地散见于人工智能推理机制中。人工智能研究以正统数理逻辑为其逻辑理论工具。由于正统数理逻辑把原本能确保不循环的推理格式处理成同语反复的恒真的真值函数。因而建立在这种逻辑理论基础之上的人工智能专家系统并不能真正实现从已知到新知的必然过渡。情报推理仍需要寻求一种更合适的逻辑理论工具。
|
| 关 键 词： | 情报推理 制约逻辑 人工智能 专家系统 |
| 文章编号： | 1673-6133（2007）03-0096-05 |
| 修稿时间： | 2007-04-18 |
Entailment logic and Intelligence Inference |
| |
| SHENG Zuo-guo, HU Hong.Entailment logic and Intelligence Inference[J].Journal of Guiyang College:Social Sciences,2007(3):96-100. |
| |
| Authors: | SHENG Zuo-guo HU Hong |
| |
| Institution: | College of Humanities, Guizhou University, Guiyang Guizhou 550025, China |
| |
| Abstract: | In the subjects of informatics,logic science is mainly used in the field of information retrieval,in which the contents related to reference are mainly seen in the reference system of artificial intelligence.The research of artificial intelligence takes orthodox mathematical logic as the instrument of logic theory.Because the orthodox mathematical logic deals with the non-cyclic reference in the same way as truth-value function of tautology,so the artificial intelligence expert system based on this logic theory can not realize the inevitable transition from the known to the unknown.Intelligence reference still needs to seek a more theoretically reasonable logic instrument. |
| |
| Keywords: | intelligence reference entailment logic artificial intelligence expert system |
| 本文献已被 CNKI 维普 等数据库收录！ |
