論文の概要: Finding Common Ground for Incoherent Horn Expressions

• arxiv url: http://arxiv.org/abs/2209.06455v1
• Date: Wed, 14 Sep 2022 07:09:37 GMT
• ステータス: 処理完了
• システム内更新日: 2022-09-15 13:50:38.442267
• Title: Finding Common Ground for Incoherent Horn Expressions
• Title（参考訳）: 非コヒーレントホーン表現のための共通グラウンドの発見
• Authors: Ana Ozaki, Anum Rehman, Philip Turk and Marija Slavkovik
• Abstract要約: 我々は,行動規則の不整合性の中で共通点に達する問題について検討する。 共通基底が存在することが保証されるHhorn表現のクラスに関する3つの条件を同定する。 3つの条件のいずれかが取り除かれた場合、結果として生じる(より大きい)クラスに対する共通基盤は存在しない可能性がある。
• 参考スコア（独自算出の注目度）: 11.831378161804976
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Autonomous systems that operate in a shared environment with people need to be able to follow the rules of the society they occupy. While laws are unique for one society, different people and institutions may use different rules to guide their conduct. We study the problem of reaching a common ground among possibly incoherent rules of conduct. We formally define a notion of common ground and discuss the main properties of this notion. Then, we identify three sufficient conditions on the class of Horn expressions for which common grounds are guaranteed to exist. We provide a polynomial time algorithm that computes common grounds, under these conditions. We also show that if any of the three conditions is removed then common grounds for the resulting (larger) class may not exist.
• Abstract（参考訳）: 人々と共有環境で動作する自律システムは、彼らが占める社会のルールに従うことができる必要があります。 法律は一つの社会に固有のものであるが、異なる人々や機関は異なる規則を使って行動の指導を行う。 我々は,行動規則の不整合性の中で共通点に達する問題を研究する。 我々は正式に共通基底の概念を定義し、この概念の主な性質について議論する。 次に,共通基底が存在することを保証したHhorn表現のクラス上で,3つの十分条件を同定する。 これらの条件下で共通グラウンドを計算する多項式時間アルゴリズムを提供する。 また、3つの条件のいずれかが削除された場合、結果の(より大きい)クラスに対する共通の根拠が存在しないことも示します。

関連論文リスト

• What Really is Commonsense Knowledge? [58.5342212738895]
  我々は、既存のコモンセンス知識の定義を調査し、概念を定義するための3つのフレームワークに基礎を置き、それらをコモンセンス知識の統一的な定義に統合する。 次に、アノテーションと実験のための統合された定義をCommonsenseQAとCommonsenseQA 2.0データセットで使用します。 本研究は,2つのデータセットには非常識知識のインスタンスが多数存在し,これら2つのサブセットに対して大きな性能差があることを示す。
  論文  参考訳（メタデータ） (2024-11-06T14:54:19Z)
• A Defeasible Deontic Calculus for Resolving Norm Conflicts [7.455546102930911]
  我々は、標準の矛盾を解決することを証明するためにデオン計算を使用する。 また、レッドハーリングとして共通の解決戦略を明らかにします。 そこで本論文は,標準衝突検出と分解の理論的に正当化された公理化に寄与する。
  論文  参考訳（メタデータ） (2024-07-05T21:16:16Z)
• Abstracting Concept-Changing Rules for Solving Raven's Progressive Matrix Problems [54.26307134687171]
  Raven's Progressive Matrix (RPM) は、候補者の中から選択することで、機械知能においてそのような能力を実現する古典的なテストである。 近年の研究では、RPMの解法はルールの深い理解を促進することが示唆されている。 本稿では、解釈可能な概念を学習し、潜在空間における概念変更ルールを解析することにより、概念変更ルールABstraction(CRAB)の潜時変数モデルを提案する。
  論文  参考訳（メタデータ） (2023-07-15T07:16:38Z)
• Unifying different notions of quantum incompatibility into a strict hierarchy of resource theories of communication [60.18814584837969]
  我々は、POVM、チャネル、機器の非互換性の異なる概念を統一するq-compatibilityの概念を導入する。 我々は、情報理論資源の観点から、各非互換性の概念が何を構成しているかを正確に特定することができる。
  論文  参考訳（メタデータ） (2022-11-16T21:33:31Z)
• Indivisible Participatory Budgeting under Weak Rankings [0.6853165736531939]
  参加型予算設定(PB)は、社会的選択設定に広く適用できるため、近年で注目されている。 本稿では,分類の弱いPBの分類法を提案し,そのアルゴリズム的および公理的問題について検討する。 本論文は,これらの規則の実践的魅力,計算複雑性,公理的遵守のトレードオフを明らかにするのに役立つ。
  論文  参考訳（メタデータ） (2022-07-16T16:46:12Z)
• Normalisations of Existential Rules: Not so Innocuous! [7.260554897161947]
  本研究では,既存のルールが追跡(非)終了とFO-rewritability(FO-rewritability)に与える影響について検討した。 これはまた、独立した関心の追跡終了に関連するオープンな問題の研究にも繋がる。
  論文  参考訳（メタデータ） (2022-06-07T09:01:56Z)
• Normative Disagreement as a Challenge for Cooperative AI [56.34005280792013]
  典型的な協調誘導学習アルゴリズムは、問題の解決に協力することができないと論じる。 我々は,ノルム適応政策のクラスを開発し,これらが協調性を著しく向上させることを示す実験を行った。
  論文  参考訳（メタデータ） (2021-11-27T11:37:42Z)
• Parallelisable Existential Rules: a Story of Pieces [2.20439695290991]
  実存則の並列化可能な集合を導入し、任意のインスタンスから単一の幅優先のステップでチェイスを計算できる。 並列化可能な規則集合は、追跡のために有界かつ新しいルールのクラスに属するような規則集合であることを示す。
  論文  参考訳（メタデータ） (2021-07-13T13:09:14Z)
• Fair Decision Rules for Binary Classification [0.0]
  直交正規形式(DNF)におけるブール則集合構築の問題を考える。 この問題を2つの異なる分類パリティ尺度に対する明示的な制約で分類精度を最大化する整数プログラムとして定式化する。 他の公正かつ解釈可能な分類器と比較して、我々の手法は、公正性のより厳密な概念に適合する規則セットを精度の低いトレードオフで見つけることができる。
  論文  参考訳（メタデータ） (2021-07-03T02:32:17Z)
• Fairness for Image Generation with Uncertain Sensitive Attributes [97.81354305427871]
  この研究は、画像超解像のような生成手順の文脈における公平性の問題に取り組む。 伝統的群フェアネスの定義は通常、指定された保護された群に関して定義されるが、本質的な真偽は存在しないことを強調する。 人口比率の自然拡大はグループ化に強く依存しており、明白に達成可能であることを示す。
  論文  参考訳（メタデータ） (2021-06-23T06:17:17Z)
• Social Chemistry 101: Learning to Reason about Social and Moral Norms [73.23298385380636]
  我々は、人々の日常的な社会的規範と道徳的判断を研究するための新しい概念的形式主義である社会化学を提示する。 Social-Chem-101は大規模なコーパスで292Kのルールをカタログ化している。 モデルフレームワークであるNeural Norm Transformerは、Social-Chem-101を学習し、一般化し、これまで見つからなかった状況の推論に成功した。
  論文  参考訳（メタデータ） (2020-11-01T20:16:45Z)

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

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