| Class summary | |
|---|---|
| irl-program-evaluation-node | |
| Method summary | |
|---|---|
| bindings | irl-program-evaluation-node |
| children | irl-program-evaluation-node |
| primitives-evaluated | irl-program-evaluation-node |
| primitives-evaluated-w/o-result | irl-program-evaluation-node |
| primitives-remaining | irl-program-evaluation-node |
| status | irl-program-evaluation-node |
| Function summary | |
|---|---|
| check-irl-program | irl-program &optional (ontology (make-blackboard)) |
| check-node-no-duplicate-solutions | node nodes solutions &rest rest |
| evaluate-irl-program | irl-program ontology &key configuration (check-node-fn (quote check-node-no-duplicate-solutions)) (check-irl-program-fn (quote check-irl-program)) (choose-next-primitive-fn (quote random-elt)) (evaluate-bind-statements-fn (quote evaluate-bind-statements)) |
| evaluate-primitive-in-program | primitive-in-program bindings &optional (ontology (make-blackboard)) |
| irl-program-connected? | irl-program |
| irl-program-p | thing |
| :status | [Initarg] |
| :children | [Initarg] |
| :bindings | [Initarg] |
| :primitives-evaluated | [Initarg] |
| :primitives-remaining | [Initarg] |
| :primitives-evaluated-w/o-result | [Initarg] |
| status | [Slot] |
Status of this node (initial primitives-remaining inconsistent no-primitives-remaining solution bad-node)
Returns and (with setf) changes the primitives-evaluated-w/o-result of the specified irl-program-evaluation-node
Returns and (with setf) changes the primitives-remaining of the specified irl-program-evaluation-node
Returns and (with setf) changes the primitives-evaluated of the specified irl-program-evaluation-node
Returns and (with setf) changes the bindings of the specified irl-program-evaluation-node
Returns and (with setf) changes the children of the specified irl-program-evaluation-node
| evaluate-primitive-in-program | primitive-in-program bindings &optional (ontology (make-blackboard)) | [Function] |
primitive-in-program -- primitive from irl program e.g.
(pick-apples ?var-1 ?var3 ?var-123) bindings -- ((?var-1 1.0 value-1)(?var-2 nil nil)...) ontology -- blackboard Returns new sets of bindings -- (((?var-1 1.0 value-1)(?var-2 1.0 value-2)) ((?var-1 1.0 value-1)(?var-2 1.0 value-3))...)
Checks irl-program for mistakes
Checks whether an irl program is connected. Returns t if so, the number of sub graphs and the sub graphs themselves