吉浦, 紀晃, 米崎, 直樹
全国大会講演論文集
第55回
(人工知能と認知科学),
553-554,
1997-09-24
...Lewisによる関連性の違和感が除去された厳密含意の提案に始まり, 多くの適切さの論理の体系が提案されている。代表的な体系としては, ChurchやMohによる, 関連性と恒真性の違和感が除去された論理体系Rや, Ackennannによる, すべての違和感が除去された論理体系Eなどがある。関連性・恒真性の違和感は強い違和感とみなされ, ほとんどの体系で, これらは除去されている。...
情報処理学会
被引用文献1件
