論文の概要: Descriptor Revision for Conditionals: Literal Descriptors and
Conditional Preservation
- arxiv url: http://arxiv.org/abs/2006.01444v1
- Date: Tue, 2 Jun 2020 08:21:33 GMT
- ステータス: 処理完了
- システム内更新日: 2022-11-26 00:28:43.817627
- Title: Descriptor Revision for Conditionals: Literal Descriptors and
Conditional Preservation
- Title(参考訳): 条件記述子:リテラル記述子と条件保存
- Authors: Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle
- Abstract要約: ディスクリプタリビジョン(Descriptor revision)は、信念の変化に対処するためのフレームワークである。
本稿では,条件論理の記述子リビジョンの実現について検討する。
本稿では,制約満足度問題によって条件書の記述子リビジョンがいかに特徴付けられるかを示す。
- 参考スコア(独自算出の注目度): 2.580765958706854
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Descriptor revision by Hansson is a framework for addressing the problem of
belief change. In descriptor revision, different kinds of change processes are
dealt with in a joint framework. Individual change requirements are qualified
by specific success conditions expressed by a belief descriptor, and belief
descriptors can be combined by logical connectives. This is in contrast to the
currently dominating AGM paradigm shaped by Alchourr\'on, G\"ardenfors, and
Makinson, where different kinds of changes, like a revision or a contraction,
are dealt with separately. In this article, we investigate the realisation of
descriptor revision for a conditional logic while restricting descriptors to
the conjunction of literal descriptors. We apply the principle of conditional
preservation developed by Kern-Isberner to descriptor revision for
conditionals, show how descriptor revision for conditionals under these
restrictions can be characterised by a constraint satisfaction problem, and
implement it using constraint logic programming. Since our conditional logic
subsumes propositional logic, our approach also realises descriptor revision
for propositional logic.
- Abstract(参考訳): hansson氏によるdescriptor revisionは、信念の変化の問題に対処するためのフレームワークである。
記述子リビジョンでは、共同フレームワークで異なる種類の変更プロセスが処理されます。
個々の変更要件は、信念記述子によって表現される特定の成功条件によって資格が与えられ、信念記述子は論理接続子で結合することができる。
これは、alchourr\'on、g\"ardenfors、makinsonによって形成された現在支配されているagmパラダイムとは対照的で、リビジョンや縮小といった異なる種類の変更が別々に処理される。
本稿では,記述子をリテラル記述子の結合に制限しながら,条件論理の記述子リビジョンの実現について検討する。
本稿では,Kern-Isberner による条件記述の書き直しに条件保存の原理を適用し,制約満足度問題によって条件記述の書き直しがいかに特徴付けられるかを示し,制約論理プログラミングを用いて実装する。
条件論理は命題論理を仮定するため,提案論理の記述子修正も実現している。
関連論文リスト
- An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳(メタデータ) (2023-12-08T09:32:26Z) - Interpretable Regional Descriptors: Hyperbox-Based Local Explanations [0.7349727826230864]
この研究は、局所的、モデルに依存しない解釈のための解釈可能な地域記述子(IRD)を導入している。
IRDは、その予測に影響を与えることなく、観察の特徴値をどのように変更できるかを記述するハイパーボックスである。
論文 参考訳(メタデータ) (2023-05-04T12:26:07Z) - Logical Satisfiability of Counterfactuals for Faithful Explanations in
NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。
これは、説明に表される論理述語に基づいて、反実仮説を生成する。
そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文 参考訳(メタデータ) (2022-05-25T03:40:59Z) - A General Framework for Modelling Conditional Reasoning -- Preliminary
Report [4.340338299803562]
ここでは、幅広い推論システムの定義を可能にする条件文の形式化を紹介し、検討する。
このフレームワークは論理ベースのKRにおいて、最も一般的な条件推論をカバーしている。
論文 参考訳(メタデータ) (2022-02-15T17:33:39Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳(メタデータ) (2021-10-18T10:45:59Z) - CARE: Coherent Actionable Recourse based on Sound Counterfactual
Explanations [0.0]
本稿では,モデルおよびユーザレベルのデシダータに対処するモジュール型説明フレームワークであるCAREを紹介する。
モデルに依存しないアプローチとして、CAREはブラックボックスモデルに対して複数の多様な説明を生成する。
論文 参考訳(メタデータ) (2021-08-18T15:26:59Z) - Controllable Summarization with Constrained Markov Decision Process [50.04321779376415]
本研究では,ユーザが特定の属性を制御できる可制御テキスト要約について検討する。
制約付きマルコフ決定プロセス(CMDP)に基づく新しいトレーニングフレームワークを提案する。
我々のフレームワークは、長さ、被覆された実体、抽象性など、要約の重要な属性を制御するために応用できる。
論文 参考訳(メタデータ) (2021-08-07T09:12:53Z) - Deep Just-In-Time Inconsistency Detection Between Comments and Source
Code [51.00904399653609]
本稿では,コード本体の変更によりコメントが矛盾するかどうかを検出することを目的とする。
私たちは、コメントとコードの変更を関連付けるディープラーニングアプローチを開発しています。
より包括的な自動コメント更新システムを構築するために,コメント更新モデルと組み合わせて提案手法の有用性を示す。
論文 参考訳(メタデータ) (2020-10-04T16:49:28Z) - Online Invariance Selection for Local Feature Descriptors [93.32949876169785]
現在の特徴記述子の制限は、一般化と差別力のトレードオフである。
本稿では,この制限を,局所的な記述子における不変性の分散と,その文脈に与えられた最も適切な不変性のオンライン選択によって克服することを提案する。
提案手法は,現在のディスクリプタの性能を向上し,複数のマッチングタスクにおいて最先端のディスクリプタより優れていることを示す。
論文 参考訳(メタデータ) (2020-07-17T14:08:22Z) - Revision by Conditionals: From Hook to Arrow [2.9005223064604078]
本稿では,任意の反復的信念修正演算子を条件付きケースに拡張する「プラグアンドプレイ」手法を提案する。
本手法の柔軟性は, 条件付きリビジョンの結果を, 対応する材料条件付きリビジョンによって決定することによって達成される。
論文 参考訳(メタデータ) (2020-06-29T05:12:30Z) - An ASP semantics for Constraints involving Conditional Aggregates [9.289905977910378]
ハイブリッド・アンサー・セット・プログラミング(ASP)の正式な基礎について詳しく述べる。
制約値や変数を集約する関数で、その基盤となる論理的フレームワークを拡張します。
線形制約を持つ論理プログラムに重きを置いて、いわゆる条件付き線形制約の特定のケースとして、ASP集約がいかに共通であるかを示す。
論文 参考訳(メタデータ) (2020-02-17T12:25:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。