下面是北大哲学系教授陈波「从人工智慧看当代逻辑学发展」一文摘要： 计算机科学和人工智慧能将是21世纪逻辑学发展的动力源泉，并且在很大程度上将决定 21世纪逻辑学的面貌，至少在21世纪早期，逻辑学将关注下列论题：（1）如何在逻辑 上处理常识推理的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性 智能，如从经验证据中建立用以指导以後的行动的可能的归纳判断？（3）如何表示知识 表示和知识推理？特别是用於已知的知识库以及各认知主体相互之间的知识而进行的推 理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能用人的 自然语言与人进行自然的交际？等等。 详文请见哲学与文化月刊第329期。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.112.248.231