| 制约逻辑与情报推理 |
| |
| 引用本文： | 盛作国,胡红.制约逻辑与情报推理[J].贵阳师范高等专科学校学报,2007,1(3):96-100. |
| |
| 作者姓名： | 盛作国 胡红 |
| |
| 作者单位： | 盛作国（贵州大学,人文学院,贵州,贵阳,550025）;胡红（贵州大学,人文学院,贵州,贵阳,550025） |
| |
| 摘 要： | 逻辑科学在情报学学科中几乎主要地被应用于情报检索领域,而情报检索领域中涉及推理的内容主要地散见于人工智能推理机制中.人工智能研究以正统数理逻辑为其逻辑理论工具.由于正统数理逻辑把原本能确保不循环的推理格式处理成同语反复的恒真的真值函数.因而建立在这种逻辑理论基础之上的人工智能专家系统并不能真正实现从已知到新知的必然过渡.情报推理仍需要寻求一种更合适的逻辑理论工具.
|
| 关 键 词： | 情报推理 制约逻辑 人工智能 专家系统 |
| 文章编号： | 1673-6133(2007)03-0096-05 |
| 修稿时间： | 2007年4月18日 |
Entailment logic and Intelligence Inference |
| |
| SHENG Zuo-guo,HU Hong.Entailment logic and Intelligence Inference[J].Journal of GuiYang Teacher's College(Social Science),2007,1(3):96-100. |
| |
| Authors: | SHENG Zuo-guo HU Hong |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
