論文の概要: Towards Automatic Composition of ASP Programs from Natural Language
Specifications
- arxiv url: http://arxiv.org/abs/2403.04541v1
- Date: Thu, 7 Mar 2024 14:36:52 GMT
- ステータス: 処理完了
- システム内更新日: 2024-03-08 13:42:45.590303
- Title: Towards Automatic Composition of ASP Programs from Natural Language
Specifications
- Title(参考訳): 自然言語仕様によるASPプログラムの自動構成に向けて
- Authors: Manuel Borroto, Irfan Kareem, Francesco Ricca
- Abstract要約: 本稿では,ASP(Answer Set Programming)仕様の構成を自動化するための第一歩について述べる。
NL2ASPはニューラルネットワークを使用して自然言語を制御自然言語(CNL)文に変換する。
実験は、アプローチの生存可能性を確認する。
- 参考スコア(独自算出の注目度): 5.801044612920816
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: This paper moves the first step towards automating the composition of Answer
Set Programming (ASP) specifications. In particular, the following
contributions are provided: (i) A dataset focused on graph-related problem
specifications, designed to develop and assess tools for ASP automatic coding;
(ii) A two-step architecture, implemented in the NL2ASP tool, for generating
ASP programs from natural language specifications. NL2ASP uses neural machine
translation to transform natural language into Controlled Natural Language
(CNL) statements. Subsequently, CNL statements are converted into ASP code
using the CNL2ASP tool. An experiment confirms the viability of the approach.
- Abstract(参考訳): 本稿では,ASP(Answer Set Programming)仕様の構成を自動化するための第一歩について述べる。
特に以下の貢献がある。
i)ASP自動コーディングのためのツールの開発と評価を目的としたグラフ関連問題仕様に焦点を当てたデータセット。
(ii)自然言語仕様からASPプログラムを生成するためのNL2ASPツールで実装された2段階アーキテクチャ。
NL2ASPはニューラルネットワークを使用して自然言語を制御自然言語(CNL)文に変換する。
その後、CNL2ASPツールを使用してCNLステートメントをASPコードに変換する。
実験はアプローチの生存可能性を確認する。
関連論文リスト
- LLASP: Fine-tuning Large Language Models for Answer Set Programming [6.261151680007598]
大規模言語モデル(LLM)は、コード生成を含む様々な自然言語処理タスクにおいて、その可能性を示した。
基本的なASPプログラムパターンをエンコードするように特別に訓練された、微調整された軽量モデルであるLLASPを提案する。
LLASP が生成する ASP プログラムの品質が顕著であることを示す実験を行った。
論文 参考訳(メタデータ) (2024-07-26T13:18:42Z) - NoviCode: Generating Programs from Natural Language Utterances by Novices [59.71218039095155]
初心者非プログラマによるAPIと自然言語記述を入力とする新しいNLプログラミングタスクであるNoviCodeを提示する。
我々は、NoviCodeがコード合成領域における挑戦的なタスクであることを示し、非技術的命令から複雑なコードを生成することは、現在のText-to-Codeパラダイムを超えている。
論文 参考訳(メタデータ) (2024-07-15T11:26:03Z) - Unit Testing in ASP Revisited: Language and Test-Driven Development
Environment [8.110978727364397]
ASPプログラム内でテストのインライン化を可能にする新しい単体テスト仕様言語を提案する。
テストケースの仕様は従来の評価には透過的だが、特定のテストツールで解釈できる。
論文 参考訳(メタデータ) (2024-01-04T09:04:54Z) - CNL2ASP: converting controlled natural language sentences into ASP [4.747324197963404]
制御された自然言語(CNL)形式で表現された英語文をASP.NETに翻訳する新しいツールCNL2ASPを提案する。
論文 参考訳(メタデータ) (2023-11-17T13:10:58Z) - Python Code Generation by Asking Clarification Questions [57.63906360576212]
本稿では,この課題に対して,より斬新で現実的なセットアップを導入する。
我々は、自然言語記述の過小評価は、明確化を問うことで解決できると仮定する。
我々は、生成した合成明確化質問と回答を含む自然言語記述とコードのペアを含む、CodeClarQAという新しいデータセットを収集し、導入する。
論文 参考訳(メタデータ) (2022-12-19T22:08:36Z) - An ASP-based Approach to Answering Natural Language Questions for Texts [8.417188296231059]
本稿では,自然言語テキストから生成した知識を表現するために,応答集合プログラミング(ASP)に基づく手法を提案する。
ASP.NETは、自動質問応答、テキスト要約、自動質問生成など、多くの自然言語タスクを容易にする。
本稿では,英語テキストの自然言語質問に回答するタスクを自動化するために開発したCASPRシステムについて述べる。
論文 参考訳(メタデータ) (2021-12-21T14:13:06Z) - Evaluating Multilingual Text Encoders for Unsupervised Cross-Lingual
Retrieval [51.60862829942932]
本稿では,言語間文書・文検索タスクにおける最先端多言語エンコーダの適合性に着目した体系的実証研究を行う。
文レベルのCLIRでは、最先端のパフォーマンスが達成できることを実証する。
しかし、ピーク性能は、汎用の多言語テキストエンコーダをオフ・ザ・シェルフで使うのではなく、文の理解タスクにさらに特化したバリエーションに依存している。
論文 参考訳(メタデータ) (2021-01-21T00:15:38Z) - A Machine Learning guided Rewriting Approach for ASP Logic Programs [0.0]
機械学習(ML)に基づいて、書き換えるかどうかを自動決定するアプローチについて説明する。
特に、ASPプログラムと入力事実のセットが与えられた場合、我々のアプローチは、それらの構造特性とドメイン情報を測定する一連の機能に基づいて、入力ルールを書き換えるかどうかと方法を選択する。
論文 参考訳(メタデータ) (2020-09-22T00:51:13Z) - The ILASP system for Inductive Learning of Answer Set Programs [79.41112438865386]
我々のシステムは、通常の規則、選択規則、厳しい制約を含むアンサーセットプログラムを学習する。
まず、ILASPの学習フレームワークとその機能の概要を説明します。
続いて、ILASPシステムの進化を概観する。
論文 参考訳(メタデータ) (2020-05-02T19:04:12Z) - Incorporating External Knowledge through Pre-training for Natural
Language to Code Generation [97.97049697457425]
オープンドメインコード生成は、自然言語(NL)の意図から汎用プログラミング言語でコードを生成することを目的としている。
オンラインプログラミングQAフォーラムStackOverflowとプログラミング言語APIドキュメントからNL-codeペアを自動的にマイニングする。
評価の結果,2つのソースとデータ拡張と検索ベースデータ再サンプリングを組み合わせることで,コード生成テストベッドCoNaLa上でのBLEUスコアが最大2.2%向上することがわかった。
論文 参考訳(メタデータ) (2020-04-20T01:45:27Z) - CodeBERT: A Pre-Trained Model for Programming and Natural Languages [117.34242908773061]
CodeBERTは、プログラミング言語(PL)とナット言語(NL)のための事前訓練されたモデルである。
我々はTransformerベースのニューラルアーキテクチャを用いたCodeBERTを開発した。
モデルパラメータの微調整による2つのNL-PLアプリケーション上でのCodeBERTの評価を行った。
論文 参考訳(メタデータ) (2020-02-19T13:09:07Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。