呵呵，大家一起做作业

南京猿人

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

claude

<p>xie xie le</p>

南京猿人

<p>http://en.wikipedia.org/wiki/First-order_logic</p><p>作业里面 first order logic定义</p><p>http://plato.stanford.edu/entries/logic-ai/</p><p>stanford人工智能与逻辑</p><p>这个对搞人工智能和决策支持的应该是小题目。</p><p></p>