Re: JESS: How can I write this rule?

Jeremic Zoran Mon, 21 Jun 2004 04:15:09 -0700

This solution works fine. But I have another problem when I want to use it in another more complex rule.

(deftemplate concepts

(slot ID (type INTEGER))

(multislot prerequisite)

(slot ordinalNumber (type INTEGER))

(slot minKnowledgeLevel (type INTEGER)))

;;----- TEMPLATE THAT KEEPS LIST OF ALREADY LEARNED CONCEPTS----;;

(deftemplate passed_concepts

(slot ID (type INTEGER) ))

;;-----TEMPLATE THAT KEEPS LIST OF CONCEPTS THAT ARE ADDED TO CONCEPT PLAN

(deftemplate concepts_added_in_plan
(slot ID (type INTEGER)))

;;----- STUDENT TEMPLATE ---KEEPS DATA ABOUT CURRENT STUDENT KNOWLEDGE LEVEL----;;

(deftemplate student

(slot ID ( type INTEGER ) )

(slot knowledgeLevel ( type INTEGER )))

;;----- CHECK CONCEPT RULE --- CHECK IF THE CONCEPT COULD BE INSERT IN INSTRUCTIONAL PLAN----;;

(defrule check_concept_new
( concepts (ID ?cID) (prerequisite $?first ?one $?rest) (minKnowledgeLevel ?mKnLev))
( student (knowledgeLevel ?sKnLev))
(passed_concepts (ID ?one))
(concepts_added_in_plan (ID ?caipID))
(test (and (and (<= ?mKnLev ?sKnLev) (neq ?cID ?caipID) ) (not (and (concepts (ID ?cID) (prerequisite $?first ?one $?rest)) (not (passed_concepts (ID ?one)))))))
=>
(call ?pok addConceptInPlan ?cID ))

(defrule check_concept_old

?fact5 <- ( concepts (ID ?cID) (prerequisite $?pre)(minKnowledgeLevel ?mKnLev)(ordinalNumber ?oN))

?fact6 <- ( student (knowledgeLevel ?sKnLev))

?fact7 <- ( passed_concepts (ID $?pcID))

(test (and (<= ?mKnLev ?sKnLev) (subsetp $?pre $?pcID)) )

(call ?pok addConceptToPlan ?cID ?oN))

"check_concept_old" rule and your "all-prerequisites" rule both works fine, but when I try to merge them in another one "check_concept_new" it generates an error:

==> f-24 (MAIN::concepts (ID 140) (prerequisite 122 123) (ordinalNumber 23) (minKnowledgeLevel 2))
==> f-25 (MAIN::student (ID 2) (knowledgeLevel 2))
ERROR in addStudentData function, JessException.getmessage : Unimplemented function
ERROR addStudentData function, JessException.getContext :
while executing (concepts (ID ?cID) (prerequisite ?first ?one ?rest))
while executing (and (concepts (ID ?cID) (prerequisite ?first ?one ?rest)) (not (passed_concepts (ID ?one))))
while executing (not (and (concepts (ID ?cID) (prerequisite ?first ?one ?rest)) (not (passed_concepts (ID ?one)))))
while executing (and (and (<= ?mKnLev ?sKnLev) (neq ?cID ?caipID)) (not (and (concepts (ID ?cID) (prerequisite ?first ?one ?rest)) (not (passed_concepts (ID ?one))))))
while executing 'test' CE
while executing rule LHS (Node2)
while executing rule LHS (Node2)
while executing rule LHS (Node2)
while executing rule LHS (TECT)
==> f-26 (MAIN::passed_concepts (ID 122))

Thank you for your help

regards,

Jeremic Zoran