Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Preferential_entailment> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Preferential_entailment abstract "Preferential entailment is a non-monotonic logic based on selecting only models that are considered the most plausible. The plausibility of models is expressed by an ordering among models called a preference relation, hence the name preference entailment.Formally, given a propositional formula and an ordering over propositional models , preferential entailment selects only the models of that are minimal according to . This selection leads to a non-monotonic inference relation: holds if and only if all minimal models of according to are also models of .Circumscription can be seen as the particular case of preferential entailment when the ordering is based on containment of the sets of variables assigned to true (in the propositional case) or containment of the extensions of predicates (in the first-order logic case).".
- Preferential_entailment wikiPageID "3011353".
- Preferential_entailment wikiPageRevisionID "532202876".
- Preferential_entailment hasPhotoCollection Preferential_entailment.
- Preferential_entailment subject Category:Knowledge_representation.
- Preferential_entailment subject Category:Logic_in_computer_science.
- Preferential_entailment subject Category:Non-classical_logic.
- Preferential_entailment comment "Preferential entailment is a non-monotonic logic based on selecting only models that are considered the most plausible. The plausibility of models is expressed by an ordering among models called a preference relation, hence the name preference entailment.Formally, given a propositional formula and an ordering over propositional models , preferential entailment selects only the models of that are minimal according to .".
- Preferential_entailment label "Preferential entailment".
- Preferential_entailment sameAs m.08kfsg.
- Preferential_entailment sameAs Q7239830.
- Preferential_entailment sameAs Q7239830.
- Preferential_entailment wasDerivedFrom Preferential_entailment?oldid=532202876.
- Preferential_entailment isPrimaryTopicOf Preferential_entailment.