500.txt

来自「This complete matlab for neural network」· 文本 代码 · 共 9 行

发信人: dbfriend (littlefriend), 信区: DataMining
标  题: Re: 请教：Horn Clause是用来做什么的
发信站: 南京大学小百合站 (Sat Oct 26 10:47:58 2002)


【 在 tyqqre 的大作中提到: 】
: 我谈谈我的理解：
: 数理学家已经证明，在一阶语言中，任一个合适公式（wff)都可以转化为一组子句，..
: 个wff不可满足，当且仅当它所转化成的子句集不可满足。对于逻辑程序设计和大多