論文の概要: Constraint Monotonicity, Epistemic Splitting and Foundedness Could in
General Be Too Strong in Answer Set Programming
- arxiv url: http://arxiv.org/abs/2010.00191v2
- Date: Sat, 7 Nov 2020 11:16:07 GMT
- ステータス: 処理完了
- システム内更新日: 2022-10-12 08:27:14.636508
- Title: Constraint Monotonicity, Epistemic Splitting and Foundedness Could in
General Be Too Strong in Answer Set Programming
- Title（参考訳）: 制約単調性、認識的分割と確立性は、一般に、解集合プログラミングにおいて強すぎる可能性がある
- Authors: Yi-Dong Shen and Thomas Eiter
- Abstract要約: 主観的制約の単調性, てんかんの分裂, 起始性の概念は, それぞれ異なる解集合のセマンティクスを比較するために, 主観的基準として考察する。
本稿では, 一般には強すぎる場合があり, それぞれ, 所望の解集合を除外する場合があることを実例で示す。
- 参考スコア（独自算出の注目度）: 32.60523531309687
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Recently, the notions of subjective constraint monotonicity, epistemic
splitting, and foundedness have been introduced for epistemic logic programs,
with the aim to use them as main criteria respectively intuitions to compare
different answer set semantics proposed in the literature on how they comply
with these intuitions. In this note, we consider these three notions and
demonstrate on some examples that they may be too strong in general and may
exclude some desired answer sets respectively world views. In conclusion, these
properties should not be regarded as mandatory properties that every answer set
semantics must satisfy in general.
- Abstract（参考訳）: 近年, 主観的制約の単調性, エピステミック分割, 創始性の概念が, それぞれの直観を主観的基準として用い, それらの直観にどのように準拠するかについて, 文献で提案された異なる解集合のセマンティクスを比較することを目的として導入されている。
本論では,これら3つの概念を考察し,これらの概念が一般に強すぎる可能性があり,それぞれの世界観から所望の回答集合を除外できることを示す。
結論として、これらの性質は全ての回答集合の意味論が一般に満たさなければならない必須の性質とはみなされてはならない。
関連論文リスト
- A Unified View on Forgetting and Strong Equivalence Notions in Answer
Set Programming [14.342696862884704]
文献からすべての関連概念を捉えることができる新しい相対同値概念を導入する。
次に、プロジェクションと(SP)鍛造の緩和を組み合わせた演算子を導入し、相対化単純化を求める。
論文 参考訳（メタデータ） (2023-12-13T09:05:48Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳（メタデータ） (2023-07-28T11:26:26Z) - Simple Linguistic Inferences of Large Language Models (LLMs): Blind Spots and Blinds [59.71218039095155]
我々は,ほとんどの人間が自明に感じる単純な推論タスクにおいて,言語理解能力を評価する。
我々は, (i) 文法的に特定された含意, (ii) 不確実性のある明らかな副詞を持つ前提, (iii) 単調性含意を目標とする。
モデルはこれらの評価セットに対して中程度から低い性能を示す。
論文 参考訳（メタデータ） (2023-05-24T06:41:09Z) - Admissibility in Strength-based Argumentation: Complexity and Algorithms
(Extended Version with Proofs) [1.5828697880068698]
我々は、適応性に基づく意味論の強度に基づく論証フレームワーク(StrAF)への適応について研究する。
特に文献で定義された強い許容性は望ましい性質、すなわちDungの基本的な補題を満たさないことを示す。
計算(強弱)拡張に対する擬ブール制約の翻訳を提案する。
論文 参考訳（メタデータ） (2022-07-05T18:42:04Z) - Rationale-Augmented Ensembles in Language Models [53.45015291520658]
我々は、数発のテキスト内学習のための合理化促進策を再考する。
我々は、出力空間における合理的サンプリングを、性能を確実に向上させるキーコンポーネントとして特定する。
有理拡張アンサンブルは既存のプロンプト手法よりも正確で解釈可能な結果が得られることを示す。
論文 参考訳（メタデータ） (2022-07-02T06:20:57Z) - Thirty years of Epistemic Specifications [8.339560855135575]
我々は、主観的リテラルと呼ばれるモーダル構造を持つ安定モデルセマンティクスの下で、解法論理プログラムを拡張した。
主観的リテラルを用いることで、プログラムのすべての安定モデルで正規リテラルが真かどうかを確認することができる。
形式的な意味論によって言語の基礎となる直観を捉えようとするいくつかの試みが与えられた。
論文 参考訳（メタデータ） (2021-08-17T15:03:10Z) - Anaphoric Binding: an integrated overview [0.0]
異なるアナファーは、許容可能な前駆体の異なるセットを有する。
これらの制約は、非常に合理的な一般化と見なされるものに由来する。
このようなアナフォリック結合制約は、自然言語知識の最も重要なサブセットとして現れる。
論文 参考訳（メタデータ） (2021-03-11T19:48:36Z) - On a plausible concept-wise multipreference semantics and its relations
with self-organising maps [0.0]
我々は,この提案がKLMなどの望ましい性質を満足し,溺れの問題を回避することを主張する。
我々は、自己組織化マップの論理的意味論を開発することにより、概念的多言語意味論の妥当性を動機づける。
論文 参考訳（メタデータ） (2020-08-30T21:06:06Z) - Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。
文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
論文 参考訳（メタデータ） (2020-08-06T02:13:11Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳（メタデータ） (2020-06-23T16:55:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。