My dissertation, Truth, Belief, and Inquiry: A New Theory of Knowledge is available here
As part of its completion, I coded the following:
- ConvinceMe Update - An update to ConvinceMe to include simplicity weight, allow for contradiction-together, etc.Coded in Java.
- Calcuhater - A computer program used in an example of an unreliable (but prima facie plausible) belief-formation process. Coded in Ruby.
- ECHO scripts - Several scripts to demonstrate the acceptability of certain propositions given other background propositions, evidence, etc. Coded in ECHO.