|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/4713
|
| タイトル: | ソートと述語の二つの階層をもつ論理のホーン節計算の完全性 |
| 著者: | 兼岩, 憲
東条, 敏 |
| キーワード: | オーダーソート論理
ホーン節
述語の階層関係 |
| 発行日: | 2000-12-20 |
| 出版者: | 電子情報通信学会 |
| 誌名: | 電子情報通信学会論文誌 D |
| 巻: | J83-D1 |
| 号: | 12 |
| 開始ページ: | 1239 |
| 終了ページ: | 1248 |
| 抄録: | 本論文では，構造的なデータを記述できる知識表現言語の拡張として，ソートと述語の別々の階層表現を導入したホーン節計算による完全な論理体系を提案する．特にソートとは性質の異なった述語の階層では，それぞれ固有の引数構成をもつ多項述語から上位述語を導出する場合，引数のずれを解消するために引数を補充/削除しなければならない．本論文では，引数を操作する手続きを含んだ階層に関する推論規則を追加する一方で，述語の階層関係と引数操作をモデルに反映させる制約を言語解釈に組み込む．その結果，柔軟な引数構成を許した推論体系に対する意味論を定義し，健全性・完全性を証明する． |
| Rights: | Copyright (C)2000 IEICE. 兼岩 憲, 東条 敏, 電子情報通信学会論文誌 D, J83-D1(12), 2000, 1239-1248. http://www.ieice.org/jpn/trans_online/ |
| URI: | http://hdl.handle.net/10119/4713 |
| 資料タイプ: | publisher |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 6318.pdf | | 282Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
