Title :
An Axiomatic Interpretation of Interval Generalized Incidence Calculus
Author :
Ji, Qiu ; Wu, Qing-Xiang ; Huang, Xi
Author_Institution :
Sch. of Phys. & OptoElectronic Technol., Fujian Normal Univ., Fuzhou
Abstract :
An interval generalized incidence calculus theory (IGICT) has been proposed. In this paper, we give an axiomatization of IGICT. After introducing a new definition of possible world, we prove that the interval generalized incidence calculus constructed by axioms is equivalent to the one constructed by possible worlds. We then show that the lower and upper incidence functions can be used to define an interval structure
Keywords :
Boolean algebra; inference mechanisms; process algebra; set theory; uncertainty handling; Boolean algebra; IGICT axiomatic interpretation; Lukasiewicz three-valued logic; interval generalized incidence calculus theory; uncertain reasoning; Boolean algebra; Calculus; Commutation; Cybernetics; Data mining; Machine learning; Multiagent systems; Physics; Probabilistic logic; Probability; Robots; Set theory; Uncertain reasoning; incidence calculus; interval structure; ¿ukasiewicz´s three-valued logic;
Conference_Titel :
Machine Learning and Cybernetics, 2006 International Conference on
Conference_Location :
Dalian, China
Print_ISBN :
1-4244-0061-9
DOI :
10.1109/ICMLC.2006.259131
