Chapter 5
Limitations of deductive reasoning
Objectives
After this chapter you should be able to
Give examples for nonmonotonic reasoning.
Explain the ``Negation as failure'' principle and give examples.
State the closed world assumption and give examples where it is justified, and where it is not.
State and explain the circumscription scheme and give examples for predicate circumscription.
Key words:
Circumscription, closed world assumption, negation as failure, nonmonotonic reasoning
Key symbols:
Chapter:
1
2
3
4
5
6
7
8
9
10
