C.J. Hinde (UK)
Contradiction, Atanassov Intuitionistic Fuzzy Sets.
While it is common to reason about the truth of statements made about the world, it is less common to make state ments about paradoxical statements. This paper introduces a modal operator, contra ( ) that enables true statements to be made about contradictory evidence without explicitly denoting the contradiction. A converse operator, decontra ( ) allows contradiction to be reinstated. These operators allow reasoning systems to reason without taking contradiction within the statements into account. It also allows the contradiction to be recovered after the reasoning has terminated. Inconsistency may be dealt in a different manner but contradiction requires a modal like operator.
Important Links:
Go Back
