使用clipsPy修改CLIPS事实模板中的广告位值的不规则性

时间:2019-01-01 18:57:14

标签: python clips clipspy

我正在尝试使用CLIPSPY从python修改事实模板。它的行为很奇怪,因为它第一次确实修改了一个插槽,但是随后对于下一个插槽,它甚至没有将先前修改的插槽值重新修改为其他值!

这是python文件。

# run.py
import clips

clips_env = clips.Environment()

def py_modify_s1(p):
    p.retract()
    p["s_1"] = clips.Symbol("ABC") 
    p.assertit()

def py_modify_s2(p):
    p.retract()
    p["s_2"] = clips.Symbol("DEF") 
    p.assertit()

clips_env.define_function(py_modify_s1)
clips_env.define_function(py_modify_s2)

clips_env.load("KB.clp")
clips_env.reset()
clips_env.run()

这是clp文件。

(deftemplate t
        (slot s_1 (type SYMBOL) (default none))
        (slot s_2 (type SYMBOL) (default none))
)

(defrule rule_0
        (initial-fact)
        =>
        (assert (t))
)

(defrule rule_1
        ?p<-(t  (s_1 none) (s_2 none))
        =>
        (py_modify_s1 ?p)
        (facts)
)

(defrule rule_2
        ?p <- (t (s_1 ?x&~none) (s_2 none))
        =>
        (py_modify_s2 ?p)
        (facts)
)

(defrule rule_3
        ?p <- (t (s_1 ?x&~none) (s_2 ?y&~none))
        =>
        (printout t "All set")
        (facts)
)

在CLIPS Shell中运行相同的剪辑文件(用(modify ?p (s_1,ABC))替换py_modify)会产生预期的结果。但是从clipspy运行,我得到:

f-0     (initial-fact)
f-2     (t (s_1 ABC) (s_2 none))
For a total of 2 facts.
f-0     (initial-fact)
f-2     (t (s_1 ▒▒▒3wU) (s_2 none))
For a total of 2 facts.

请注意,s_1触发后rule_2如何包含一些垃圾值,并且s_2不仅被修改。结果,rule_3从未被解雇。

1 个答案:

答案 0 :(得分:0)

事实证明,事实一旦通过C(因此是Python)API断言就无法修改。改变事实的唯一方法是撤回原始事实并主张新事实。 《高级编程指南》的4.4.22 EnvPutFactSlot章。

唯一的办法似乎是收回旧事实,并用更新后的值断言新的事实。

def modify_fact(fact):
    """Modify a template fact."""
    fact.retract()

    new_fact = fact.template.new_fact()
    new_fact.update(dict(fact))  # copy over old fact slot values

    new_fact["s_1"] = clips.Symbol("v_2") 

    new_fact.assertit()

我也在CLIPS论坛上的discussion中提出了这个问题。