CNL2ASP: converting controlled natural language sentences into ASP

要約

Answer Set Programming (ASP) は、難しい組み合わせ問題を解決するための人気のある宣言型プログラミング言語です。
ASP は学術および産業分野で広く受け入れられていますが、ASP プログラムを指定する際には、自然言語によく似た高水準言語を採用する方が有利であると考えるユーザー グループも存在します。
この論文では、制御自然言語 (CNL) 形式で表現された英語の文章を ASP に翻訳するための、CNL2ASP と呼ばれる新しいツールを提案します。
特に、最初に CNL で許可される文のタイプの定義と ASP ルールとしてのその翻訳を提供し、次に合成問題と現実世界の組み合わせ問題の両方を仕様化するための CNL の使用例を示します。
最後に、自動生成されたエンコーディングのパフォーマンスを ASP 実務者が作成したエンコーディングと比較するために、現実世界の問題に対して実施された実験分析の結果を報告します。これは、私たちのツールがこれらのベンチマークで満足のいくパフォーマンスを得ることができることを示しています。
論理プログラミングの理論と実践 (TPLP) で検討中。

要約(オリジナル)

Answer Set Programming (ASP) is a popular declarative programming language for solving hard combinatorial problems. Although ASP has gained widespread acceptance in academic and industrial contexts, there are certain user groups who may find it more advantageous to employ a higher-level language that closely resembles natural language when specifying ASP programs. In this paper, we propose a novel tool, called CNL2ASP, for translating English sentences expressed in a controlled natural language (CNL) form into ASP. In particular, we first provide a definition of the type of sentences allowed by our CNL and their translation as ASP rules, and then exemplify the usage of the CNL for the specification of both synthetic and real-world combinatorial problems. Finally, we report the results of an experimental analysis conducted on the real-world problems to compare the performance of automatically generated encodings with the ones written by ASP practitioners, showing that our tool can obtain satisfactory performance on these benchmarks. Under consideration in Theory and Practice of Logic Programming (TPLP).

arxiv情報

提供元, 利用サービス

arxiv.jp, Google