What is automated Reasoning?
"To understand what automated reasoning is, we must first
understand what reasoning is. Reasoning is the process of drawing
conclusions from facts.
For the reasoning to be sound, these conclusions must follow inevitably
from the facts from which they are drawn. In other words, reasoning
[...] is not concerned with some conclusion that has a good chance
of being true when the facts are true. Indeed, reasoning as used
here refers to logical reasoning, not of common-sense reasoning or probabilistic reasoning.
The only conclusions that are acceptable are those that follow logically from the supplied facts. The object of automated reasoning is to write computer programs that assist in solving problems and in answering questions requiring reasoning. "
Larry Wos; Ross Overbeek; Ewing Lusk; Jim Boyle
Automated reasoning: Introduction and Applications.
McGraw Hill 1992.
Sponsored by:
