Weighted Constraint Satisfaction for Smart Home Automation and Optimization

Table 2

Examples of relevant activities (as FOL).

Name	Precondition	Effect	Wt
generator1ON			3
generator1OFF			3
generator2ON			2
generator2OFF			2
lightDim’n’ON
lightDim’n’OFF
lightBright’n’ON
lightBright’n’OFF
fan’n’ON
fan’n’OFF
door’n’Open			2
door’n’Close			2
window’n’Open
window’n’Close
curtain’n’Open
curtain’n’Close
TVON			2
TVOFF			2
SwitchChannel			2
GetUPchannel			2
GetWeather			2