論文の概要: A System for Explainable Answer Set Programming

• arxiv url: http://arxiv.org/abs/2009.10242v1
• Date: Tue, 22 Sep 2020 00:48:59 GMT
• ステータス: 処理完了
• システム内更新日: 2022-10-15 22:51:12.721308
• Title: A System for Explainable Answer Set Programming
• Title（参考訳）: 説明可能な解答集合プログラミングのためのシステム
• Authors: Pedro Cabalar (University of Coru\~na, Spain), Jorge Fandinno (University of Potsdam, Germany), Brais Mu\~niz (CITIC, University of Coru\~na, Spain)
• Abstract要約: テキストやラベルを付加したASPプログラムから説明を生成するツールであるxclingoを提示する。 xclingoはアノテーションを追加の述語とルールに変換し、ASPソルバclingoを使用して補助述語の拡張を取得する。
• 参考スコア（独自算出の注目度）: 2.563126112667148
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We present xclingo, a tool for generating explanations from ASP programs annotated with text and labels. These annotations allow tracing the application of rules or the atoms derived by them. The input of xclingo is a markup language written as ASP comment lines, so the programs annotated in this way can still be accepted by a standard ASP solver. xclingo translates the annotations into additional predicates and rules and uses the ASP solver clingo to obtain the extension of those auxiliary predicates. This information is used afterwards to construct derivation trees containing textual explanations. The language allows selecting which atoms to explain and, in its turn, which atoms or rules to include in those explanations. We illustrate the basic features through a diagnosis problem from the literature.
• Abstract（参考訳）: テキストやラベルを付加したASPプログラムから説明を生成するツールであるxclingoを提示する。 これらのアノテーションは、規則やそれらに由来する原子の応用をトレースすることができる。 xclingo のインプットは asp コメント行として書かれたマークアップ言語なので、この方法でアノテートされたプログラムは標準 asp ソルバによって受け入れられる。 xclingoはアノテーションを追加の述語とルールに変換し、asp solver clingoを使用して補助述語の拡張を取得する。 この情報は後に、テキストの説明を含む導出木を構築するために使われる。 この言語はどの原子を説明し、どの原子や規則をそれらの説明に含めるかを選択することができる。 文献からの診断問題を通して基本的特徴を説明する。

関連論文リスト

• An In-Context Schema Understanding Method for Knowledge Base Question Answering [70.87993081445127]
  大きな言語モデル(LLM)は、言語理解において強力な能力を示しており、この課題を解決するために使用することができる。 既存のメソッドは、当初、スキーマ固有の詳細を使わずにLLMを使用してロジックフォームのドラフトを生成することで、この課題を回避している。 そこで本研究では,LLMが文脈内学習を利用してスキーマを直接理解できる簡易なインコンテキスト理解(ICSU)手法を提案する。
  論文  参考訳（メタデータ） (2023-10-22T04:19:17Z)
• Controlled Generation with Prompt Insertion for Natural Language Explanations in Grammatical Error Correction [50.66922361766939]
  ユーザの修正理由の理解を確保することが不可欠である。 既存の研究では、修正の根拠となるトークン、例、ヒントが提示されているが、修正の理由を直接説明していない。 GEC修正のための説明を生成するには、入力トークンと出力トークンの整列、修正ポイントの識別、およびそれに対応する説明を一貫して提示することが含まれる。 本研究では,LLMが自然言語の修正の理由を説明するために,Prompt Insertion (PI) を用いた制御生成法を提案する。
  論文  参考訳（メタデータ） (2023-09-20T16:14:10Z)
• Explanations for Answer Set Programming [0.0]
  本稿では、解答集合プログラミング(ASP)のための説明グラフを生成するシステムであるxASPの拡張について述べる。 新しいシステムであるxASP2は、選択ルールや制約、#sum、#minなどの集約など、さまざまなクリンゴ構造をサポートしている。
  論文  参考訳（メタデータ） (2023-08-30T09:03:07Z)
• Evaluation of Automatically Constructed Word Meaning Explanations [0.0]
  非常に大規模なコーパスからの集合情報に基づいて,説明を自動的に導き出す新しいツールを提案する。 提案手法は,約90%のケースにおいて,単語の意味を理解するのに有用なデータを含む説明を作成できることを示す。
  論文  参考訳（メタデータ） (2023-02-27T09:47:55Z)
• Non-Programmers Can Label Programs Indirectly via Active Examples: A Case Study with Text-to-SQL [61.950839050383514]
  APELは、非プログラマがシードセマンティクス(例えば、Codex)によって生成される候補プログラムの中から選択するフレームワークである。 各発話に対してAPELは、候補プログラムが異なる出力を生成する傾向がある単純な入力を積極的に検索する。 非プログラマに対して適切な出力を選択することのみを要求し、どのプログラムが正しいかを推測できるようにします。
  論文  参考訳（メタデータ） (2022-05-25T00:35:12Z)
• AUTOLEX: An Automatic Framework for Linguistic Exploration [93.89709486642666]
  本稿では言語学者による言語現象の簡潔な記述の発見と抽出を容易にするための自動フレームワークを提案する。 具体的には、この枠組みを用いて、形態的一致、ケースマーキング、単語順序の3つの現象について記述を抽出する。 本研究では,言語専門家の助けを借りて記述を評価し,人間の評価が不可能な場合に自動評価を行う手法を提案する。
  論文  参考訳（メタデータ） (2022-03-25T20:37:30Z)
• An ASP-based Approach to Answering Natural Language Questions for Texts [8.417188296231059]
  本稿では,自然言語テキストから生成した知識を表現するために,応答集合プログラミング(ASP)に基づく手法を提案する。 ASP.NETは、自動質問応答、テキスト要約、自動質問生成など、多くの自然言語タスクを容易にする。 本稿では,英語テキストの自然言語質問に回答するタスクを自動化するために開発したCASPRシステムについて述べる。
  論文  参考訳（メタデータ） (2021-12-21T14:13:06Z)
• exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules [0.0]
  exp(ASP) はリテラル l に対する説明グラフを生成する。 exp(ASPc)は、選択と制約に関する情報を含む説明グラフを提供する。
  論文  参考訳（メタデータ） (2021-09-17T01:48:14Z)
• Counterfactual Interventions Reveal the Causal Effect of Relative Clause Representations on Agreement Prediction [61.4913233397155]
  BERTが言語戦略を用いて合意予測中にRCスパンに関する情報を使用することを示す。 また,特定のRCサブタイプに対して生成された反事実表現が,他のRCサブタイプを含む文の数値予測に影響を及ぼし,RC境界に関する情報がBERTの表現に抽象的に符号化されたことを示唆した。
  論文  参考訳（メタデータ） (2021-05-14T17:11:55Z)
• Syntactic Search by Example [44.69040040007045]
  本稿では,依存グラフ上の構文パターンを用いて,言語的に注釈付けされた大規模コーパスを検索するシステムを提案する。 本稿では,下層の構文表現の詳細を知る必要のない軽量なクエリ言語を提案する。 探索は,効率的な言語グラフインデクシングと検索エンジンにより,対話的な速度で行われる。
  論文  参考訳（メタデータ） (2020-06-04T16:59:01Z)
• The ILASP system for Inductive Learning of Answer Set Programs [79.41112438865386]
  我々のシステムは、通常の規則、選択規則、厳しい制約を含むアンサーセットプログラムを学習する。 まず、ILASPの学習フレームワークとその機能の概要を説明します。 続いて、ILASPシステムの進化を概観する。
  論文  参考訳（メタデータ） (2020-05-02T19:04:12Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。