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, hanoi, lee, socrates, witch, zebra
• markovian networks mmln
• mathematical reasoning complex, equation, fibonacci, pi, polygon, polynomial, prime, tak
• neural networks fcm, fgcm
• quantum computation dqc
• universal machines turing, usm
• workflow composers gps, map, resto, restpath, twf