| Summary |
|
|
|
|
|
|
|
|
|
|
| • | 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 |
||||||||
