The use of computer algorithms and logic-based systems to solve problems that typically require human intelligence, such as deducing new facts from given data or proving mathematical theorems.

• Artificial Intelligence
• Machine Learning
• Software engineering
• Data analysis
• Robotics
• Healthcare diagnostics
• Financial modeling
• Cybersecurity

An example of automated reasoning is a system that uses logical rules and constraints to deduce the cause of a particular problem, without relying on human intuition or trial-and-error methods.

• Effective Problem Formulation