18 and 25 Feb 2004
CS 3243 - Logical Agents
17
Models
nLogicians typically think in terms of models, which are formally structured worlds with respect to which truth can be evaluated
n
nWe say m is a model of a sentence α if α is true in m
n
nM(α) is the set of all models of α
n
nThen KB ╞ α iff M(KB) Í M(α)
nE.g. KB = Giants won and Reds
won α = Giants won