文献

J-GLOBAL ID：201902282508108519   整理番号：19A0768207

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

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

著者 (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)
資料名： IEICE Transactions on Information and Systems (Web)  (IEICE Transactions on Information and Systems (Web))
巻： E102.D  号： 3  ページ： 470-482(J-STAGE)  発行年： 2019年 
JST資料番号： U0469A  ISSN： 1745-1361  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： フォーマルグラフシステム(FGS)は,1次述語論理の用語の代わりにグラフパターンを処理することにより,グラフを直接操作する論理プログラミングシステムである。本論文は,FGSに基づいて,ラベル付き順序木言語を定義する形式システムとして,プリミティブな形式順序木システム(pFOTS)を紹介した。pFOTSプログラムは,グラフ書き換えルールの有限セットである。論理プログラムは,背景知識を表すのに適していることがよく知られている。クエリ学習モデルは,計算学習理論のクエリを介した学習の確立された数学モデルである。この学習モデルでは,1つのグラフ書き換えルールと,多項式数のクエリを使用してpFOTSプログラムで定義された背景知識で構成されるpFOTSプログラムの正確な学習可能性を示した。(翻訳著者抄録)

シソーラス用語： *質問 ,  *ツリー構造 ,  *ラベリング ,  論理型言語 ,  項書換え系 ,  知識 ,  学習モデル ,  理論
準シソーラス用語： *クエリー ,  グラフ書換え ,  *ラベル表示 ,  計算学習理論 ,  *順序木 ,  背景知識 ,  論理プログラミング言語

分類 (2件)： 人工知能  (JE08000Z) ,  計算理論  (JB02000A)

引用文献 (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.

タイトルに関連する用語 (7件)： クエリ ,  ラベル ,  順序木 ,  言語 ,  定義 ,  形式 ,  学習