Generalized resolution in Boolean operator fuzzy logic

作     者：邓安生 

作者机构：Department of Computer Science Jilin University Changchun 130023 China 

出 版 物：《Chinese Science Bulletin》 (科学通报(英文版))

年 卷 期：1995年第40卷第24期

页      面：2092-2095页

核心收录：

学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学] 

基　　金：the National Natural Science Foundation of China  the National High Technology Development Program and the National "PanDeng" Program 

主　　题：Boolean operator fuzzy logic false level generalized resolution. 

摘      要：The generalized resolution method presented in ref. [1] is a generalization of Robinson’s resolution principle in the first-order logic, which can be applied to a set of nonclausal formulae, i.e. a set of generalized clauses. The method can not only avoid the symbolic redundancy generated from the procedure of transforming a formula into a set of clauses, but also keep the natural description of the problem.