Fugu-MT 論文翻訳(概要): Generating explanations for answer set programming applications

論文の概要: Generating explanations for answer set programming applications

arxiv url: http://arxiv.org/abs/2104.08963v1
Date: Sun, 18 Apr 2021 21:47:40 GMT
ステータス: 処理完了
システム内更新日: 2021-04-21 06:27:34.290385
Title: Generating explanations for answer set programming applications
Title（参考訳）: 解集合プログラミング応用のための説明の生成
Authors: Ly Ly Trieu, Tran Cao Son, Enrico Pontelli, and Marcello Balduccini
Abstract要約: 答えセットプログラミング(ASP)を活用したアプリケーション説明システムを提案する。プログラムP、Pの解集合A、およびプログラムPの原子aが与えられた場合、プログラムPと解集合Aが与えられた場合、Aが真(または偽)である理由を説明するのに役立つaのすべての説明グラフを生成する。
参考スコア（独自算出の注目度）: 7.024239879640638
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We present an explanation system for applications that leverage Answer Set Programming (ASP). Given a program P, an answer set A of P, and an atom a in the program P, our system generates all explanation graphs of a which help explain why a is true (or false) given the program P and the answer set A. We illustrate the functionality of the system using some examples from the literature.
Abstract（参考訳）: ASP(Answer Set Programming)を利用したアプリケーションのための説明システムを提案する。プログラムP、Pの解集合A、およびプログラムPの原子aが与えられた場合、プログラムPと解集合Aが与えられた場合、Aが真(または偽)である理由を説明するのに役立つaのすべての説明グラフを生成する。本論文のいくつかの例を用いて,システム機能について解説する。

関連論文リスト

Natural Language Embedded Programs for Hybrid Language Symbolic Reasoning [84.12154024070024]
本研究では,数学・記号的推論,自然言語理解,後続の課題に対処するための統合フレームワークとして,自然言語組み込みプログラム(NLEP)を提案する。我々のアプローチは,構造化知識の自然言語表現を含むデータ構造上の関数を定義する完全なPythonプログラムを生成するよう,言語モデルに促す。 Pythonインタープリタが生成されたコードを実行し、出力をプリントする。
論文参考訳（メタデータ） (2023-09-19T17:54:21Z)
Explanations for Answer Set Programming [0.0]
本稿では、解答集合プログラミング(ASP)のための説明グラフを生成するシステムであるxASPの拡張について述べる。新しいシステムであるxASP2は、選択ルールや制約、#sum、#minなどの集約など、さまざまなクリンゴ構造をサポートしている。
論文参考訳（メタデータ） (2023-08-30T09:03:07Z)
The Integer Linear Programming Inference Cookbook [108.82092464025231]
このサーベイは、整数線形プログラムのインスタンスとして新しい推論問題をフレーミングするプロセスを通じて、読者を導くことを目的としている。最後に、これらのレシピの使用例を2つ紹介する。
論文参考訳（メタデータ） (2023-06-30T23:33:11Z)
Fact-Checking Complex Claims with Program-Guided Reasoning [99.7212240712869]
Program-Guided Fact-Checking (ProgramFC)は、複雑なクレームを単純なサブタスクに分解する新しいファクトチェックモデルである。まず,大規模言語モデルの文脈内学習能力を活用して推論プログラムを生成する。我々は,各サブタスクを対応するサブタスクハンドラに委譲することでプログラムを実行する。
論文参考訳（メタデータ） (2023-05-22T06:11:15Z)
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics [0.5801044612920815]
本稿では,プログラムの基底サイズを推定するシステム予測器を提案する。本稿では,Productor と Lpopt が生成したリライトのガイドとして使用するPredictor の効果を評価する。
論文参考訳（メタデータ） (2023-03-29T20:49:40Z)
Hierarchical Programmatic Reinforcement Learning via Learning to Compose Programs [58.94569213396991]
プログラムポリシーを作成するための階層型プログラム強化学習フレームワークを提案する。提案するフレームワークは,プログラム作成の学習を通じて,アウト・オブ・ディストリビュータの複雑な動作を記述するプログラムポリシーを作成することができる。 Karel ドメインの実験結果から,提案するフレームワークがベースラインより優れていることが示された。
論文参考訳（メタデータ） (2023-01-30T14:50:46Z)
ExaRanker: Explanation-Augmented Neural Ranker [67.4894325619275]
本研究は,ニューラルランサーが説明の恩恵を受けることを示す。我々は、GPT-3.5のようなLCMを用いて、説明付き検索データセットを増強する。 ExaRankerと呼ばれる私たちのモデルは、数千の例で微調整され、合成説明は、説明なしで3倍の例で微調整されたモデルと同等に実行される。
論文参考訳（メタデータ） (2023-01-25T11:03:04Z)
exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules [0.0]
exp(ASP) はリテラル l に対する説明グラフを生成する。 exp(ASPc)は、選択と制約に関する情報を含む説明グラフを提供する。
論文参考訳（メタデータ） (2021-09-17T01:48:14Z)
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs [22.39203220587435]
本稿では,このような量的推論問題に対処するために必要な基礎的数え上げ問題を効率的に解くことのできる,新しいシステムを提案する。本システムでは,木幅をグラフベースで表し,ELPプログラムの抽象表現(グラフ)を反復的に探索し,精算する。私たちのアプローチは、最近導入された既存のシステムと競合しています。
論文参考訳（メタデータ） (2021-08-06T09:46:34Z)
grASP: A Graph Based ASP-Solver and Justification System [5.098678276629787]
本稿では,目標の結合をノードとして明示的に表現する,新たな依存グラフに基づく解集合探索手法を提案する。私たちの表現は因果関係を保ち、答えセットの各リテラルをエレガントに見つけるために正当化します。
論文参考訳（メタデータ） (2021-04-02T18:16:20Z)
The ILASP system for Inductive Learning of Answer Set Programs [79.41112438865386]
我々のシステムは、通常の規則、選択規則、厳しい制約を含むアンサーセットプログラムを学習する。まず、ILASPの学習フレームワークとその機能の概要を説明します。続いて、ILASPシステムの進化を概観する。
論文参考訳（メタデータ） (2020-05-02T19:04:12Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。