Research Article
Weighted Constraint Satisfaction for Smart Home Automation and Optimization
Algorithm 3
Conversion for variable assignment.
; | 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; | Add as sub-goal; |
|