Question

我正在做练习，我需要创建一个简单的约会机构匹配系统。目前每个人都有一个爱好，爱好是活跃和不活跃的类别，如果两个爱好匹配，两个人有异性，约会机构认为这些人是匹配。

所以现在我需要系统能够允许多种爱好，但我似乎无法理解这一点。

这就是我所拥有的：

(deftemplate MAIN::person
    (slot name)
    (slot age)
    (multislot hobby)
    (slot town)
    (slot sex))

(person (name "Jane")
        (age 25)
        (hobby fashion gardening)
        (town montrose)
        (sex female))

(deffacts hobby_types "Hobby categories"
    (hobby_type gardening active)
    (hobby_type swinging active)
    (hobby_type reading inactive)
    (hobby_type fashion inactive)
)

(defrule compatible_hobbies
    (opposite_sex ?name1 ?name2)
    (person (name ?name1) (hobby ?hobby1))
    (person (name ?name2) (hobby ?hobby2))
    (hobby_type ?hobby1 ?type)
    (hobby_type ?hobby2 ?type)
    =>
    (assert (hobbies_match ?name1 ?name2))
)

首先，我是否正确声明了多时隙字段？我如何调整我的compatible_hobbies规则以匹配一个人可能拥有的任何爱好？

Answer 1

正确地声明了多人的爱好。但是你的规则将无法正确匹配爱好，并且将相同的事实与显示Jane与Jane兼容的相同事实相匹配。实际上，如果规则与事实匹配，它将生成人事实的笛卡尔积（或大量不期望的匹配）。

我将规则修改为：

(defrule compatible_hobbies (person (name ?n1) (hobby $? ?h1 $?)) (person (name ?n2) (hobby $? ?h1 $?)) (hobby_type ?h1 ?x) (test (neq ?n1 ?n2)) => (assert (hobbies_compatible ?n1 ?n2)) )

所以，如果你断言两个人的事实，如

(person (name "Jane") (hobby blah1 gardening blah2))和(person (name "Jim") (hobby blah3 gardening blah4))然后规则将触发，事实（hobbies_compatible Jim Jane）将被断言（以及事实（hobbies_compatible“Jim”“Jane”））。

通配符$？变量匹配所需匹配爱好之前和之后的一组符号。你的异性事实也应该是一种考验，而不是一个事实。

CLIPS：多场插槽

1 个答案: