オブジェクトベース述語論理

• 阪口, 哲男

• 田畑, 孝一

• 杉本, 重雄

書誌事項

タイトル別名

• Predicate logic based on objects

抄録

オブジェクトベース述語論理(Predicate logic based on objects)は記号やイメージ等を含む知識を表現するための知識表現方法である。オブジェクトベース述語論理においては、定義域上のすべての個体をオブジェクトと見なし、それらの関係を第一階述語論理によって表現する。我々はオブジェクトベース述語論理の定義を行い、その処理系であるオブジェクトベース述語論理システム(Predicate Logic system based on OBjects:PLOB)の開発を行った。

収録刊行物

• 全国大会講演論文集

  全国大会講演論文集 第40回 (人工知能及び認知科学), 168-169, 1990-03-14

詳細情報

• CRID: 1050574047112526336
• NII論文ID: 110002883561
• NII書誌ID: AN00349328
• Web Site: http://id.nii.ac.jp/1001/00118406/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles