an:07099906
Zbl 7099906
Raza, Asim; Bakhshi, Asim D.; Koshul, Basit
An application of Peircean triadic logic: modelling vagueness
EN
J. Logic Lang. Inf. 28, No. 3, 389-426 (2019)
0925-8531 1572-9583
2019
j
03-XX 68-XX
artificial intelligence; vagueness; binary logic; fuzzy logic; many-valued logic; Charles Sanders Peirce
Summary: Development of decision-support and intelligent agent systems necessitates mathematical descriptions of uncertainty and fuzziness in order to model vagueness. This paper seeks to present an outline of Peirce's triadic logic as a practical new way to model vagueness in the context of artificial intelligence (AI). Charles Sanders Peirce (1839-1914) was an American scientist -- philosopher and a great logician whose triadic logic is a culmination of the study of semiotics and the mathematical study of anti-Cantorean model of continuity and infinitesimals. After presenting Peircean semiotics within AI perspective, a mathematical formulation of a Peircean triadic set is given in relationship with classical and fuzzy sets. Using basic logical operators, all possible respective implication operators, bi-equivalence operators, valid rules of inference, and associative, distributive and commutative logical properties are derived and verified through the truth function approach. In order to suggest practical directions, aggregation operators for Peirce's triadic logic have been formulated. A mathematical formulation of a medical diagnostic problem and ER diagram of a library management system using Peirce's triadic relation show potential for further applications of the proposed triadic set and triadic logic. Alongside, a classical AI game -- The Wumpus World -- is implemented to show practical efficacy in comparison with binary implementation. Besides giving some preliminary formulations for trichotomous set theory and definition of finite automaton, development of hybrid architectures for intelligent agents and evolutionary computations are discussed as potential practical avenues for Peirce's triadic logic.