kooyee ‘s blog

开源软件， 众人努力的结晶， 全人类的共同财富
posts - 103, comments - 55, trackbacks - 0, articles - 66
   :: 首页 :: 新随笔 :: 联系 :: 聚合  :: 管理

AI 人工智能

Artificial Intelligence 人工智能 —— 突破自我，人类智慧的结晶

Horn Clause

     摘要: 一个clause形如
B1，B2, …, Bm >- A1, A2, …, An

如果A1, A2, …, An同时成立，那么可以导出B1或B2，…, 或Bm
A之间是and的关系，B是or的关系。

如果X是Z的父母，且Z是Y的父母，那么X是Y的祖父母
grandparent(X, Y) >- parent(X, Z), parent(Z, Y).

不能导出结论，good和bad不可能同时成立
>- good(X), bad(X).

  阅读全文

posted @ 2007-12-12 07:30 kooyee 阅读(950) | 评论 (0)  编辑 |