Toward a Synergy of a Lattice Implication Algebra with Fuzzy Lattice Reasoning - A Lattice Computing Approach

摘要

Automated reasoning can be instrumental in real-world applications involving "intelligent" machines such as (semi-)autonomous vehicles as well as robots. From an analytical point of view, reasoning consists of a series of inferences or, equivalently, implications. In turn, an implication is a function which obtains values in a welldefined set. For instance, in classical Boolean logic an implication obtains values in the set {0, 1}, i.e. it is either true (1) or false (0); whereas, in narrow fuzzy logic an implication obtains values in the specific complete mathematical lattice unit-interval, symbolically [0, 1], i.e. it is partially true/false.