Research Article
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 |
|
|