|
ヤマモト エイコ
Eiko Yamamoto
山本 英子 所属 経済情報学部 職種 教授 |
|
| 言語種別 | 日本語 |
| 発行・発表の年月 | 1997/11 |
| 形態種別 | 研究論文（学術雑誌） |
| 標題 | モデル消去法に基づくSOL導出の実現 |
| 執筆形態 | 共著 |
| 掲載誌名 | 情報処理学会論文誌 |
| 掲載区分 | 国内 |
| 出版社・発行元 | 情報処理学会 |
| 巻・号・頁 | 第38巻(第11号),2112-2121頁 |
| 著者・共著者 | 山本英子, 井上克巳 |
| 概要 | 一階述語論理において特徴節を効率良く発見するSOL(skipping ordered linear)導出を実現した.SOL導出はOL導出にSkip操作を追加するか,またはSiegelのアルゴリズムを一階述語論理が扱えるように拡張することで得られる.また(弱)モデル消去法の棄却規則を用いたトートロジーと包摂チェック, 反復深化探索, 及び平坦化を含む, SOL導出の効率化を図る技術を提案した. |