Weighted Constraint Satisfaction for Smart Home Automation and Optimization

Algorithm 4

Conversion for negated variable assignment.

;

is the initial value of ;

set to empty;

for   = all activities   do

  if  is not a response variable   then

     if  Found in the effects   then

         Add precondition in ;

     end

  end

end

Add as sub-goal;

Add as sub-goal;