文献

J-GLOBAL ID：201702231886610542   整理番号：17A1426689

ランクなし2次反単一化【Powered by NICT】

Unranked second-order anti-unification

著者 (2件)： Baumgartner Alexander (Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria) ,  Kutsia Temur (Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria)
資料名： Information and Computation  (Information and Computation)
巻： 255  号： P2  ページ： 262-286  発行年： 2017年 
JST資料番号： D0449A  ISSN： 0890-5401  CODEN： INFCEC  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 本研究では,性ランクなし用語とヘッジのための反単一化を研究し,文脈とヘッジ変数を可能にした。ヘッジは性ランクなし項の配列である。二生垣とqの反単一化問題は,その一般化を発見に関するものである,ヘッジgsとqの両方がGの置換例であることを示した。二次電力は入力生垣における垂直差を一般化する文脈変数を用いて得られた。ヘッジ変数は水平差を一般化するために使用されている。反単一化アルゴリズムを提案した,これは入力生垣の一般化を計算し,全ての差を記録している。アルゴリズムは,骨格計算関数によるパラメトリックである。例えば,拘束された最長共通subforestを表す骨格,または入力生垣の一致subhedge/部分木の一般化を計算することができる。一般化の計算は2乗時間で行った。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 電力 ,  アルゴリズム ,  *単一化

著者キーワード (3件)： 性ランクなし用語とヘッジのための高次反単一化 ,  状況とヘッジ変数を用いた反単一化 ,  森林の一般化

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

タイトルに関連する用語 (1件)： 単一化