# EYE reasoning

### Architecture and Design

The Semantic Web Databus and Proofbus from Tim Berners-Lee which is
like a world wide welding machine transforming data into pragmatic proofs:

### Examples and Test Cases

- bayesian networks ccd, nbbn, swet
- computational mathematics complex, dpe, equation4, fib, pi, polygon, tak
- control systems cs
- description logic bmt, dt, gedcom, graph, h2o, rpo
- ershovian compilation dt, preduction
- evolutionary algorithms ea
- extensible imaging lldm
- logic programming 4color, dp, einstein, enigma1225, graph, hanoi, lee, queens, socrates, sudoku, witch
- markovian networks mmln
- neural networks fcm, fgcm
- quantum computation dqc
- turing machines turing, usm
- workflow composers gps, map, resto, restpath

### See also

- Computational Logic: Memories of the Past and Challenges for the Future