論文の概要: Relative Expressiveness of Defeasible Logics II
- arxiv url: http://arxiv.org/abs/2102.10532v1
- Date: Sun, 21 Feb 2021 07:01:50 GMT
- ステータス: 処理完了
- システム内更新日: 2021-02-23 14:48:07.444464
- Title: Relative Expressiveness of Defeasible Logics II
- Title(参考訳): 既約論理の相対表現性 II
- Authors: Michael J. Maher
- Abstract要約: dlフレームワークの全ての難解な論理は、この相対表現性の定式化の下で等しく表現可能であることを示す。
個々の敗北を組み込んだ論理は、チームの敗北と対応する論理と同等に表現力があることを示す。
- 参考スコア(独自算出の注目度): 1.3706331473063877
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: (Maher 2012) introduced an approach for relative expressiveness of defeasible
logics, and two notions of relative expressiveness were investigated. Using the
first of these definitions of relative expressiveness, we show that all the
defeasible logics in the DL framework are equally expressive under this
formulation of relative expressiveness. The second formulation of relative
expressiveness is stronger than the first. However, we show that logics
incorporating individual defeat are equally expressive as the corresponding
logics with team defeat. Thus the only differences in expressiveness of logics
in DL arise from differences in how ambiguity is handled. This completes the
study of relative expressiveness in DL begun in \cite{Maher12}.
- Abstract(参考訳): (maher 2012) は、難解論理の相対表現性に関するアプローチを導入し、相対表現性の概念を2つ検討した。
これらの相対表現性の第一の定義を用いて、DLフレームワークの全ての非実現可能論理は、この相対表現性の定式化の下で等しく表現可能であることを示す。
相対表現性の第二の定式化は、第一よりも強い。
しかし,個々の敗退を取り入れた論理は,チーム敗退の論理と同等に表現できることを示す。
したがって、DLにおける論理表現性の唯一の相違は、あいまいさの扱い方の違いから生じる。
これにより、dl の相対表現性の研究は \cite{maher12} で始まる。
関連論文リスト
- Conjuring Semantic Similarity [59.18714889874088]
2つのテキスト表現間の意味的類似性は、潜伏者の「意味」の間の距離を測定する
テキスト表現間の意味的類似性は、他の表現を言い換えるのではなく、それらが引き起こすイメージに基づいている、という新しいアプローチを提案する。
提案手法は,人間の注釈付きスコアに適合するだけでなく,テキスト条件付き生成モデル評価のための新たな道を開く意味的類似性に関する新たな視点を提供する。
論文 参考訳(メタデータ) (2024-10-21T18:51:34Z) - A Unified View on Forgetting and Strong Equivalence Notions in Answer
Set Programming [14.342696862884704]
文献からすべての関連概念を捉えることができる新しい相対同値概念を導入する。
次に、プロジェクションと(SP)鍛造の緩和を組み合わせた演算子を導入し、相対化単純化を求める。
論文 参考訳(メタデータ) (2023-12-13T09:05:48Z) - From Heuristic to Analytic: Cognitively Motivated Strategies for
Coherent Physical Commonsense Reasoning [66.98861219674039]
ヒューリスティック分析推論(HAR)戦略は、モデル決定のための合理化のコヒーレンスを大幅に改善する。
以上の結果から, PLM推論の一貫性と信頼性を効果的に向上できる可能性が示唆された。
論文 参考訳(メタデータ) (2023-10-24T19:46:04Z) - Transitivity Recovering Decompositions: Interpretable and Robust
Fine-Grained Relationships [69.04014445666142]
Transitivity Recovering Decompositions (TRD) は、抽象的な創発的関係の解釈可能な等価性を識別するグラフ空間探索アルゴリズムである。
TRDは明らかにノイズの多い見方に対して堅牢であり、実証的な証拠もこの発見を支持している。
論文 参考訳(メタデータ) (2023-10-24T16:48:56Z) - Explaining with Attribute-based and Relational Near Misses: An
Interpretable Approach to Distinguishing Facial Expressions of Pain and
Disgust [1.9897061813159418]
本稿では, 痛みや嫌悪感の表情をビデオシーケンスで説明するために, 対照的な説明を生成するアプローチを提案する。
コントラストのインスタンスとして、近いミスと遠いミスを決定するために、2つの異なる類似度メトリクスを使用します。
評価の結果, 痛みと嫌悪感は時間的関係の助けを借りて区別できることが示唆された。
論文 参考訳(メタデータ) (2023-08-27T17:47:30Z) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳(メタデータ) (2023-06-21T07:34:27Z) - Logic-Driven Context Extension and Data Augmentation for Logical
Reasoning of Text [65.24325614642223]
論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。
このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。
本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
論文 参考訳(メタデータ) (2021-05-08T10:09:36Z) - LEED: Label-Free Expression Editing via Disentanglement [57.09545215087179]
LEEDフレームワークは、表現ラベルを必要とせずに、前頭顔画像とプロファイル顔画像の両方の表現を編集することができる。
2つの新たな損失は、最適な表現の切り離しと一貫した合成のために設計されている。
論文 参考訳(メタデータ) (2020-07-17T13:36:15Z) - Higher-order Logic as Lingua Franca -- Integrating Argumentative
Discourse and Deep Logical Analysis [0.0]
本稿では,議論的言説の深い多元論的論理解析へのアプローチを提案する。
我々は古典的な高階論理に最先端の自動推論技術を用いる。
論文 参考訳(メタデータ) (2020-07-02T11:07:53Z) - Notes on neighborhood semantics for logics of unknown truths and false
beliefs [1.827510863075184]
我々は、近隣のセマンティクスの下で未知の真実と偽の信念の論理を研究する。
それらは、近隣モデルの様々なクラスに比較できないことが判明した。
結果を公開発表の場合に拡張する。
論文 参考訳(メタデータ) (2020-02-22T04:27:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。