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

1. 用語の定義と解説

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


1.4.28 instantiation(具体化)

 算術変数に対する論理的な変数は、論理値を表現できるような論理項に変更して処理しなければならない。文で書いた構造を、記号の並びに換える形式論理学がその具体化です。
科学書刊株式会社:電子版 「橋梁&都市 PROJECT: 2012」

前ページ  次ページ