# 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 proofs:

## Examples and Test Cases

- bayesian networks ccd, nbbn, swet
- control systems cs
- description logic bmt, dt, entail, gedcom, graph, h2o, rpo
- ershovian compilation preduction
- extensible imaging lldm
- logic programming 4color, de, dp, dpe, gcc, graph, hanoi, lee, socrates, witch, zebra
- markovian networks mmln
- neural networks fcm, fgcm
- quantum computation dqc
- symbolic mathematics complex, equation, fibonacci, pi, polygon, polynomial, prime, tak
- universal machines turing, usm
- workflow composers gps, map, resto, restpath, twf