タクラ アキラ   Akira Takura
  田倉 昭
   所属   十文字学園女子大学  社会情報デザイン学部 社会情報デザイン学科
   職種   教授
言語種別 日本語
発行・発表の年月 1993/10
形態種別 研究論文
標題 通信サービス要求記述の静的解析手法
執筆形態 共著
掲載区分国内
出版社・発行元 信学会交換システム研究会
巻・号・頁 SSE93-81,105-110頁
著者・共著者 上田佳寛、田倉昭、太田理。
概要 本報告は、競合解消戦略として詳細優先方式をもちいるプロダクションシステムにおける、ルールの最適化方式を提案する。ルール集合に含まれる任意の複数のルールが意味的に全く同じであること(同値性)、および次状態に移る遷移を一意に決めることができないルールが存在すること(非決定性)を自動的に検出し、条件部が恒真となるルールを縮退する。ここでは、上記のルール形式で仕様が与えられている通信サービスに対して、この解析手法を実際に適用した。さらに、この手法を利用することにより、一般に計算量の爆発の可能性がある状態の到達可能性の解析を効率的に行なえることも報告する。