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;