Professor John McCarthy
Father of AI

Articles

Parameterizing Models of Propositional Calculus Formulas

It is often inadequate that a theory be consistent, i.e. have models. It should have enough models. We discuss parameterizing the set of models in the special case of propositional satisfiability.

It is often inadequate that a theory be consistent, i.e. have models. It should have enough models. We discuss parameterizing the set of models in the special case of propositional satisfiability.

Download the article in PDF.