我正在尝试使用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
从未被解雇。
答案 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中提出了这个问题。