2 citations · 2 across the 5 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2017
Plausibility and probability in deductive reasoning
Andrew MacFie
We consider the problem of rational uncertainty about unproven mathematical statements, remarked on by Gödel and others. Using Bayesian-inspired arguments we build a normative mode…
cs.AI2016
Analysis of Algorithms and Partial Algorithms
Andrew MacFie
We present an alternative methodology for the analysis of algorithms, based on the concept of expected discounted reward. This methodology naturally handles algorithms that do not…