18 and 25 Feb 2004
CS 3243 - Logical Agents
16
Entailment
nEntailment means that one thing follows from another:
nKB ╞ α
nKnowledge base KB entails sentence α if and only if α is true in all worlds where KB is true
n
nE.g., the KB containing “the Giants won” and “the Reds won” entails “Either the Giants won or the Reds won”
nE.g., x+y = 4 entails  4 = x+y
nEntailment is a relationship between sentences (i.e., syntax) that is based on semantics