13/03/23 07:08:00.34
>>16
人工知能の柱は述語論理だから、述語論理をまともに取り上げた言語が
Prologしかない以上、モデル記述言語の最有力候補はこの言語になる。
13/03/23 07:08:00.34
>>16
人工知能の柱は述語論理だから、述語論理をまともに取り上げた言語が
Prologしかない以上、モデル記述言語の最有力候補はこの言語になる。
13/03/23 07:08:00.34
>>16
人工知能の柱は述語論理だから、述語論理をまともに取り上げた言語が
Prologしかない以上、モデル記述言語の最有力候補はこの言語になる。