講演名 | 1993/7/20 プロダクションシステムにおける詳細優先方式による競合解消戦略の静的解析手法 上田 佳寛, 田倉 昭, 太田 理, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 本報告は,詳細優先方式を採用するプロダクションシステムが非単調性を有することを示し,その静的解析手法について提案するものである.プロダクションシステムからペトリネットへの写像により,構造的に競合を起こすルールの範囲を求めることが可能となる.またその解析範囲を利用して一般に非決定性を持つルールを唯一適用可能なルールに変換する方式を提案する.このことにより,ルールの動作を逐次解析していた,現状の手法を用いずに,構造のみから静的に解析する手法を提案する. |
抄録(英) | This paper describes the production system using detail priority strategy is nonmonotonic and proposes a static aualysis method of it.By means of mapping from a production system to a petri net,the rule subset which occurs conflicts can be derived.We propose the translating method from non-deterministic rules to deterministic ones,using this subset.Furthermore we propose the static analysis method instead of the former dynamic analysis method. |
キーワード(和) | 詳細優先適用 / プロダクションシステム / ペトリネット / 非単調 |
キーワード(英) | detail priority strategy / production system / petrinet / monmonotonic reasoning |
資料番号 | KBSE93-17 |
発行日 |
研究会情報 | |
研究会 | KBSE |
---|---|
開催期間 | 1993/7/20(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
---|---|
本文の言語 | JPN |
タイトル(和) | プロダクションシステムにおける詳細優先方式による競合解消戦略の静的解析手法 |
サブタイトル(和) | |
タイトル(英) | Static Analysis Method of Production System on Detail Priority Strategy |
サブタイトル(和) | |
キーワード(1)(和/英) | 詳細優先適用 / detail priority strategy |
キーワード(2)(和/英) | プロダクションシステム / production system |
キーワード(3)(和/英) | ペトリネット / petrinet |
キーワード(4)(和/英) | 非単調 / monmonotonic reasoning |
第 1 著者 氏名(和/英) | 上田 佳寛 / Yoshihiro Ueda |
第 1 著者 所属(和/英) | ATR ATR |
第 2 著者 氏名(和/英) | 田倉 昭 / Akira Takura |
第 2 著者 所属(和/英) | ATR ATR |
第 3 著者 氏名(和/英) | 太田 理 / Tadashi Ohta |
第 3 著者 所属(和/英) | ATR ATR |
発表年月日 | 1993/7/20 |
資料番号 | KBSE93-17 |
巻番号(vol) | vol.93 |
号番号(no) | 147 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |