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:

    I want relations which are not purely personal, based on purely personal qualities; but relations based upon some unanimous accord in truth or belief, and a harmony of purpose, rather than of personality. I am weary of personality.... Let us be easy and impersonal, not forever fingering over our own souls, and the souls of our acquaintances, but trying to create a new life, a new common life, a new complete tree of life from the roots that are within us.
    —D.H. (David Herbert)

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