Well-founded Semantics - Relations To Other Models

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:

    Children, who play life, discern its true law and relations more clearly than men, who fail to live it worthily, but who think that they are wiser by experience, that is, by failure.
    Henry David Thoreau (1817–1862)

    ... your problem is your role models were models.
    Jane Wagner (b. 1935)