Relations To Other Models
The well-founded semantics can be viewed as a three-valued version of the stable model semantics. Instead of only assigning propositions true or false, it also allows for a value representing ignorance.
For example, if we know that
Specimen A is a moth if specimen A does not fly during daylight.
but we do not know whether or not specimen A flies during the day, the well-founded semantics would assign the proposition ``specimen A is a moth`` the value bottom which is neither true nor false.
Read more about this topic: Well-founded Semantics
Famous quotes containing the words relations and/or models:
“What a man sows, that shall he and his relations reap.”
—Clarissa Graves (1892–1985?)
“Today it is not the classroom nor the classics which are the repositories of models of eloquence, but the ad agencies.”
—Marshall McLuhan (1911–1980)