Next: How can we reason?
Up: Reasoning with Uncertainty: Non-Monotonic
Previous: Reasoning with Uncertainty: Non-Monotonic
- When we require any knowledge system to do something it has not been
explicitly told how to do it must reason.
- The system must figure out what it needs to know from what it already
We have seen simple example of reasoning or drawing inferences already. For
example if we know:
Robins are birds.
All birds have wings.
Then if we ask:
Do robins have wings?
Some reasoning (albeit very simple) has to go on answer the question.