Deductive reasoning

Japanese: 演繹推論 - えんえきすいろん
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

Japanese:

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

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

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

<<:  Deductive reasoning - deductive reasoning

>>:  Deductive learning

Recommend

Bongos

...A type of percussion instrument that is widely...

Uhlenbeck, GE (English spelling) UhlenbeckGE

… Electron spin was introduced to explain the exi...

Benotami - Benotami

In the Yamato government, the people were called &...

D'Ohsson, Abraham Constantine Mouradgea

Born: 1780. Istanbul Died in 1855. Swedish diploma...

Ageuta - Ageuta

One of the names of musical components of Heikyoku...

inbred line

…For this reason, in recent years, there have bee...

Leptoptilos javanicus (English name) Leptoptilos javanicus

… [Hiroyuki Morioka]. … *Some of the terminology ...

Ponthiamas

...Connected to the Mekong River through the Vinh...

Ie Nao, Lord of Iizasayama Castle

…There are various theories about his birth year....

Koan - Koan

In Zen Buddhism, these are records of the words a...

Impatiens textori Miq.

An annual plant of the Balsaminaceae family that g...

Shincho group

The Roshigumi was organized by the shogunate. Whe...

Cuoco - Vincenzo Cuoco

1770‐1823 Neapolitan historian and politician. He ...

Scaliger, JC (English spelling) ScaligerJC

…Their era was, so to speak, the preparatory peri...

Egnell, T.

… [Other European countries] In the Netherlands, ...