Title :
Theorems proving for universal combinatorial operation model based on [A, B]
Author :
Fu, Li-hua ; Mao, Ming-yi
Author_Institution :
Coll. of Comput. Sci., Beijing Univ. of Technol., Beijing, China
Abstract :
In complex system, there is conflictive or consistent relation between every factor. Universal combinatorial operation provides a valid path to resolve the problem. The conventional universal combinatorial operation model has been limited in interval [0, 1]. So this paper studies a kind of universal combinatorial operation model based on interval [a, b]. And some important theorems are given and proved, which provide a foundation for the control application of universal combinatorial operation.
Keywords :
combinatorial mathematics; theorem proving; control application; theorems proving; universal combinatorial operation model; Computer science; Cybernetics; Educational institutions; Electronic mail; Fuzzy control; Fuzzy logic; Input variables; Machine learning; Uncertainty; Flexible logic control model; Fuzzy control; Universal combinatorial operation model; Universal logic;
Conference_Titel :
Machine Learning and Cybernetics, 2009 International Conference on
Conference_Location :
Baoding
Print_ISBN :
978-1-4244-3702-3
Electronic_ISBN :
978-1-4244-3703-0
DOI :
10.1109/ICMLC.2009.5212172
