© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
Knowledge Representation and
Reasoning
•
A logic consists of
–
a formal language consisting of
•
syntax
•
semantics
–
a proof theory
•
terms: sentences, KB, valid, satisfiable,
model, entail, inference rule, sound,
complete
