論文の概要: Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)

• arxiv url: http://arxiv.org/abs/2604.26977v1
• Date: Tue, 28 Apr 2026 11:04:26 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-01 16:31:53.690511
• Title: Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
• Title（参考訳）: 2階層の選好型セマンティックスにおける定義可能な条件オブリグレーション(拡張版)
• Authors: Xavier Parent,
• Abstract要約: この論文は、ダイアド・デオン論理のためのハンソン・ルイススタイルの選好意味論を拡張した。 非単調な推論機構により、新しい、潜在的に矛盾する情報が入ってくると、事前に導かれた義務が取り下げられる。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In response to a concern raised by Horty, this paper develops a two-tiered, preference-based semantic framework for modeling defeasible conditional obligations. The paper extends a Hansson-Lewis style preference semantics for dyadic deontic logic by incorporating a nonmonotonic reasoning mechanism that enables previously derived obligations to be withdrawn when new, potentially conflicting information comes in. The account is bi-preferential: two orderings--ideality and normality--on worlds are employed to address shortcomings in earlier approaches, with a separate ranking method for each. At the nonmonotonic layer, a number of postulates are considered, including antecedent strengthening, inclusion and no-drowning. A connection is established with so-called constrained input/output (I/O) logic--an existing standard for normative reasoning based on a different methodology.
• Abstract（参考訳）: 本稿では,Horty氏が提起した懸念に応えて,デファシブルな条件付き義務をモデル化するための2階層の嗜好に基づくセマンティック・フレームワークを開発する。 本論文は,非単調な推論機構を組み込むことにより,新しい,潜在的に矛盾する情報が入ってくる場合に,先導した義務を取り除くことができるようにすることで,ディヤド・デオン論理に対するハンソン・ルイススタイルの選好意味論を拡張した。 2つの順序-イデオロギーと正規性-オンワールドは、それぞれ別のランク付け方法を用いて、以前のアプローチの欠点に対処するために使用される。 非モノトニック層では、先行的な強化、包摂、非漂着を含む多くの仮定が考慮されている。 接続は、制約付き入出力(I/O)論理と呼ばれる、異なる方法論に基づく規範的推論のための既存の標準によって確立される。

関連論文リスト

• Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study [2.599882743586164]
  形式的議論における類似性は最近、意味論における議論の集約やエントロメムの復号化といった問題においてその重要性から注目されている。 本稿では,(1)拡張公理的基礎,(2)述語,リテラル,節,公式の類似性を含む4段階のパラメトリックモデル,(3)言語モデルによる構文に敏感な2つのモデルファミリ,(2)ニュアンス付きおよび説明可能な類似性のための文脈重みの統合。
  論文  参考訳（メタデータ） (2026-04-14T10:05:03Z)
• Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification [49.506412445511934]
  大きな言語モデル(LLM)は目覚ましい能力を示すが、その次は論理的不整合と報奨ハックを生み出す。 本稿では,自然言語生成プロセスと形式的記号的検証を動的にインターリーブする形式論理検証誘導フレームワークを提案する。 我々はこのフレームワークを,形式論理検証誘導制御による微調整とポリシー最適化の相乗効果を生かした,新しい2段階のトレーニングパイプラインを通じて運用する。
  論文  参考訳（メタデータ） (2026-01-30T07:01:25Z)
• Rational Inference in Formal Concept Analysis [0.4499833362998487]
  定義可能な条件は非単調推論の形式である。 KLMフレームワークは、defeasible conditionalsという命題のセマンティクスを定義する。
  論文  参考訳（メタデータ） (2025-04-07T20:15:20Z)
• A Canonicalization Perspective on Invariant and Equivariant Learning [54.44572887716977]
  フレームの設計について,本質的で完全な視点を提供する正準化の視点を導入する。 フレームと標準形式の間には固有の関係があることが示される。 既存の手法よりも厳密な固有ベクトルのための新しいフレームを設計する。
  論文  参考訳（メタデータ） (2024-05-28T17:22:15Z)
• A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
  我々は決定可能性を達成するために新しい意味論的アプローチを用いる。 具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。 我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
  論文  参考訳（メタデータ） (2023-07-28T11:26:26Z)
• On Regularization and Inference with Label Constraints [62.60903248392479]
  機械学習パイプラインにおけるラベル制約を符号化するための2つの戦略、制約付き正規化、制約付き推論を比較した。 正規化については、制約に不整合なモデルを前置することで一般化ギャップを狭めることを示す。 制約付き推論では、モデルの違反を訂正することで人口リスクを低減し、それによってその違反を有利にすることを示す。
  論文  参考訳（メタデータ） (2023-07-08T03:39:22Z)
• Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI [60.142926537264714]
  本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。 これは、説明に表される論理述語に基づいて、反実仮説を生成する。 そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
  論文  参考訳（メタデータ） (2022-05-25T03:40:59Z)
• Formal context reduction in deriving concept hierarchies from corpora using adaptive evolutionary clustering algorithm star [15.154538450706474]
  コーパスから概念階層を導出するプロセスは、通常、時間とリソース集約的なプロセスである。 結果として得られる形式的文脈の格子は、概念的格子不変量を用いて標準格子に評価される。 その結果,適応ECA*は,異なるフィリング比で,他の競合技術よりも高速に概念格子を実行することがわかった。
  論文  参考訳（メタデータ） (2021-07-10T07:18:03Z)
• Reasoning about Typicality and Probabilities in Preferential Description Logics [0.15749416770494704]
  標準記述論理の非単調拡張である典型性の優先記述論理を、典型演算子Tを用いて記述する。 この拡張は、有理閉包の概念に対応する最小のモデル意味論に基づいている。 我々は、いわゆる財産相続問題の阻止を避けるために、合理的なクロージャの意味論と構成の強化について検討する。
  論文  参考訳（メタデータ） (2020-04-20T14:50:31Z)
• Modeling Contrary-to-Duty with CP-nets [19.561116525421316]
  条件付き嗜好ネット(CP-nets)は、セテリスパリバスの嗜好を表現・分析するためのコンパクトなフォーマリズムである。 本稿では,条件付き嗜好モデルを用いてデオン概念を捉える方法について述べる。
  論文  参考訳（メタデータ） (2020-03-23T18:23:18Z)

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

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