目次ページ
前ページ
次ページ
1. 用語の定義と解説
1.4 人工知能に関する英語の用語
1.4.40 modas ponens(モーダスポネンス)
ラテン語が原義の推論規則の一つであって、二つの命題から一つの結論を導く規則。三段論法が一つの例である。これと対比する用語は modas tollens(モーダストレンス)。こちらは、対偶の関係になる。
科学書刊株式会社:電子版 「橋梁&都市 PROJECT: 2012」
前ページ
次ページ