Art

J-GLOBAL ID：201802248832758190   Reference number：18A0564266

順序木言語のプリミティブ形式体系に対する1つの正例と所属性質問による学習アルゴリズム

Author (5)： MATSUMOTO SATOSHI (東海大 理) ,  UCHIDA TOMOYUKI (広島市大 大学院情報科学研究科) ,  SHODAI TAKAYOSHI (九州国際大 現代ビジネス) ,  SUZUKI YUSUKE (広島市大 大学院情報科学研究科) ,  MIYAHARA TETSUHIRO (広島市大 大学院情報科学研究科)
Material： 情報処理学会全国大会講演論文集
Volume： 80th  Issue： 1  Page： 1.167-1.168  Publication year： Mar. 13, 2018 
JST Material Number： S0731A  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *tree structure ,  *Language ,  type ,  system ,  existence ,  *query ,  *learning algorithm ,  propositional logic ,  logic programming ,  graph ,  rewriting rule ,  set
Semi thesaurus term： *ordered tree ,  system ,  affiliation ,  first-order predicate logic

JST classification (1)： Logic algebra  (JB03000H)

Reference (4)：

• D. Angluin: Queries and concept learning. Machine Learning 2(4), pp.319-342 (1988)
• S. Matsumoto et al. : Learning of finite unions of tree patterns with internal structured variables from queries. IEICE Trans. Inf. & Syst. E91-D(2), pp. 222-230 (2008)
• Y. Suzuki et al.: Ordered term tree languages which are polynomial time inductively inferable from positive data. TCS 350(1), pp. 63-90 (2006)
• T. Uchida et al.: Parallel algorithms for refutation tree problem on formal graph systems. IEICE Trans. Inf. & Syst. E78-D(2), pp. 99-112 (1995)

Terms in the title (4)： 順序木 ,  言語 ,  質問 ,  学習アルゴリズム