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 to, relations and/or models:

    “Subject the material world to the higher ends by understanding it in all its relations to daily life and action.”
    —Ellen Henrietta Swallow Richards (1842–1911)

    “As death, when we come to consider it closely, is the true goal of our existence, I have formed during the last few years such close relations with this best and truest friend of mankind, that his image is not only no longer terrifying to me, but is indeed very soothing and consoling! And I thank my God for graciously granting me the opportunity ... of learning that death is the key which unlocks the door to our true happiness.”
    —Wolfgang Amadeus Mozart (1756–1791)

    “Friends broaden our horizons. They serve as new models with whom we can identify. They allow us to be ourselves—and accept us that way. They enhance our self-esteem because they think we’re okay, because we matter to them. And because they matter to us—for various reasons, at various levels of intensity—they enrich the quality of our emotional life.”
    —Judith Viorst (20th century)