Art

J-GLOBAL ID：201902282508108519   Reference number：19A0768207

Exact Learning of Primitive Formal Systems Defining Labeled Ordered Tree Languages via Queries

クエリを介したラベル付き順序木言語を定義するプリミティブ形式システムの正確な学習

Author (5)： UCHIDA Tomoyuki (Faculty of Information Sciences, Hiroshima City University) ,  MATSUMOTO Satoshi (Faculty of Science, Tokai University) ,  SHOUDAI Takayoshi (Faculty of Contemporary Business, Kyushu International University) ,  SUZUKI Yusuke (Faculty of Information Sciences, Hiroshima City University) ,  MIYAHARA Tetsuhiro (Faculty of Information Sciences, Hiroshima City University)
Material： IEICE Transactions on Information and Systems (Web)  (IEICE Trans Inf Syst (Web))
Volume： E102.D  Issue： 3  Page： 470-482(J-STAGE)  Publication year： 2019 
JST Material Number： U0469A  ISSN： 1745-1361  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *query ,  *tree structure ,  *labeling ,  logic programming language ,  term rewriting system ,  knowledge ,  learning model ,  theory
Semi thesaurus term： *query ,  graph rewriting ,  *labeling ,  computational learning theory ,  *ordered tree ,  background knowledge ,  logic programming language

JST classification (2)： Artificial intelligence  (JE08000Z) ,  Theory of computation  (JB02000A)

Reference (16)：

• [1] G. Rozenberg, ed., Handbook of Graph Grammars and Computing by Graph Transformation: Volume I. Foundations, World Scientific Publishing Co., Inc., River Edge, NJ, USA, 1997.
• [2] T. Uchida, T. Shoudai, and S. Miyano, “Parallel algorithms for refutation tree problem on formal graph systems,” IEICE Trans. Inf. & Syst., vol.E78-D, no.2, pp.99-112, 1995.
• [3] S. Matsumoto, Y. Hayashi, and T. Shoudai, “Polynomial time inductive inference of regular term tree languages from positive data,” Proc. ALT-97, Springer-Verlag, LNAI, vol.1316, pp.212-227, 1997. 10.1007/3-540-63577-7_45
• [4] Y. Suzuki, T. Shoudai, T. Uchida, and T. Miyahara, “Ordered term tree languages which are polynomial time inductively inferable from positive data,” Theoretical Computer Science, vol.350, no.1, pp.63-90, 2006. 10.1016/j.tcs.2005.10.022
• [5] J. Björklund and H. Fernau, “Learning tree languages,” in Topics in Grammatical Inference, ed. J. Heinz and J.M. Sempere, ch. 7, pp.173-213, Springer-Verlag, 2016.

Terms in the title (7)： クエリ ,  ラベル ,  順序木 ,  言語 ,  定義 ,  形式 ,  学習