Maximum Entropy Inference with Quantified Knowledge

Abstract

We investigate uncertain reasoning with quantified sentences of the predicate calculus treated as the limiting case of maximum entropy inference applied to finite domains.