Domain and Formula Circumscription
An earlier formulation of circumscription by McCarthy is based on minimizing the domain of first-order models, rather than the extension of predicates. Namely, a model is considered less than another if it has a smaller domain, and the two models coincide on the evaluation of the common tuples of values. This version of circumscription can be reduced to predicate circumscription.
Formula circumscription was a later formalism introduced by McCarthy. This is a generalization of circumscription in which the extension of a formula is minimized, rather than the extension of a predicate. In other words, a formula can be specified so that the set of tuples of values of the domain that satisfy the formula is made as small as possible.
Read more about this topic: Circumscription (logic)
Famous quotes containing the words domain and/or formula:
“No domain of nature is quite closed to man at all times.”
—Henry David Thoreau (1817–1862)
“My formula for greatness in human beings is amor fati: that one wants to change nothing, neither forwards, nor backwards, nor in all eternity. Not merely to endure necessity, still less to hide it—all idealism is mendacity in the face of necessity—but rather to love it.”
—Friedrich Nietzsche (1844–1900)