There have been various attempts to build logic languages that deal with uncertain information (eg http://www.is.informatik.uni-duisburg.de/bib/pdf/ir/Fuhr_99a...).