Preferential entailment
id:
preferential-entailment-254-15561715
title:
Preferential entailment
text:
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 F and an ordering over propositional models ≤ , preferential entailment selects only the models of F that are minimal according to ≤ . This selection leads to a non-monotonic inference relation: F ⊨ pref
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Preferential_entailment
date created:
date modified:
2022-11-20T02:17:17Z
main entity:
{"identifier":"Q7239830","url":"https://www.wikidata.org/entity/Q7239830"}
image:
fields total:
13
integrity:
13