reasoning+faculty
131reason — n 1 Reason, ground, argument, proof are comparable when they mean a point or series of points offered or capable of being offered in support of something questioned or disputed. Reason usually implies the need of justification, either to oneself… …
132Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… …
