制约逻辑与情报推理

Entailment logic and Intelligence Inference

逻辑科学在情报学学科中几乎主要地被应用于情报检索领域,而情报检索领域中涉及推理的内容主要地散见于人工智能推理机制中。人工智能研究以正统数理逻辑为其逻辑理论工具。由于正统数理逻辑把原本能确保不循环的推理格式处理成同语反复的恒真的真值函数。因而建立在这种逻辑理论基础之上的人工智能专家系统并不能真正实现从已知到新知的必然过渡。情报推理仍需要寻求一种更合适的逻辑理论工具。

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.