Automatic reasoning is an area of computer science dedicated to understanding the various aspects of reasoning in order to create programs that allow computers to reason partially or even completely automatically. The area is considered a subfamily of artificial intelligence, though it has strong connections with theoretical computer science and even with philosophy.
The most developed areas of automatic reasoning are automatic demonstration of theorems and automatic proof verification, but further work has been done in reasoning for abduction and induction, uncertain and non-monotonous reasoning. Voices correlateemodify wikitesto
wiki
