文献

J-GLOBAL ID：202202283246479046   整理番号：22A0361092

解集合プログラミングを用いた非同型な木の列挙

Enumerating Non-Isomorphic Trees Using Answer Set Programming

著者 (1件)： 中畑裕 (奈良先端科学技術大学院大)
資料名： 人工知能学会人工知能基本問題研究会資料  (SIG-FPAI-C)
巻： 119th  ページ： 8-13  発行年： 2022年01月20日 
JST資料番号： X0830A  ISSN： 2436-4584  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ・非同型な木を列挙するためのASP(解集合プログラミング)への符号化を提案。
・特に,提案手法により,非同型な根付き順序木,根付き無順序木,根なし木を列挙できることを実験的に確認。
・また,根付き順序木に関して,サブツリーの順序の正規化における符号化を効率化。

シソーラス用語： *論理プログラミング ,  *ツリー構造 ,  *符号化 ,  計算機シミュレーション ,  アルゴリズム ,  正規化
準シソーラス用語： 解集合プログラミング ,  計算機実験 ,  順序木

分類 (1件)： 情報工学基礎理論一般  (JB01000T)

タイトルに関連する用語 (2件)： 解集合プログラミング ,  木