DocumentCode
441923
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
Volume
5
fYear
2005
fDate
18-21 Aug. 2005
Firstpage
2812
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Machine Learning and Cybernetics, 2005. Proceedings of 2005 International Conference on
Conference_Location
Guangzhou, China
Print_ISBN
0-7803-9091-1
Type
conf
DOI
10.1109/ICMLC.2005.1527421
Filename
1527421
Link To Document