講演抄録/キーワード |
講演名 |
2018-03-08 15:25
論理推論システムのルール集合を機械学習により切り替える試み ○竹岡尚三・識名朝彬・中條拓伯(東京農工大) CPSY2017-142 DC2017-98 |
抄録 |
(和) |
ルールは巨大化しつつある.ルール集合を小さくできれば,推論の探索空間が小さくなり,推論を高速化することができる.本稿では,与えられたテキストを機械学習によって判定し,分割された小さなルール集合の中から適切なものを使用させ,論理推論を高速にする方式を提案する. |
(英) |
Since modern logical inference system needs a huge rule-base which is increasing more and more, search space can be reduced by shrinking a rule-base set. As a result, a logical inference system for the set can operate faster. This paper
describes an idea of faster logical inference system which has multiple of smaller rule sets by selecting with machine learning. |
キーワード |
(和) |
論理推論 / 機械学習 / Prolog / Warren 抽象マシン / / / / |
(英) |
Logical inference / Machine learning / Prolog / Warren Abstract Machine / / / / |
文献情報 |
信学技報, vol. 117, no. 479, CPSY2017-142, pp. 197-202, 2018年3月. |
資料番号 |
CPSY2017-142 |
発行日 |
2018-02-28 (CPSY, DC) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
CPSY2017-142 DC2017-98 |