O'Reilly logo

Handbook of Automated Reasoning by Andrei Voronkov, Alan J.A. Robinson

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

7 Conclusion

Reasoning in everyday life is quite different from the kind of reasoning considered in classical formal logic. While the latter has been investigated exhaustively in this century, the former has been brought to attention in the early research on artificial intelligence. In many areas (like planning or diagnosis) we are faced up with problems related to uncertainty about the current situation: we do not have complete knowledge, neither about the facts that are true nor about the rules describing how the world evolves. Many competing methods arose out of this problem: fuzzy logic, probabilistic reasoning, case-based reasoning, qualitative reasoning, spatial reasoning etc. Most, if not all of them, have an important nonmonotonic ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required