| 講演名 | 2018-03-08 論理推論システムのルール集合を機械学習により切り替える試み 竹岡 尚三(東京農工大), 識名 朝彬(東京農工大), 中條 拓伯(東京農工大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | ルールは巨大化しつつある．ルール集合を小さくできれば，推論の探索空間が小さくなり，推論を高速化することができる．本稿では，与えられたテキストを機械学習によって判定し，分割された小さなルール集合の中から適切なものを使用させ，論理推論を高速にする方式を提案する． |
| 抄録(英) | 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 paperdescribes 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 |
| 資料番号 | CPSY2017-142,DC2017-98 |
| 発行日 | 2018-02-28 (CPSY, DC) |
| 研究会情報 | |
| 研究会 | CPSY / DC / IPSJ-SLDM / IPSJ-EMB / IPSJ-ARC |
|---|---|
| 開催期間 | 2018/3/7(から2日開催) |
| 開催地（和） | 隠岐の島文化会館 |
| 開催地（英） | Okinoshima Bunka-Kaikan Bldg. |
| テーマ（和） | 組込み技術とネットワークに関するワークショップ ETNET2018 |
| テーマ（英） | ETNET2018 |
| 委員長氏名（和） | 中野 浩嗣(広島大) / 井上 美智子(奈良先端大) / 浜口 清治(島根大) / / 五島 正裕(NII) |
| 委員長氏名（英） | Koji Nakano(Hiroshima Univ.) / Michiko Inoue(NAIST) / Kiyoharu Hamaguchi(Shimane Univ.) / / Masahiro Goshima(NII) |
| 副委員長氏名（和） | 入江 英嗣(東大) / 三吉 貴史(富士通研) / 福本 聡(首都大東京) |
| 副委員長氏名（英） | Hidetsugu Irie(Univ. of Tokyo) / Takashi Miyoshi(Fujitsu) / Satoshi Fukumoto(Tokyo Metropolitan Univ.) |
| 幹事氏名（和） | 大川 猛(宇都宮大) / 高前田 伸也(北大) / 吉村 正義(京都産大) / 金子 晴彦(東工大) / 許 浩沿(パナソニックセミコンダクタソリューションズ) / 密山 幸男(高知工科大) / 柴田 誠也(NEC) / / 小野 貴継(九大) / 近藤 正章(東大) / 長谷川 揚平(東芝) / 塩谷 亮太(名大) |
| 幹事氏名（英） | Takeshi Ohkawa(Utsunomiya Univ.) / Shinya Takameda(Hokkaido Univ.) / Masayoshi Yoshimura(Kyoto Sangyo Univ.) / Haruhiko Kaneko(Tokyo Inst. of Tech.) / Ko Kyo(Panasonic) / Yukio Mitsuyama(Kochi Univ. of Tech.) / Seiya Shibata(NEC) / / Takatsugu Ono(Kyushu Univ.) / Masaaki Kondo(Univ. of Tokyo) / Yohei Hasegawa(Toshiba) / Ryota Shioya(Nagoya Univ.) |
| 幹事補佐氏名（和） | 伊藤 靖朗(広島大) / 津邑 公暁(名工大) / 新井 雅之(日大) |
| 幹事補佐氏名（英） | Yasuaki Ito(Hiroshima Univ.) / Tomoaki Tsumura(Nagoya Inst. of Tech.) / Masayuki Arai(Nihon Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Computer Systems / Technical Committee on Dependable Computing / Special Interest Group on System and LSI Design Methodology / Special Interest Group on Embedded Systems / Special Interest Group on System Architecture |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 論理推論システムのルール集合を機械学習により切り替える試み |
| サブタイトル（和） | |
| タイトル（英） | Selecting a Rule Set of the Logical Inference System with Machine Learning |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 論理推論 / Logical inference |
| キーワード(2)（和/英） | 機械学習 / Machine learning |
| キーワード(3)（和/英） | Prolog / Prolog |
| キーワード(4)（和/英） | Warren 抽象マシン / Warren Abstract Machine |
| 第 1 著者 氏名（和/英） | 竹岡 尚三 / Shozo Takeoka |
| 第 1 著者 所属（和/英） | 東京農工大学(略称：東京農工大) Tokyo University of Agriculture and Technology(略称：TUAT) |
| 第 2 著者 氏名（和/英） | 識名 朝彬 / Tomoaki Shikina |
| 第 2 著者 所属（和/英） | 東京農工大学(略称：東京農工大) Tokyo University of Agriculture and Technology(略称：TUAT) |
| 第 3 著者 氏名（和/英） | 中條 拓伯 / Hironori Nakajo |
| 第 3 著者 所属（和/英） | 東京農工大学(略称：東京農工大) Tokyo University of Agriculture and Technology(略称：TUAT) |
| 発表年月日 | 2018-03-08 |
| 資料番号 | CPSY2017-142,DC2017-98 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | CPSY-479,DC-480 |
| ページ範囲 | pp.197-202(CPSY), pp.197-202(DC), |
| ページ数 | 6 |
| 発行日 | 2018-02-28 (CPSY, DC) |