Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: the SINDI System