An Axiomatic Interpretation of Interval Generalized Incidence Calculus

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 b...

Full description

Saved in:
Bibliographic Details
Main Authors: Ji, Qiu, Wu, Qing-xiang, Huang, Xi
Format: Conference Proceeding
Language:English
Subjects:
Boolean algebra
Calculus
Commutation
Data mining
incidence calculus
interval structure
Multiagent systems
Physics
Probabilistic logic
Probability
Robots
Set theory
Uncertain reasoning
Łukasiewicz's three-valued logic
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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
ISSN:2160-133X
DOI:10.1109/ICMLC.2006.259131