18 and 25 Feb 2004
CS 3243 - Logical Agents
74
Summary
nLogical agents apply inference to a knowledge base to derive new information and make decisions
nBasic concepts of logic:
nsyntax: formal structure of sentences
nsemantics: truth of sentences wrt models
nentailment: necessary truth of one sentence given another
ninference: deriving sentences from other sentences
nsoundness: derivations produce only entailed sentences
ncompleteness: derivations can produce all entailed sentences
nWumpus world requires the ability to represent partial and negated information, reason by cases, etc.
nResolution is complete for propositional logic
Forward, backward chaining are linear-time, complete for Horn clauses
nPropositional logic lacks expressive power