Automated reasoning

This is the process of using logical rules and inference to make decisions and solve problems.