Deductive reasoning

...The mechanism that manipulates such knowledge and information is called an inference engine, and machine inference is performed using these two.
[Deductive reasoning]
Reasoning that always leads to a logically correct conclusion is called deductive reasoning, and has been studied since the time of Aristotle. The system of reasoning that leads to such correct conclusions is called logic.

*Some of the terminology explanations that mention "deductive inference" are listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

…そのような知識や情報の操作を行う機構のことを推論エンジンと呼び，この二つを用いて機械推論が行われる。
[演繹推論]
　論理的に必ず正しい結論を導く推論は，演繹推論と呼ばれ，古くはアリストテレスの時代から研究されてきている。そのような正しい結論を導く推論の体系は論理と呼ばれている。…

※「演繹推論」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社世界大百科事典 第２版について | 情報