12月13日张炎讲座:Solving the Frame Problem
附件:   

2016年12月13日,人民大学的张炎应邀前来进行了题为“Solving the Frame Problem”的学术报告。报告摘要如下:


In logic-based AI, knowledge are represented as collection of formulas of formal logic. The frame problem is a difficulty of describing a dynamic system without explicitly representing a large number of obvious facts about things that do not change. In spite of its great difficulty, several approaches now exist that are closed to an adequate solution. In this talk, we will follow John McCarthy's original idea closely, and present the approach based on the situation calculus with the use of circumscription. We will show that the frame problem and its closest twin the ramification problem can be more or less solved in this framework.


发布时间:2016-12-13 22:20:53
   
联系我们      关于本站      版权所有© 2009-2017  北京大学哲学系逻辑、语言与认知研究中心      地址:北京大学人文学苑二号楼