Monitoring Wireless Sensor Networks through Logical Deductive Processes