講演名 | 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 |
発行日 |