目次ページ  前ページ  次ページ

1. 用語の定義と解説

1.4 人工知能に関する英語の用語


1.4.40 modas ponens(モーダスポネンス)

 ラテン語が原義の推論規則の一つであって、二つの命題から一つの結論を導く規則。三段論法が一つの例である。これと対比する用語は modas tollens(モーダストレンス)。こちらは、対偶の関係になる。
科学書刊株式会社:電子版 「橋梁&都市 PROJECT: 2012」

前ページ  次ページ