Toward a formal representation of radical interpretation
Eric Flaten

Abstract:
My thesis presents possible ways to use Bayesian networks to formally represent the different parts of Davidson’s unified theory. Then by way of an experiment with an imaginary radical interpreter and her speaker, I demonstrate how GeNIe, a Bayesian network software, can represent the radical interpreter attributing her beliefs to the alien, the belief revision process the interpreter goes through to refine her belief about his beliefs, and a way to derive T-sentences in a natural language equivalence of Tarski’s Convention T.