Bilattice based Logical Reasoning for Automated Visual Surveillance and other Applications