Purpose The purpose of this paper is to apply the quantum “eigenlogic” formulation to behavioural analysis. Agents, represented by Braitenberg vehicles, are investigated in the context of the quantum robot paradigm. The agents are processed through quantum logical gates with fuzzy and multivalued inputs; this permits to enlarge the behavioural possibilities and the associated decisions for these simple vehicles. Design/methodology/approach In eigenlogic, the eigenvalues of the observables are the truth values and the associated eigenvectors are the logical interpretations of the propositional system. Logical observables belong to families of commuting observables for binary logic and many-valued logic. By extension, a fuzzy logic interpretation is proposed by using vectors outside the eigensystem of the logical connective observables. The fuzzy membership function is calculated by the quantum mean value (Born rule) of the logical projection operators and is associated to a quantum probability. The methodology of this paper is based on quantum measurement theory. Findings Fuzziness arises naturally when considering systems described by state vectors not in the considered logical eigensystem. These states correspond to incompatible and complementary systems outside the realm of classical logic. Considering these states allows the detection of new Braitenberg vehicle behaviours related to identified emotions; these are linked to quantum-like effects. Research limitations/implications The method does not deal at this stage with first-order logic and is limited to different families of commuting logical observables. An extension to families of logical non-commuting operators associated to predicate quantifiers could profit of the “quantum advantage” due to effects such as superposition, parallelism, non-commutativity and entanglement. This direction of research has a variety of applications, including robotics. Practical implications The goal of this research is to show the multiplicity of behaviours obtained by using fuzzy logic along with quantum logical gates in the control of simple Braitenberg vehicle agents. By changing and combining different quantum control gates, one can tune small changes in the vehicle’s behaviour and hence get specific features around the main basic robot’s emotions. Originality/value New mathematical formulation for propositional logic based on linear algebra. This methodology demonstrates the potentiality of this formalism for behavioural agent models (quantum robots).
Purpose The purpose of this paper is to apply the quantum “eigenlogic” formulation to behavioural analysis. Agents, represented by Braitenberg vehicles, are investigated in the context of the quantum robot paradigm. The agents are processed through quantum logical gates with fuzzy and multivalued inputs; this permits to enlarge the behavioural possibilities and the associated decisions for these simple vehicles. Design/methodology/approach In eigenlogic, the eigenvalues of the observables are the truth values and the associated eigenvectors are the logical interpretations of the propositional system. Logical observables belong to families of commuting observables for binary logic and many-valued logic. By extension, a fuzzy logic interpretation is proposed by using vectors outside the eigensystem of the logical connective observables. The fuzzy membership function is calculated by the quantum mean value (Born rule) of the logical projection operators and is associated to a quantum probability. The methodology of this paper is based on quantum measurement theory. Findings Fuzziness arises naturally when considering systems described by state vectors not in the considered logical eigensystem. These states correspond to incompatible and complementary systems outside the realm of classical logic. Considering these states allows the detection of new Braitenberg vehicle behaviours related to identified emotions; these are linked to quantum-like effects. Research limitations/implications The method does not deal at this stage with first-order logic and is limited to different families of commuting logical observables. An extension to families of logical non-commuting operators associated to predicate quantifiers could profit of the “quantum advantage” due to effects such as superposition, parallelism, non-commutativity and entanglement. This direction of research has a variety of applications, including robotics. Practical implications The goal of this research is to show the multiplicity of behaviours obtained by using fuzzy logic along with quantum logical gates in the control of simple Braitenberg vehicle agents. By changing and combining different quantum control gates, one can tune small changes in the vehicle’s behaviour and hence get specific features around the main basic robot’s emotions. Originality/value New mathematical formulation for propositional logic based on linear algebra. This methodology demonstrates the potentiality of this formalism for behavioural agent models (quantum robots).
This work proposes a formulation of propositional logic, named Eigenlogic, using quantum observables as propositions. The eigenvalues of these operators are the truth-values and the associated eigenvectors the interpretations of the propositional system. Fuzzy logic arises naturally when considering vectors outside the eigensystem, the fuzzy membership function is obtained by the Born rule of the logical observable.This approach is then applied in the context of quantum robots using simple behavioral agents represented by Braitenberg vehicles. Processing with non-classical logic such as multivalued logic, fuzzy logic and the quantum Eigenlogic permits to enlarge the behavior possibilities and the associated decisions of these simple agents.
This chapter proposes a formulation of propositional logic, named Eigenlogic, using quantum observables as propositions. The eigenvalues of these operators are the truth-values and the associated eigenvectors the interpretations of the propositional system. This approach is then applied in the context of quantum robots using simple behavioral agents represented by Braitenberg vehicles. Processing with non-classical logic such as multivalued logic, fuzzy logic and the quantum Eigenlogic permit to enlarge the behavior possibilities and the associated decisions of these simple agents. Valentino Braitenberg was a Cyberneticist and former director at the Max Planck Institute for Biological Cybernetics in Tubingen. A Braitenberg vehicle is an agent that can autonomously move around based on its light sensor inputs. Depending on the sensor-motor wiring, it appears to achieve certain situations and to avoid others, changing course when situation changes. The internal emotional state could be described now by a quantum circuit built from counterparts of fuzzy operators.
We propose a linear algebraic method, named Eigenlogic, for two-, many-valued and fuzzy logic using observables in Hilbert space. All logical connectives are represented by observables where the truth values correspond to eigenvalues and the atomic input propositional cases, i.e. the “models” of a propositional system, to the respective eigenvectors. In this way propositional logic can be formalized by using combinations of tensored elementary quantum observables. The outcome of a “measurement” of a logical observable will give the truth value of the associated logical proposition, and becomes “interpretable” when applied to vectors of its eigenspace, leading to an original insight into the quantum measurement postulate.Recently the concept of “quantum predicate” has been proposed in leading to similar concepts.We develop logical observables for binary logic and extend them to many-valued logic.For binary logic and truth values {0, 1} logical observables are commuting projector operators.For truth values {+1,−1} the logical observables are isometries formally equivalent to the ones of a composite quantum spin 12 system, these observables are reversible quantum logic gates.The analogy of many-valued logic with quantum angular momentum is then established using a general algebraic method, based on classical interpolation framework suggested by the finite-elementmethod. Logical observables for three-valued logic are formulated using the orbital angular momentum observable Lz with ` = 1. The representative 3-valued 2-argument logical observables for theternary threshold logical connectives Min and Max are then explicitly obtained.Also in this approach fuzzy logic arises naturally when considering vectors outside the eigensystem.The fuzzy membership function is obtained by the quantum mean value (Born rule) of the logical projector observable and turns out to be a probability measure. Fuzziness arises because ofthe quantum superposition of atomic propositional cases, the truth of a proposition being in this case a probabilistic value ranging from completely false to completely true.This method could be employed for developing algorithms in high-dimensional vector spaces for example in modern semantic theories, such as distributional semantics or in connectionist modelsof cognition. For practical implementation, due to the exponential growth of the vector space dimension, adapted logical reduction methods must then be used. LSA (Latent Semantic Analysis)algorithms are often used in quantum-like approaches, this was done using the HAL (Hyperspace Analogue to Language) algorithm.Our approach is also of interest for quantum computation because several of the observables in Eigenlogic are well-known quantum gates (for example CONTROL-Z) and other ones can be derived by unitary transformations. Ternary-logic quantum gates using qu-trits lead to less complex circuits, our formulation of multi-valued logical observables could help the development of new multi-valued quantum gate architectures.
Considering links between logic and physics is important because of the fast development of quantum information technologies in our everyday life. This paper discusses a new method in logic inspired from quantum theory using operators, named Eigenlogic. It expresses logical propositions using linear algebra. Logical functions are represented by operators and logical truth tables correspond to the eigenvalue structure. It extends the possibilities of classical logic by changing the semantics from the Boolean binary alphabet { 0 , 1 } using projection operators to the binary alphabet { + 1 , - 1 } employing reversible involution operators. Also, many-valued logical operators are synthesized, for whatever alphabet, using operator methods based on Lagrange interpolation and on the Cayley-Hamilton theorem. Considering a superposition of logical input states one gets a fuzzy logic representation where the fuzzy membership function is the quantum probability given by the Born rule. Historical parallels from Boole, Post, Poincaré and Combinatory Logic are presented in relation to probability theory, non-commutative quaternion algebra and Turing machines. An extension to first order logic is proposed inspired by Grover's algorithm. Eigenlogic is essentially a logic of operators and its truth-table logical semantics is provided by the eigenvalue structure which is shown to be related to the universality of logical quantum gates, a fundamental role being played by non-commutativity and entanglement.
Eigenlogic proposes a new method in logic inspired from quantum theory using operators. It expresses logical propositions using linear algebra. Logical functions are represented by operators and logical truth tables correspond to the eigenvalue structure. It extends the possibilities of classical logic by changing the semantics from the Boolean binary alphabet {0,1} using projection operators to the binary alphabet {+1,-1} employing reversible involution operators. Also, many-valued logical operators are synthesized, for whatever alphabet, using operator methods based on Lagrange interpolation and on the Cayley-Hamilton theorem. Considering a superposition of logical input states one gets a fuzzy logic representation where the fuzzy membership function is the quantum probability given by the Born rule. Eigenlogic is essentially a logic of operators and its truth-table logical semantics is provided by the eigenvalue structure which is shown to be related to the universality of logical quantum gates, a fundamental role being played by non-commutativity and entanglement.
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.