論文の概要: Modeling Contrary-to-Duty with CP-nets

• arxiv url: http://arxiv.org/abs/2003.10480v1
• Date: Mon, 23 Mar 2020 18:23:18 GMT
• ステータス: 処理完了
• システム内更新日: 2022-12-21 00:33:50.721483
• Title: Modeling Contrary-to-Duty with CP-nets
• Title（参考訳）: cp-netsを用いた逆デューティのモデル化
• Authors: Roberta Calegari, Andrea Loreggia, Emiliano Lorini, Francesca Rossi, Giovanni Sartor
• Abstract要約: 条件付き嗜好ネット(CP-nets)は、セテリスパリバスの嗜好を表現・分析するためのコンパクトなフォーマリズムである。 本稿では,条件付き嗜好モデルを用いてデオン概念を捉える方法について述べる。
• 参考スコア（独自算出の注目度）: 19.561116525421316
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: In a ceteris-paribus semantics for deontic logic, a state of affairs where a larger set of prescriptions is respected is preferable to a state of affairs where some of them are violated. Conditional preference nets (CP-nets) are a compact formalism to express and analyse ceteris paribus preferences, which nice computational properties. This paper shows how deontic concepts can be captured through conditional preference models. A restricted deontic logic will be defined, and mapped into conditional preference nets. We shall also show how to model contrary to duties obligations in CP-nets and how to capture in this formalism the distinction between strong and weak permission.
• Abstract（参考訳）: deontic logicのceteris-paribusセマンティクスでは、より大きな処方のセットが尊重される事柄の状況は、それらのいくつかが違反している事柄の状況よりも好ましい。 条件付き選好ネット(CP-nets)は、セテリスパリバス選好を表現・分析するためのコンパクトな形式であり、優れた計算特性を持つ。 本稿では,条件付き嗜好モデルを用いてデオン概念を捉える方法について述べる。 制限されたデオン論理は定義され、条件付き選好ネットにマッピングされる。 また、cp-netsにおける義務義務違反のモデル化方法と、この形式化において、強い権限と弱い権限の区別を捉える方法を示す。

関連論文リスト

• The Foundations of Tokenization: Statistical and Computational Concerns [51.370165245628975]
  トークン化は、NLPパイプラインにおける重要なステップである。 NLPにおける標準表現法としての重要性は認識されているが、トークン化の理論的基盤はまだ完全には理解されていない。 本稿では,トークン化モデルの表現と解析のための統一的な形式的枠組みを提案することによって,この理論的ギャップに対処することに貢献している。
  論文  参考訳（メタデータ） (2024-07-16T11:12:28Z)
• A Primer for Preferential Non-Monotonic Propositional Team Logics [0.0]
  チームベースの命題論理は、自然に累積的な非単調な含意関係をもたらすことを示す。 チームセマンティクスにおける解離の非古典的解釈に動機付けられて、命題依存論理の優先モデルに対して、正確な特徴を与える。
  論文  参考訳（メタデータ） (2024-05-11T09:53:15Z)
• (Un)reasonable Allure of Ante-hoc Interpretability for High-stakes Domains: Transparency Is Necessary but Insufficient for Comprehensibility [25.542848590851758]
  アンテホック解釈能力は、医療などの高度な領域において、説明可能な人工知能の聖杯となっている。 構造がドメイン固有の制約に従属する予測モデルや、本質的に透明なモデルを指すこともある。 私たちはこの概念を解き放ち、高い領域にまたがる安全な採用に必要なものをよりよく理解します。
  論文  参考訳（メタデータ） (2023-06-04T09:34:41Z)
• Training and Inference on Any-Order Autoregressive Models the Right Way [97.39464776373902]
  Any-Order Autoregressive Models (AO-ARMs) のファミリは、任意の条件付きタスクにおいてブレークスルーのパフォーマンスを示している。 我々は、AO-ARMの以前の定式化に対して行うべき重要な改善について確認する。 本手法はトラクタビリティを損なうことなく性能を向上する。
  論文  参考訳（メタデータ） (2022-05-26T18:00:02Z)
• 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)
• Situated Conditional Reasoning [10.828616610785524]
  本研究では,状況に基づく条件を一連の仮定で記述できることを示す。 次に、位置条件付き知識ベースに対するエンテーメントの形式を定義し、最小のクロージャ(minimum closure)と呼ぶ。
  論文  参考訳（メタデータ） (2021-09-03T14:23:18Z)
• Measuring Association Between Labels and Free-Text Rationales [60.58672852655487]
  解釈可能なNLPでは、説明された例に対するモデルの意思決定プロセスを反映した忠実な理性が必要です。 情報抽出型タスクに対する忠実な抽出合理化のための既存のモデルであるパイプラインは、自由テキスト合理化を必要とするタスクに確実に拡張されないことを示す。 我々は、信頼が確立されていない自由文合理化のための、広く使われている高性能モデルのクラスである、共同予測と合理化のモデルに目を向ける。
  論文  参考訳（メタデータ） (2020-10-24T03:40:56Z)
• BoxE: A Box Embedding Model for Knowledge Base Completion [53.57588201197374]
  知識ベース補完(KBC)は、知識ベース(KB)に存在する情報を活用することにより、行方不明な事実を自動的に推測することを目的とする。 既存の埋め込みモデルは、以下の制限の少なくとも1つに該当する。 BoxEは、エンティティをポイントとして、関係をハイパー矩形(またはボックス)の集合として埋め込む
  論文  参考訳（メタデータ） (2020-07-13T09:40:49Z)
• Reasoning about Typicality and Probabilities in Preferential Description Logics [0.15749416770494704]
  標準記述論理の非単調拡張である典型性の優先記述論理を、典型演算子Tを用いて記述する。 この拡張は、有理閉包の概念に対応する最小のモデル意味論に基づいている。 我々は、いわゆる財産相続問題の阻止を避けるために、合理的なクロージャの意味論と構成の強化について検討する。
  論文  参考訳（メタデータ） (2020-04-20T14:50:31Z)

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

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