| 講演名 | 1997/11/13 Semantic Model Elimination : Toward Efficient Equality Proving : Extended Abstract 岩沼 宏治, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | |
| 抄録(英) | In this paper, we study an extension of Loveland's Model Elimination, (ME), called semantic model elimination, which is integrated with a semantic-guide method. This variant is a straightforward but useful extension of restart model elimination, which was proposed by Baumgartner and Furbach. One of the aims of semantic model elimination is an efficient treatment of equality reasoning in a tableau framework. The second is application for an efficient hypothetical reasoning based on a sort of model checking, although this paper does not describe this issue. |
| キーワード(和) | |
| キーワード(英) | Theorem Proving / model elimination / equality / semantic guide / restart computation |
| 資料番号 | AI97-24 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 1997/11/13(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | |
| サブタイトル（和） | |
| タイトル（英） | Semantic Model Elimination : Toward Efficient Equality Proving : Extended Abstract |
| サブタイトル（和） | |
| キーワード(1)（和/英） | / Theorem Proving |
| 第 1 著者 氏名（和/英） | 岩沼 宏治 / Koji Iwanuma |
| 第 1 著者 所属（和/英） | 山梨大 Department of Electrical Engineering and Computer Science Yamanashi University |
| 発表年月日 | 1997/11/13 |
| 資料番号 | AI97-24 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 373 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |