Using Tableaux Method to Represent Inconsistent Knowledge of Deep Web

Deep web can hold a lot of information with good quality and special subject, but there would be some inconsistent problems such as dynamic, inconsistency and uncertainty in deep web search. As a result, it is of great theoretic value and realistic importance to represent the huge inconsistent knowledge underneath the deep web with more reasonable estimations and judgments. Based on the analysis of monotonicity, dynamic and fuzziness of inconsistent knowledge in deep web, a set of theoretic methods have been proposed on the mixed logic of inconsistent knowledge representation and modeling mainly from the various non-classical logic syntax and semantics aspect. To represent the information of deep web in the form of a set of logic formulae which could be expanded by model generating calculator can enhance the pretreatment capacity of deep web search, as well as improve the reliability and dependence of the knowledge in inconsistent knowledge base.