Research Article
Weighted Constraint Satisfaction for Smart Home Automation and Optimization
Algorithm 2
Conversion for direct value assignment.
, is a value where either or ; | is the initial value of ; | set to empty; | if is not a response variable then | for = all activities do | if Found in the effects then | Add precondition in ; | end | end | end | Add as sub-goal; | note: statement is true if at least one addition of | precondition in it is true; |
|