論文の概要: FOLASP: FO(.) as Input Language for Answer Ser Solvers
- arxiv url: http://arxiv.org/abs/2108.04020v1
- Date: Mon, 9 Aug 2021 13:20:26 GMT
- ステータス: 処理完了
- システム内更新日: 2021-08-10 20:26:17.471390
- Title: FOLASP: FO(.) as Input Language for Answer Ser Solvers
- Title（参考訳）: FOLASP: FO()
サーソルソルバーに対する入力言語として
- Authors: Kylian Van Dessel, Jo Devriendt, and Joost Vennekens
- Abstract要約: 本稿では, FO(.) 仕様を ASP-Core-2 に変換するツールを提案する。
FO()で定式化された問題の解法として,我々の翻訳と既製のASPソルバの組み合わせがIDPシステムと競合することを示す実験結果を示す。
- 参考スコア（独自算出の注目度）: 0.8946655323517091
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Over the past decades, Answer Set Programming (ASP) has emerged as an
important paradigm for declarative problem solving. Technological progress in
this area has been stimulated by the use of common standards, such as the
ASP-Core-2 language. While ASP has its roots in non-monotonic reasoning,
efforts have also been made to reconcile ASP with classical first-order logic
(FO). This has resulted in the development of FO(.), an expressive extension of
FO, which allows ASP-like problem solving in a purely classical setting. This
language may be more accessible to domain experts already familiar with FO, and
may be easier to combine with other formalisms that are based on classical
logic. It is supported by the IDP inference system, which has successfully
competed in a number of ASP competitions. Here, however, technological progress
has been hampered by the limited number of systems that are available for
FO(.). In this paper, we aim to address this gap by means of a translation tool
that transforms an FO(.) specification into ASP-Core-2, thereby allowing
ASP-Core-2 solvers to be used as solvers for FO(.) as well. We present
experimental results to show that the resulting combination of our translation
with an off-the-shelf ASP solver is competitive with the IDP system as a way of
solving problems formulated in FO(.).
Under consideration for acceptance in TPLP.
- Abstract（参考訳）: 過去数十年にわたり、解答セットプログラミング(ASP)は宣言的問題解決の重要なパラダイムとして現れてきた。
この領域の技術進歩は、ASP-Core-2言語のような共通標準の使用によって刺激されている。
ASPは非単調な推論にルーツを持っているが、ASPを古典的な一階述語論理(FO)と整合させる努力も行われている。
この結果、fo(.)の開発に至りました。
これは、純粋に古典的な設定でaspのような問題解決を可能にする。
この言語は、既にfoに精通しているドメインエキスパートによりアクセスしやすくなり、古典論理に基づいた他の形式と組み合わせるのが容易になるかもしれない。
IDP推論システムによってサポートされており、多くのASPコンペティションで成功を収めている。
しかし、技術進歩はFO(.)に利用可能な限られた数のシステムによって妨げられている。
本稿では,FO()を変換する翻訳ツールを用いて,このギャップに対処することを目的とする。
これにより、ASP-Core-2ソルバをFO(.NET)のソルバとして使用できる。
それも。
そこで本研究では,本研究で得られた翻訳と既製のASPソルバの組み合わせが,FO()で定式化された問題の解法としてIDPシステムと競合することを示す。
TPLPの受容についての検討
関連論文リスト
- Finite Groundings for ASP with Functions: A Journey through Consistency [21.53198582611571]
関数シンボルによるASPの強化は、基本的な推論問題を極めて決定不能にすることが知られている。
高レベルの不決定性に対する直感を与える縮小を示す。
これらの洞察は、ASP プログラムを "frugal" と "non-proliferous" と特徴づける、よりきめ細かい分析を可能にする。
論文 参考訳（メタデータ） (2024-05-08T11:50:08Z) - From $r$ to $Q^*$: Your Language Model is Secretly a Q-Function [50.812404038684505]
我々は,ベルマン方程式を満たす一般逆Q-ラーニングアルゴリズムとして,トークンレベルMDPのDPOを導出できることを示す。
本稿では,マルチターン対話における情報活用,推論,エージェント応用,マルチモデルシステムのエンドツーエンドトレーニングなど,我々の研究の応用について論じる。
論文 参考訳（メタデータ） (2024-04-18T17:37:02Z) - SADAS: A Dialogue Assistant System Towards Remediating Norm Violations
in Bilingual Socio-Cultural Conversations [56.31816995795216]
SADAS(Socially-Aware Dialogue Assistant System)は、会話が敬意と理解で広がることを保証するためのシステムである。
本システムの新しいアーキテクチャは,(1)対話に存在する規範のカテゴリを特定すること,(2)潜在的な規範違反を検出すること,(3)違反の深刻さを評価すること,(4)違反の是正を目的とした対策を実施すること,を含む。
論文 参考訳（メタデータ） (2024-01-29T08:54:21Z) - CNL2ASP: converting controlled natural language sentences into ASP [4.747324197963404]
制御された自然言語(CNL)形式で表現された英語文をASP.NETに翻訳する新しいツールCNL2ASPを提案する。
論文 参考訳（メタデータ） (2023-11-17T13:10:58Z) - Sentiment Analysis through LLM Negotiations [58.67939611291001]
感情分析の標準的なパラダイムは、単一のLCMに依存して、その決定を1ラウンドで行うことである。
本稿では,感情分析のためのマルチLLMネゴシエーションフレームワークを提案する。
論文 参考訳（メタデータ） (2023-11-03T12:35:29Z) - BOOST: Harnessing Black-Box Control to Boost Commonsense in LMs'
Generation [60.77990074569754]
本稿では,凍結した事前学習言語モデルを,より汎用的な生成に向けて操る,計算効率のよいフレームワークを提案する。
具体的には、まず、文に常識的スコアを割り当てる参照なし評価器を構築する。
次に、スコアラをコモンセンス知識のオラクルとして使用し、NADOと呼ばれる制御可能な生成法を拡張して補助ヘッドを訓練する。
論文 参考訳（メタデータ） (2023-10-25T23:32:12Z) - Explainable Answer-set Programming [0.0]
プロジェクトはこれらのギャップのいくつかを埋めることを目的としており、ASP.NET ASP.NET MVCにおける技術の現状に貢献することを目的としている。
我々は、既存のアプローチの言語サポートを拡張するだけでなく、新しい説明形式を発達させることによって、この問題に対処する。
論文 参考訳（メタデータ） (2023-08-30T09:09:57Z) - LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories [0.0]
本稿では、ASPプログラムを擬似ブール理論に変換する新しいツールLP2PBを提案する。
従来のASPベンチマークで、当社のツールと、ASPに対するカットプレーンベースの問題解決の可能性を評価します。
論文 参考訳（メタデータ） (2020-09-22T00:50:17Z) - Modelling Multi-Agent Epistemic Planning in ASP [66.76082318001976]
本稿では,マルチショット・アンサー・セット・プログラミング・ベース・プランナの実装について述べる。
本稿は, アドホックなエピステミック状態表現とASPソルバの効率を生かしたプランナーが, 文献から収集したベンチマークに対して, 競合的な性能を示すことを示す。
論文 参考訳（メタデータ） (2020-08-07T06:35:56Z) - The ILASP system for Inductive Learning of Answer Set Programs [79.41112438865386]
我々のシステムは、通常の規則、選択規則、厳しい制約を含むアンサーセットプログラムを学習する。
まず、ILASPの学習フレームワークとその機能の概要を説明します。
続いて、ILASPシステムの進化を概観する。
論文 参考訳（メタデータ） (2020-05-02T19:04:12Z) - selp: A Single-Shot Epistemic Logic Program Solver [19.562205966997947]
Epistemic Logic Programs (ELP) は Answer Set Programming (ASP) の拡張である
また, 有界アリティを持つ非地上ASPへの ELP からの直接変換が存在することを示す。
次に、この符号化手法を、最近提案された大規模かつ非地上的なASPルールを扱う手法を用いて、プロトタイプのELP解決システム「セルプ」に実装する。
論文 参考訳（メタデータ） (2020-01-04T15:36:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。