AUTOMATED REASONING

9

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).

LEAVE A REPLY

Please enter your comment!
Please enter your name here