| Presentation | 2018-03-08 Selecting a Rule Set of the Logical Inference System with Machine Learning Shozo Takeoka, Tomoaki Shikina, Hironori Nakajo, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | 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. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Logical inference / Machine learning / Prolog / Warren Abstract Machine |
| Paper # | CPSY2017-142,DC2017-98 |
| Date of Issue | 2018-02-28 (CPSY, DC) |
| Conference Information | |
| Committee | CPSY / DC / IPSJ-SLDM / IPSJ-EMB / IPSJ-ARC |
|---|---|
| Conference Date | 2018/3/7(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Okinoshima Bunka-Kaikan Bldg. |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | ETNET2018 |
| Chair | Koji Nakano(Hiroshima Univ.) / Michiko Inoue(NAIST) / Kiyoharu Hamaguchi(Shimane Univ.) / / Masahiro Goshima(NII) |
| Vice Chair | Hidetsugu Irie(Univ. of Tokyo) / Takashi Miyoshi(Fujitsu) / Satoshi Fukumoto(Tokyo Metropolitan Univ.) |
| Secretary | Hidetsugu Irie(Utsunomiya Univ.) / Takashi Miyoshi(Hokkaido Univ.) / Satoshi Fukumoto(Kyoto Sangyo Univ.) / (Tokyo Inst. of Tech.) / (Panasonic) / (Kochi Univ. of Tech.) |
| Assistant | Yasuaki Ito(Hiroshima Univ.) / Tomoaki Tsumura(Nagoya Inst. of Tech.) / Masayuki Arai(Nihon Univ.) |
| Paper Information | |
| Registration To | 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 |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Selecting a Rule Set of the Logical Inference System with Machine Learning |
| Sub Title (in English) | |
| Keyword(1) | Logical inference |
| Keyword(2) | Machine learning |
| Keyword(3) | Prolog |
| Keyword(4) | Warren Abstract Machine |
| 1st Author's Name | Shozo Takeoka |
| 1st Author's Affiliation | Tokyo University of Agriculture and Technology(TUAT) |
| 2nd Author's Name | Tomoaki Shikina |
| 2nd Author's Affiliation | Tokyo University of Agriculture and Technology(TUAT) |
| 3rd Author's Name | Hironori Nakajo |
| 3rd Author's Affiliation | Tokyo University of Agriculture and Technology(TUAT) |
| Date | 2018-03-08 |
| Paper # | CPSY2017-142,DC2017-98 |
| Volume (vol) | vol.117 |
| Number (no) | CPSY-479,DC-480 |
| Page | pp.pp.197-202(CPSY), pp.197-202(DC), |
| #Pages | 6 |
| Date of Issue | 2018-02-28 (CPSY, DC) |