488.txt

This complete matlab for neural network

发信人: tyqqre (tyqqre), 信区: DataMining
标  题: Re: 请教：Horn Clause是用来做什么的
发信站: 南京大学小百合站 (Fri Oct 25 19:10:15 2002)

我谈谈我的理解：
数理学家已经证明，在一阶语言中，任一个合适公式（wff)都可以转化为一组子句，而一
个wff不可满足，当且仅当它所转化成的子句集不可满足。对于逻辑程序设计和大多数人工
智能问题来说，只要保持不可满足性就够了。即是一个wff可以从一个合适公式集合中逻辑
推导出来，那么也可以从该合适公式集合转换成的子句集合中逻辑地产生。子句则是有如
下形式的wff:
                            A1 V..VAk V ~B1...V ~Bs
即等价与
                            A1 V..VAk <- B1^...^Bs

如果k<=1则是Horn 子句集了。在逻辑程序语言prolog中则采用了horn子句的三种表现形式
：条件子句，无条件子句和目标子句。而关联规则也是采用的这种表达形式！

                            

--

※ 来源:．南京大学小百合站 http://bbs.nju.edu.cn [FROM: 202.112.78.52]