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
knows.
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.
dave@cs.cf.ac.uk