Bipolar Logic and Bipolar Knowledge Fusion
Document Type
Article
Publication Date
7-2002
Publication Title
Proceedings of the Fifth International Conference on Information Fusion
DOI
10.1109/ICIF.2002.1020983
Abstract
It is observed that Boolean logic is a unipolar logic defined in the unipolar space {0,1}. It is argued that a unipolar system cannot be directly used to represent and reason with the coexistence of bipolar truth. To circumvent the representational and reasoning limitations of unipolar systems, a 4-valued bipolar combinational logic BCL is introduced based on the ancient Chinese Yin-Yang philosophy. The new logic is defined in a strict bipolar space S = {- 1,0}/spl times/{0,1}, which is proved a generalization of Boolean logic and a fusion of two interactive unipolar subsystems. Bipolar tautologies including modus ponens are introduced for bipolar inference. The semantics of the new logic is established, justified, and compared with unipolar systems. Bipolar relations, bipolar transitivity, and polarized reflexivity are introduced. An O(n/sup 3/) algorithm is presented for bipolar transitive closure computation. In addition, the lair's case in the ancient paradox is redressed based on bipolar logic and bipolar relations.
Recommended Citation
Zhang, Wen-Ran.
2002.
"Bipolar Logic and Bipolar Knowledge Fusion."
Proceedings of the Fifth International Conference on Information Fusion, 2: 1428-1433: IEEE.
doi: 10.1109/ICIF.2002.1020983
https://digitalcommons.georgiasouthern.edu/compsci-facpubs/13
