| Completeness |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Completeness: i
is |
|||||||||||||||
| complete if
whenever |
|||||||||||||||
| KB╞
α, it is also true |
|||||||||||||||
| that KB ├i
α |
|||||||||||||||
| n | An incomplete |
||||||||||||||
| inference
algorithm |
|||||||||||||||
| cannot reach
all |
|||||||||||||||
| possible
conclusions |
|||||||||||||||
| n | Equivalent to |
||||||||||||||
| completeness in
search |
|||||||||||||||
| (chapter 3) |
|||||||||||||||
|
|
| All possible
clauses entailed by |
|
| the KB |
|
|
|
| Clauses inferable |
|
| from KB using IF |
|
|
|
|
| Original |
||
| KB |
||
