computer-based mathematical reasoning that includes geometric theorem proofs, algebraic equation solving, and mathematical theorem proofs. It is a subdiscipline of artificial intelligence.
AUTOMATED REASONING: "Automated reasoning refers to the type of logical reasoning done by computers."
Cite this page: N., Sam M.S., "AUTOMATED REASONING," in PsychologyDictionary.org, April 7, 2013, https://psychologydictionary.org/automated-reasoning/ (accessed February 7, 2023).