Question

I need to use a forward chainer in certain Prolog problem. I would like to avoid to implement it my self from scratch with a vanilla meta-interpreter (but that is what I will have to do if no other option is available) since doing this with a meta-interpreter will be slow, and also I am sure that some good implementations should be around. Does someone know if YAP or SWI Prolog includes a native and efficient forward chainer ?. If that is the case, a pointer to how to install it/use it would be greatly appreciated.

如果这两个波季发动机上没有本地的链路器,有人会建议我根据我可以用作外部Prolog图书馆的一辆面包车会堂进行良好的开放源实施?

提前感谢。

Answer 1

YAP和SWI都包括执行《限制处理规则》——。 - 这是一种向前发展的规则系统。

我不能说它在你的特殊问题上的表现,但众所周知,人权中心是有效的(见与人权中心网站有关的文件)。

CHR also has Java, Haskell, and C implementations, so you could easily port your rules to one of those languages if you need better performance later on.

Answer 2

请允许我从最低逻辑的角度解释后向链和前向链条,而不是从决议的角度来看。正常的后向链式 Pro调程序规则可视为适用左侧推导逻辑规则。因此,基本上,当我们有一个目标P和一个规则A->P时,综合推论规则指出,我们可以将目标P改为目标A:

-------- (Id)
P |- P            G, A -> P |- A
--------------------------------- (Left ->)
        G, A -> P |- P

现在也可使用同一规则来模拟前向链式应用。此时此刻,我们没有目标P,相反,条件A却在主食中出现。当有一个规则A->P时,这一规则也使我们得以实现P头。总推论规则如下:

------- (Id)
A |- A            G, A, A -> P, P |- B
--------------------------------------- (Left ->)
         G, A, A -> P |- B

我们几乎没有什么方案的想法是完全赞扬前向链进程的F(M) = M号。我们这样做的是,我们赞扬M0、M1、M2等,只有这一进程结束时才奏效。从介绍性数据库来看,我们采纳了在Mn+1和Mn之间计算三角洲的想法,因此可以找到一个G,使F(Mn)Mn = G(Mn-1,Mn-1)的工作相对较少。

目前,G公司的实施可能会 st浅,因为重复数据目前尚未消除。在允许消除事实的前向链中,可以采用特别的前向规则消除重复。完整的前向链系统应当能够排除事实,然后可以用来实施制约解决制度。

但是,现在让它有简单的想法和相应的简单法典。

The G Function (delta/2) from the F Function (the original rules)
http://www.xlog.ch/jekejeke/forward/delta.p

The Toy Expert System with Forward Chaining
http://www.xlog.ch/jekejeke/forward/expert.p

友情链接