;;
;; Configuration file for PLN unit test (used by
;; BackwardChainerUTest.cxxtest)
;;
;; To be loaded first
;; Load the rules (use load for relative path w.r.t. to that file)
(load-from-path "tests/ure/meta-rules/conditional-full-instantiation-meta-rule.scm")
(load-from-path "tests/ure/rules/bc-deduction-rule.scm")
(load-from-path "tests/ure/rules/fuzzy-conjunction-introduction-rule.scm")
;; Associate the rules to the rule base (with weights, their semantics
;; is currently undefined, we might settled with probabilities but it's
;; not sure)
(define rule-confidence 0.5)
(MemberLink (stv 1 rule-confidence)
conditional-full-instantiation-meta-rule-name
(ConceptNode "URE")
)
(MemberLink (stv 0.6 rule-confidence)
bc-deduction-rule-name
(ConceptNode "URE")
)
(MemberLink (stv 1 rule-confidence)
fuzzy-conjunction-introduction-1ary-rule-name
(ConceptNode "URE")
)
(MemberLink (stv 1 rule-confidence)
fuzzy-conjunction-introduction-2ary-rule-name
(ConceptNode "URE")
)
(MemberLink (stv 1 rule-confidence)
fuzzy-conjunction-introduction-3ary-rule-name
(ConceptNode "URE")
)
(MemberLink (stv 1 rule-confidence)
fuzzy-conjunction-introduction-4ary-rule-name
(ConceptNode "URE")
)
(MemberLink (stv 1 rule-confidence)
fuzzy-conjunction-introduction-5ary-rule-name
(ConceptNode "URE")
)
;; termination criteria parameters
(ExecutionLink
(SchemaNode "URE:maximum-iterations")
(ConceptNode "URE")
(NumberNode "500")
)
;; Attention allocation (set the TV strength to 0 to disable it, 1 to
;; enable it)
(EvaluationLink (stv 0 1)
(PredicateNode "URE:attention-allocation")
(ConceptNode "URE")
)
;; termination criteria parameters
(ExecutionLink
(SchemaNode "URE:complexity-penalty")
(ConceptNode "URE")
(NumberNode "1")
)