39,113 research outputs found
Weighted p-bits for FPGA implementation of probabilistic circuits
Probabilistic spin logic (PSL) is a recently proposed computing paradigm
based on unstable stochastic units called probabilistic bits (p-bits) that can
be correlated to form probabilistic circuits (p-circuits). These p-circuits can
be used to solve problems of optimization, inference and also to implement
precise Boolean functions in an "inverted" mode, where a given Boolean circuit
can operate in reverse to find the input combinations that are consistent with
a given output. In this paper we present a scalable FPGA implementation of such
invertible p-circuits. We implement a "weighted" p-bit that combines stochastic
units with localized memory structures. We also present a generalized tile of
weighted p-bits to which a large class of problems beyond invertible Boolean
logic can be mapped, and how invertibility can be applied to interesting
problems such as the NP-complete Subset Sum Problem by solving a small instance
of this problem in hardware
Approximating Propositional Calculi by Finite-valued Logics
The problem of approximating a propositional calculus is to find many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few tautologies as possible. This has potential applications for representing (computationally complex) logics used in AI by (computationally easy) many-valued logics. It is investigated how far this method can be carried using (1) one or (2) an infinite sequence of many-valued logics. It is shown that the optimal candidate matrices for (1) can be computed from the calculus
Eigenlogic: a Quantum View for Multiple-Valued and Fuzzy Systems
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.Comment: 11 pages, 2 table
- …