| 講演名 | 1997/11/13 述語の型階層と二面性を導入した状況推論システム (&特集>「記号論理とAI」) 兼岩 憲, 東条 敏, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 知識表現システムにおける問題は, さまざまな形態 (事例, 法則と背景知識) の知識を扱うことである. 形態の違いは, 知識表現の抽象の度合いの変化をもたらすため, 概念と概念間関係を記述する手段が必要である. さらに, 事例は状況を伴っており状況に依存した表現が求められる. 本研究の目的は, 論理型言語の拡張として, 引数を越えた述語の型階層および述語の二面性を考慮した単一化を行う状況推論システムの提案である. 概念構造である型階層を, 項だけでなく述語にも導入すると新たな問題が発生する. それは, 述語間の引数の構成による階層表現の難しさ, 述語の2通りの解釈による意味的な曖昧さである. 本システムは, それらの問題に対処する. システムの実現にあたっては, 論理的な構文と意味論を定義してプログラミング言語の形式化を行う. |
| 抄録(英) | The problem of knowledge representation systems is to apply various kind of knowledge. The means to mention a concept and the relation between concepts is necessary for the difference in the abstract degree of knowledge representation. The purpose of this paper is to develop a situated inference system has class-hierarchy over argument structure and two properties of predicate. Allowing not only a class-hierarchy of sorts but also a class-hierarchy of predicates gives new problems which are the complexity to represent class-hierarchy of predicate and the semantic ambiguousness of two interpretations of predicate. This system solved the problems. For the implementation of the system, we formalized the programming language by the definitions of the logical syntax and semantics. |
| キーワード(和) | 論理型言語 / 状況理論 / オーダーソート言語 / 型階層 / 素性構造 / 単一化 |
| キーワード(英) | Logic Programming Language / Situation Theory / Order-Sorted Logic / Class-Hierarchy / Feature Structure / Unification |
| 資料番号 | AI97-30 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 1997/11/13(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 述語の型階層と二面性を導入した状況推論システム (&特集>「記号論理とAI」) |
| サブタイトル（和） | |
| タイトル（英） | A Situated Inference System with Class-Hierarchy and Two Properties of Predicate |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 論理型言語 / Logic Programming Language |
| キーワード(2)（和/英） | 状況理論 / Situation Theory |
| キーワード(3)（和/英） | オーダーソート言語 / Order-Sorted Logic |
| キーワード(4)（和/英） | 型階層 / Class-Hierarchy |
| キーワード(5)（和/英） | 素性構造 / Feature Structure |
| キーワード(6)（和/英） | 単一化 / Unification |
| 第 1 著者 氏名（和/英） | 兼岩 憲 / Ken KANEIWA |
| 第 1 著者 所属（和/英） | 北陸先端科学技術大学院大学 Japan Advanced Institute of Science and Technology |
| 第 2 著者 氏名（和/英） | 東条 敏 / Satoshi TOJO |
| 第 2 著者 所属（和/英） | 北陸先端科学技術大学院大学 Japan Advanced Institute of Science and Technology |
| 発表年月日 | 1997/11/13 |
| 資料番号 | AI97-30 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 373 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |