Artificial Intelligence
Automated Reasoning
The use of logic to automatically derive conclusions from known information.
Automated reasoning systems apply formal rules to facts, assumptions or mathematical statements. Their goal is to determine whether a conclusion follows logically, find contradictions or generate a valid sequence of reasoning steps.
The technique is used in theorem proving, software verification, legal reasoning, configuration systems and intelligent planning. It can produce highly reliable conclusions when the rules are correct, but it depends on having an accurate and sufficiently complete representation of the problem.
Also in Artificial Intelligence
JOIN NOW
Begin the first module
It is free, it is the real curriculum, and if it is not for you, you have lost nothing but an evening.
Join any time · Build AI skills at your pace