•KB-agent: “Knowledge
is power” à “Ability to derive new knowledge is ability to increase power.”
•Overview of
Propositional Logic as a language for a
KB-agent
•Tradeoff: expressivity
vs. tractability
•Practical Example:
circuit test pattern generation
•Automatic theorem
proving approaches
•
