- 著者
-
阪口 哲男
田畑 孝一
杉本 重雄
- 雑誌
- 全国大会講演論文集
- 巻号頁・発行日
- vol.40, pp.168-169, 1990-03-14
オブジェクトベース述語論理(Predicate logic based on objects)は記号やイメージ等を含む知識を表現するための知識表現方法である。オブジェクトベース述語論理においては、定義域上のすべての個体をオブジェクトと見なし、それらの関係を第一階述語論理によって表現する。我々はオブジェクトベース述語論理の定義を行い、その処理系であるオブジェクトベース述語論理システム(Predicate Logic system based on OBjects:PLOB)の開発を行った。