目前人工智能对程序性知识的形式化相当有限、认知科学对程序记忆的研究始起步，哲学研究就更是停滞不前。这次报告主要分两部分︰(1) 整理现有文献下对程序性知识的研究；(2)给出新的程序性知识的初步形式化，并与现有理论进行对比。
