广义计算机逻辑的认知归省

摘要

以狭义计算机逻辑、人工智能逻辑为主体的广义计算机逻辑，不仅属于逻辑学，而且更属于计算机科学和认知科学。人工智能逻辑以模态逻辑、模糊逻辑、归纳逻辑为基础，甚至它们之间不仅存在交叉关系，而且相互推进。因为，它们也都属于认知科学的范畴。