論文の概要: A Defeasible Deontic Calculus for Resolving Norm Conflicts
- arxiv url: http://arxiv.org/abs/2407.04869v1
- Date: Fri, 5 Jul 2024 21:16:16 GMT
- ステータス: 処理完了
- システム内更新日: 2024-07-09 22:16:57.711377
- Title: A Defeasible Deontic Calculus for Resolving Norm Conflicts
- Title(参考訳): ノーム競合解消のための決定可能なデオン計算法
- Authors: Taylor Olson, Roberto Salas-Damian, Kenneth D. Forbus,
- Abstract要約: 我々は、標準の矛盾を解決することを証明するためにデオン計算を使用する。
また、レッドハーリングとして共通の解決戦略を明らかにします。
そこで本論文は,標準衝突検出と分解の理論的に正当化された公理化に寄与する。
- 参考スコア(独自算出の注目度): 7.455546102930911
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: When deciding how to act, we must consider other agents' norms and values. However, our norms are ever-evolving. We often add exceptions or change our minds, and thus norms can conflict over time. Therefore, to maintain an accurate mental model of other's norms, and thus to avoid social friction, such conflicts must be detected and resolved quickly. Formalizing this process has been the focus of various deontic logics and normative multi-agent systems. We aim to bridge the gap between these two fields here. We contribute a defeasible deontic calculus with inheritance and prove that it resolves norm conflicts. Through this analysis, we also reveal a common resolution strategy as a red herring. This paper thus contributes a theoretically justified axiomatization of norm conflict detection and resolution.
- Abstract(参考訳): 行動の仕方を決める際には、他のエージェントの規範や価値観を考慮しなければなりません。
しかし、私たちの規範は常に進化している。
私たちはしばしば例外を追加したり、心を変えたりします。
したがって、他人の規範の正確な精神モデルを維持し、社会的摩擦を避けるためには、そのような対立を迅速に検出・解決する必要がある。
このプロセスの形式化は、様々なデオン論理と規範的マルチエージェントシステムの焦点となっている。
この2つの分野のギャップを埋めることを目指しています。
我々は,非実現可能なデオン計算の継承に寄与し,通常の矛盾を解決することを証明した。
この分析により、レッドハーリングとして共通の解決戦略を明らかにした。
そこで本論文は,標準衝突検出と分解の理論的に正当化された公理化に寄与する。
関連論文リスト
- Are language models rational? The case of coherence norms and belief revision [63.78798769882708]
我々は、論理的コヒーレンス規範と、言語モデルにおける信念の強さに結びついたコヒーレンス規範を考察する。
コヒーレンスに結びついた有理ノルムはいくつかの言語モデルに適用できるが、他のモデルには適用されない。
論文 参考訳(メタデータ) (2024-06-05T16:36:21Z) - Normative Requirements Operationalization with Large Language Models [3.456725053685842]
規範的な非機能要件は、社会的、法的、倫理的、共感的、文化的規範の違反を避けるために、システムが観察しなければならない制約を規定する。
近年の研究では、規範的要件を特定するためにドメイン固有言語を使用してこの問題に対処している。
本稿では,システム機能の抽象表現間の意味的関係を抽出するために,大規模言語モデルを用いた補完的アプローチを提案する。
論文 参考訳(メタデータ) (2024-04-18T17:01:34Z) - Strengthening Consistency Results in Modal Logic [0.0]
モーダル論理における根本的な問題は、与えられた理論が一貫性はあるが、何と一貫性があるのかである。
この問題に対処する典型的な方法は、背景知識公理の選択(例えば、S4、Dなど)を特定し、その背景公理と整合性のある理論によって導かれた仮定を示す。
本稿では、より堅牢な方法で整合性に対処するための命題モーダル論理の一般的な理論を紹介する。
論文 参考訳(メタデータ) (2023-07-11T07:05:37Z) - On Regularization and Inference with Label Constraints [62.60903248392479]
機械学習パイプラインにおけるラベル制約を符号化するための2つの戦略、制約付き正規化、制約付き推論を比較した。
正規化については、制約に不整合なモデルを前置することで一般化ギャップを狭めることを示す。
制約付き推論では、モデルの違反を訂正することで人口リスクを低減し、それによってその違反を有利にすることを示す。
論文 参考訳(メタデータ) (2023-07-08T03:39:22Z) - On the Importance of Gradient Norm in PAC-Bayesian Bounds [92.82627080794491]
対数ソボレフ不等式の縮約性を利用する新しい一般化法を提案する。
我々は、この新たな損失段階的ノルム項が異なるニューラルネットワークに与える影響を実証的に分析する。
論文 参考訳(メタデータ) (2022-10-12T12:49:20Z) - Deontic Meta-Rules [2.241042010144441]
この研究は、デオン的側面を考慮し、そのような論理的枠組みを拡張している。
結果として得られるロジックは、ポリシーをモデル化できるだけでなく、多くの法体系で発生するよく知られた側面にも対処できる。
論文 参考訳(メタデータ) (2022-09-23T07:48:29Z) - Fairness and robustness in anti-causal prediction [73.693135253335]
分散シフトと公平性に対するロバストさは、機械学習モデルに必要な2つの重要なデシラタとして独立に現れている。
これら2つのデシダラタは関連しているように見えるが、実際にはその関連性はしばしば不明である。
この観点から見れば、共通フェアネス基準(分離)とロバストネスの共通概念との明確な関係を描いています。
論文 参考訳(メタデータ) (2022-09-20T02:41:17Z) - Normative Disagreement as a Challenge for Cooperative AI [56.34005280792013]
典型的な協調誘導学習アルゴリズムは、問題の解決に協力することができないと論じる。
我々は,ノルム適応政策のクラスを開発し,これらが協調性を著しく向上させることを示す実験を行った。
論文 参考訳(メタデータ) (2021-11-27T11:37:42Z) - Fundamental Limits and Tradeoffs in Invariant Representation Learning [99.2368462915979]
多くの機械学習アプリケーションは、2つの競合する目標を達成する表現を学習する。
ミニマックスゲーム理論の定式化は、精度と不変性の基本的なトレードオフを表す。
分類と回帰の双方において,この一般的かつ重要な問題を情報論的に解析する。
論文 参考訳(メタデータ) (2020-12-19T15:24:04Z) - Diverse Rule Sets [20.170305081348328]
ルールベースのシステムは、直感的なif-then表現のためにルネッサンスを経験しています。
本稿では,ルール間の重なり合いを最適化することで,多様なルールセットを推定する新しい手法を提案する。
次に、高い差別性を持ち、重複が少ない規則をサンプリングする効率的なランダム化アルゴリズムを考案する。
論文 参考訳(メタデータ) (2020-06-17T14:15:25Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。