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