Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.prolog > #14477

Will we ever have Real Quantum Neurons? (Re: neural networks cover rule based in zero order logic)

Show all headers | View raw

Hi,

There are some ideas to realize the neuronal neuron used
for belief networks on the computer. Via so called
“Repeat-Until-Success” (RUS) circuits maybe?

See also:

Towards a Real Quantum Neuron
Wei Hu - 2018
https://www.scirp.org/journal/paperinformation?paperid=83091

Quantum Neuron
Yudong Cao et al. - 2017
https://arxiv.org/abs/1711.11240

Bye

Mild Shock schrieb:
> 
> A storm of symbolic differentiation libraries
> was posted. But what can these Prolog code
> fossils do?
> 
> Does one of these libraries support Python symbolic
> Pieceweise ? For example one can define rectified
> linear unit (ReLU) with it:
> 
>                  /   x      x  >= 0
>      ReLU(x) := <
>                  \   0      otherwise
> 
> With the above one can already translate a
> propositional logic program, that uses negation
> as failure, into a neural network:
> 
> NOT     \+ p             1 - x
> AND     p1, ..., pn      ReLU(x1 + ... + xn - (n-1))
> OR      p1; ...; pn      1 - ReLU(-x1 - .. - xn + 1)
> 
> For clauses just use Clark Completion, it makes
> the defined predicate a new neuron, dependent on
> other predicate neurons,
> 
> through a network of intermediate neurons. Because
> of the constant shift in AND and OR, the neurons
> will have a bias b.
> 
> So rule based in zero order logic is a subset
> of neural network.
> 
> Python symbolic Pieceweise
> https://how-to-data.org/how-to-write-a-piecewise-defined-function-in-python-using-sympy/ 
> 
> 
> rectified linear unit (ReLU)
> https://en.wikipedia.org/wiki/Rectifier_(neural_networks)
> 
> Clark Completion
> https://www.cs.utexas.edu/~vl/teaching/lbai/completion.pdf
> 

Back to comp.lang.prolog | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Higher Order Logic Programming and Autograd Mild Shock <janburse@fastmail.fm> - 2025-03-11 13:02 +0100
  Re: Higher Order Logic Programming and Autograd Mild Shock <janburse@fastmail.fm> - 2025-03-11 13:07 +0100
    Re: Higher Order Logic Programming and Autograd Mild Shock <janburse@fastmail.fm> - 2025-03-11 13:14 +0100
  neural networks cover rule based in zero order logic (Was: Higher Order Logic Programming and Autograd) Mild Shock <janburse@fastmail.fm> - 2025-03-15 16:13 +0100
    Will we ever have Real Quantum Neurons? (Re: neural networks cover rule based in zero order logic) Mild Shock <janburse@fastmail.fm> - 2025-03-15 17:04 +0100
  Progress via library(linear) (Was: Higher Order Logic Programming and Autograd) Mild Shock <janburse@fastmail.fm> - 2025-03-16 22:59 +0100
    Credits go to Rolf Pfeiffer (Was: Progress via library(linear) (Was: Higher Order Logic Programming and Autograd)) Mild Shock <janburse@fastmail.fm> - 2025-03-16 23:07 +0100

csiph-web