Reasoning is the process of discivering new things from existing knowledge. The three main main types are deductive -- classic logical reasoning, inductive -- finding patterns in examples, and abductive -- thinking more about the cause-effect processes that gave rise to known facts or observations. Reasining sysems may need to deal with uncertainty or probabilities as well as fixed facts.
Also known as definition