Eigenlogic: a quantum view for multiple-valued and fuzzy systems
From MaRDI portal
Abstract: We propose a matrix model for two- and many-valued logic using families of observables in Hilbert space, the eigenvalues give the truth values of logical propositions where the atomic input proposition cases are represented by the respective eigenvectors. For binary logic using the truth values {0,1} logical observables are pairwise commuting projectors. For the truth values {+1,-1} the operator system is formally equivalent to that of a composite spin 1/2 system, the logical observables being isometries belonging to the Pauli group. Also in this approach fuzzy logic arises naturally when considering non-eigenvectors. The fuzzy membership function is obtained by the quantum mean value of the logical projector observable and turns out to be a probability measure in agreement with recent quantum cognition models. The analogy of many-valued logic with quantum angular momentum is then established. Logical observables for three-value logic are formulated as functions of the Lz observable of the orbital angular momentum l=1. The representative 3-valued 2-argument logical observables for the Min and Max connectives are explicitly obtained.
Recommendations
Cited in
(5)- scientific article; zbMATH DE number 52682 (Why is no real title available?)
- Energy discriminant analysis, quantum logic, and fuzzy sets
- Fuzzy Logic Behavior of Quantum-Controlled Braitenberg Vehicle Agents
- Quantum theory as a relevant framework for the statement of probabilistic and many-valued logic
- Eigenlogic in the spirit of George Boole
This page was built for publication: Eigenlogic: a quantum view for multiple-valued and fuzzy systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1631821)
