|
|
|
|
|
|
|
|
|
|
|
|
|
Qualification
problem in FOL
|
|
|
|
|
e.g.
car doesnt start
|
|
|
|
Problems:
|
|
|
|
|
no
exceptions? ή big rules!
|
|
|
|
|
no
knowledge of likelihood of each exceptions
|
|
|
|
no
complete theory (e.g. medical science)
|
|
|
|
|
even
given complete rules, sometime we only
|
|
|
have
partial evidence
|
|