DocumentCode
2891968
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
fYear
2006
fDate
13-16 Aug. 2006
Firstpage
1996
Lastpage
2001
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Machine Learning and Cybernetics, 2006 International Conference on
Conference_Location
Dalian, China
Print_ISBN
1-4244-0061-9
Type
conf
DOI
10.1109/ICMLC.2006.259131
Filename
4028392
Link To Document