附件两篇文章，讲知识建模的的逻辑递归算法的。末尾一共4*2=8道练习题。，看看大家是怎么解的，互相学习一下。

xie xie le

http://en.wikipedia.org/wiki/First-order_logic

作业里面 first order logic定义

http://plato.stanford.edu/entries/logic-ai/

stanford人工智能与逻辑

这个对搞人工智能和决策支持的应该是小题目。