Fugu-MT 論文翻訳(概要): A framework for Conditional Reasoning in Answer Set Programming

論文の概要: A framework for Conditional Reasoning in Answer Set Programming

arxiv url: http://arxiv.org/abs/2506.03997v1
Date: Wed, 04 Jun 2025 14:25:34 GMT
ステータス: 翻訳完了
システム内更新日: 2025-06-05 21:20:14.37945
Title: A framework for Conditional Reasoning in Answer Set Programming
Title（参考訳）: 解集合プログラミングにおける条件推論の枠組み
Authors: Mario Alviano, Laura Giordano, Daniele Theseider Dupré,
Abstract要約: 我々は、条件付き解集合プログラミング(ASP)の条件付き拡張を定義するための条件付き解集合プログラミングフレームワーク(Conditional ASP)を紹介する。このアプローチは、典型的な条件付き論理と、条件付き知識ベースとASPプログラムの組み合わせに基づいて構築され、プログラムの応答セットに対する条件付き推論を可能にする。
参考スコア（独自算出の注目度）: 1.228936170812787
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: In this paper we introduce a Conditional Answer Set Programming framework (Conditional ASP) for the definition of conditional extensions of Answer Set Programming (ASP). The approach builds on a conditional logic with typicality, and on the combination of a conditional knowledge base with an ASP program, and allows for conditional reasoning over the answer sets of the program. The formalism relies on a multi-preferential semantics (and on the KLM preferential semantics, as a special case) to provide an interpretation of conditionals.
Abstract（参考訳）: 本稿では,条件付きAnswer Set Programming(ASP)の条件拡張を定義するためのConditional ASP(Conditional Answer Set Programming)フレームワークを紹介する。このアプローチは、典型的な条件付き論理と、条件付き知識ベースとASPプログラムの組み合わせに基づいて構築され、プログラムの応答セットに対する条件付き推論を可能にする。形式主義は、条件文の解釈を提供するために、多重述語意味論(およびKLM優先意味論(特別の場合))に依存している。

関連論文リスト

Few-shot Policy (de)composition in Conversational Question Answering [54.259440408606515]
本稿では,大規模言語モデル(LLM)を用いて数ショット設定でポリシーコンプライアンスを検出するニューラルシンボリックフレームワークを提案する。提案手法は,回答すべきサブクエストを抽出し,文脈情報から真理値を割り当て,与えられたポリシーから論理文の集合を明示的に生成することで,政策コンプライアンスに関する会話に対して健全な理由を示す。本手法は,PCDおよび会話機械読解ベンチマークであるShARCに適用し,タスク固有の微調整を伴わずに競合性能を示す。
論文参考訳（メタデータ） (2025-01-20T08:40:15Z)
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。応用例としては、メタ理論的性質の形式的解析と検証がある。
論文参考訳（メタデータ） (2023-12-08T09:32:26Z)
Reasoning over Logically Interacted Conditions for Question Answering [113.9231035680578]
我々は、論理的に相互作用する条件のリストによって答えが制約される、より困難なタスクについて研究する。本稿では,この難解な推論タスクのための新しいモデルTReasonerを提案する。 TReasonerは、2つのベンチマーク条件付きQAデータセットで最先端のパフォーマンスを達成する。
論文参考訳（メタデータ） (2022-05-25T16:41:39Z)
A General Framework for Modelling Conditional Reasoning -- Preliminary Report [4.340338299803562]
ここでは、幅広い推論システムの定義を可能にする条件文の形式化を紹介し、検討する。このフレームワークは論理ベースのKRにおいて、最も一般的な条件推論をカバーしている。
論文参考訳（メタデータ） (2022-02-15T17:33:39Z)
Answer Set Programming Made Easy [11.142087388269033]
私たちは、Answer Set Programmingの民話から、すなわち、選択、整合性制約と制限されたルールフォーマットが、Answer Set Programmingにとって十分であるという考えを取り上げます。 ASP初心者向けのモデリング手法を提案し、その使い方を説明する。
論文参考訳（メタデータ） (2021-11-11T18:27:09Z)
ConditionalQA: A Complex Reading Comprehension Dataset with Conditional Answers [93.55268936974971]
条件付き回答を含む複雑な質問を含む質問回答データセットについて述べる。このデータセットを ConditionalQA と呼びます。本稿では,既存のQAモデルの多く,特に回答条件の選択において,ConditionalQAは困難であることを示す。
論文参考訳（メタデータ） (2021-10-13T17:16:46Z)
Planning with Incomplete Information in Quantified Answer Set Programming [1.3501640559999886]
ASP(Answer Set Programming)における不完全な情報を用いた計画手法を提案する。論理プログラムが状態間の遷移関数を記述する単純な形式主義を用いて計画問題を表現している。本稿では、量子化された論理プログラムをQBFに変換し、QBFソルバを実行する翻訳ベースのQASPソルバを提案する。
論文参考訳（メタデータ） (2021-08-13T21:24:47Z)
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures [13.245718532835864]
コンテキスト化知識リポジトリ(CKR)は記述論理に根ざしているが、論理プログラムに強く関連している。本稿では、複数の文脈関係に対するCKR階層の一般化と、デフェイザブルな公理と選好の解釈について述べる。複数のコンテキスト関係を持つCKR階層の関連する断片に対して、クエリ応答は一般的なasprinフレームワークで実現可能であることを示す。
論文参考訳（メタデータ） (2021-08-06T13:06:45Z)
Hierarchical Poset Decoding for Compositional Generalization in Language [52.13611501363484]
出力が部分的に順序付けられた集合(命題)である構造化予測タスクとして人間の言語理解を形式化する。現在のエンコーダ・デコーダアーキテクチャは意味論のポーズ構造を適切に考慮していない。本稿では,言語における合成一般化のための新しい階層型ポーズデコーディングパラダイムを提案する。
論文参考訳（メタデータ） (2020-10-15T14:34:26Z)
The ILASP system for Inductive Learning of Answer Set Programs [79.41112438865386]
我々のシステムは、通常の規則、選択規則、厳しい制約を含むアンサーセットプログラムを学習する。まず、ILASPの学習フレームワークとその機能の概要を説明します。続いて、ILASPシステムの進化を概観する。
論文参考訳（メタデータ） (2020-05-02T19:04:12Z)
An ASP semantics for Constraints involving Conditional Aggregates [9.289905977910378]
ハイブリッド・アンサー・セット・プログラミング(ASP)の正式な基礎について詳しく述べる。制約値や変数を集約する関数で、その基盤となる論理的フレームワークを拡張します。線形制約を持つ論理プログラムに重きを置いて、いわゆる条件付き線形制約の特定のケースとして、ASP集約がいかに共通であるかを示す。
論文参考訳（メタデータ） (2020-02-17T12:25:01Z)

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