WEKO3
アイテム
Transformerによる論理等価式生成モデルの開発と評価
https://ipsj.ixsq.nii.ac.jp/records/2010193
https://ipsj.ixsq.nii.ac.jp/records/2010193854cc777-e72e-4493-ade5-4afae6147603
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-MPS26157001.pdf (1.1 MB)
2028年6月24日からダウンロード可能です。
|
Copyright (c) 2026 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, MPS:会員：¥0, DLIB:会員：¥0 | ||
| Item type | SIG Technical Reports(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2026-06-24 | |||||||||
| タイトル | ||||||||||
| 言語 | ja | |||||||||
| タイトル | Transformerによる論理等価式生成モデルの開発と評価 | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | Development and Evaluation of a Transformer-based Model for Logical Equivalence Generation | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | MPS | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||
| 資源タイプ | technical report | |||||||||
| 著者所属 | ||||||||||
| 小樽商科大学 | ||||||||||
| 著者所属 | ||||||||||
| 小樽商科大学 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Otaru University of Commerce | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Otaru University of Commerce | ||||||||||
| 著者名 |
三浦,克宜
× 三浦,克宜
× 片岡,駿
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 本稿では，Transformerを活用した論理等価式の生成方式に関する技術的基礎を与える．論理等価式は，等価変換に基づくプログラム合成方式で利用される一階述語論理における論理式であり，左辺と右辺のアトム集合の等価性が成り立つことを記述している．論理等価式の作成では，ゴール節のボディアトムを基に左辺が記述されてから，その左辺を基に右辺が記述される．本稿の提案方式では，左辺となるアトム集合がプロンプトとして与えられ，そして，右辺のアトム集合がTransformerの生成対象となる．実験的評価では，100件のプロンプトをTransformerに与えており，その実行結果を基に，論理等価式の生成にTransformerを活用する有効性を議論する．プロンプトの作成では，本実験で利用する訓練済みモデルが扱える5つの述語を用いてアトムを記述している． | |||||||||
| 論文抄録(英) | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | This paper provides a technical foundation for a method of generating logical equivalences using a Transformer-based model. Logical equivalences are logical formulas in first-order predicate logic used in program synthesis based on the equivalent transformation, each of which describes the equivalence of the declarative meaning between atom sets on the left-hand and right-hand sides. To generate a logical equivalence, the left-hand side is first constructed based on the body atoms of a goal clause, and then the right-hand side is derived from that left-hand side. In the proposed method, the atom set forming the left-hand side is provided as a prompt, while the Transformer-based model generates the corresponding atom set for the right-hand side. In the experimental evaluation, one hundred prompts were provided to the model, and based on the results, we discuss the effectiveness of utilizing a Transformer-based model for generating logical equivalences. The prompts were constructed by describing atoms using five specific predicates compatible with a pre-trained model. | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN10505667 | |||||||||
| 書誌情報 |
研究報告数理モデル化と問題解決（MPS） 巻 2026-MPS-157, 号 1, p. 1-7, 発行日 2026-06-24 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 2188-8833 | |||||||||
| Notice | ||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
