User talk:RaghadAF1

Why is it important for Artificial Intelligence systems to be able to prove theorems in an automated way? First of all, knowing that a problem can be solved is a big help. Running search algorithms on problems that cannot be solved can waste resources. Resolution is an important part of Artificial Intelligence research and provides a common method for systems to reason logically. This provides a basis for computer systems to automatically reason about a database of facts.

Resolution differ from the way humans generally reason

Humans typically must learn or be taught logical methods of contradiction. Whereas deduction, and abduction are part of our everyday reasoning processes, proof by contradiction is not. I will go out on a limb and state that most humans have a limited number of steps in which to solve a proof. Resolution can be very mechanical and tedious. Uses of automated reasoning

I think what has been opened up is that automated reasoning (AR) can greatly assist in problem solving to determine that a solution indeed does exist. Besides mathematics and logic, there are the fields of engineering, chemistry, and medicine that could benefit from AR