从人工智能看当代逻辑学的发展

文章认为,计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉,并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期,逻辑学将重点关注下列论题:(1)如何在逻辑中处理常识推理的弗协调、非单调和容错性因素;(2)如何使机器人具有人的创造性智能,如从经验证据中建立用于指导以后行动的可错的归纳判断;(3)如何进行知识表示和知识推理,特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理;(4)如何结合各种语境因素进行自然语言理解和推理,使智能机器人能够用人的自然语言与人进行成功的交际等等。

Artificial Intelligence and Contemporary Logic Study

This paper discusses the future development of 21 century Logic from the artificial intelligence point of view, k argues that Al will be the main source of motive force for logic in 21 century, and Al will determine what 21 century logic looks like1'in a certain degree. At least, jn the beginning of 21 century Logic Study will focus on the following topics; (I) common sense inference which is para-consistent, nonmonotonic and defeasible; (II) generalized inductive inference and inductive logic; (III) generalized intentional logic, especially epistemic logic; (IV) natural language understanding and logic of natural language.