This thesis is part of the ongoing effort to find better languages and reasoning tools for science, epistemology, causality and probability: both intuitive graphical syntaxes for humans to reason with, and formal languages for computers, linked by a trusted and transparent mathematical formalism.
References
- Pawel Sobocinski, Trustworthy AI, grant proposals, personal communication.
- Sam Staton, grant proposals, personal communication.
- David Dalrymple, grant proposals, personal communication.