講演名 1993/7/20
オブジェクト識別性に対する単一化と詳細化操作
飯島 正,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 概念の包摂関係に基づいて継承階層を導入した論理プログラミング言語(演繹データベース)におけるオブジェクト識別性の表現として,計算幾何学で使われる区間の表現をベースとする符号化を提案し,オブジェクト識別子の単一化等の計算手続きを示す.この表現は,新しいクラスの導入を伴うオブジェクト識別子の詳細化等の操作に適している.また,単一化に対してDempster-Shafer理論に従う確信度を導入し,好ましさ(preference)基準を与えることを試みる.
抄録(英) This paper proposes a new representation of an object identity(OID)for termsubsumption logic programming languages(deductive databases)and presents procedures of basic operations of OIDs,such as unification.The representation is based on the data structure of intervals used in the computational geometry and suits for speciarization of OIDs with dynamic introduction of new classes.And according to a berief measure based on Dempster-Shafer theory a preference measure is incorporated into the unification.
キーワード(和) オブジェクト識別性 / 項包摂関係 / 論理プログラミング言語 / 単一化 / 区間 / Dempster-Shafer理論
キーワード(英) obiect identity / term-subsumption / logic programming / unification / interval / Dempster-Shafer theory
資料番号 KBSE93-15
発行日

研究会情報
研究会 KBSE
開催期間 1993/7/20(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Knowledge-Based Software Engineering (KBSE)
本文の言語 JPN
タイトル(和) オブジェクト識別性に対する単一化と詳細化操作
サブタイトル(和)
タイトル(英) Unification and Specialization for Object Identities
サブタイトル(和)
キーワード(1)(和/英) オブジェクト識別性 / obiect identity
キーワード(2)(和/英) 項包摂関係 / term-subsumption
キーワード(3)(和/英) 論理プログラミング言語 / logic programming
キーワード(4)(和/英) 単一化 / unification
キーワード(5)(和/英) 区間 / interval
キーワード(6)(和/英) Dempster-Shafer理論 / Dempster-Shafer theory
第 1 著者 氏名(和/英) 飯島 正 / Tadashi Iijima
第 1 著者 所属(和/英) 慶應義塾大学理工学部管理工学科
Department of Administration Engineering Faculty of Science and Technology,Keio University
発表年月日 1993/7/20
資料番号 KBSE93-15
巻番号(vol) vol.93
号番号(no) 147
ページ範囲 pp.-
ページ数 8
発行日