Title :
A new kind of flexible interval-implication
Author :
Xue, Zhan-Ao ; He, Hua-Can
Author_Institution :
Sch. of Comput. Sci., Northwestern Polytech. Univ., Xi´´an, China
Abstract :
The implication is the emphasis and difficulty in the study of logics. From the point of view of interval structure, the operations of the universal logics including interval-intersection, interval-union, interval-complement and interval-implication are redefined based on the radical models. Regularity and monotonicity of interval-implication are proved; interval-intersection and interval-implication are proved to be an adjoint pair. In the paper, operation models of the interval-implication are firstly given in the special points of h. It is very important to the further study on flexibility of the interval-logics.
Keywords :
formal logic; flexible interval-implication; interval-complement; interval-intersection; interval-logics; interval-union; radical model; universal logics; Computer science; Cybernetics; Helium; Logic; Machine learning; Noise measurement; Generalized Correlation; Interval Structure; Interval-Implication; Universal Logics;
Conference_Titel :
Machine Learning and Cybernetics, 2005. Proceedings of 2005 International Conference on
Conference_Location :
Guangzhou, China
Print_ISBN :
0-7803-9091-1
DOI :
10.1109/ICMLC.2005.1527421
