論文の概要: Modeling (Deontic) Modal Operators With the s(CASP) Goal-directed Predicated Answer Set Programming System

• arxiv url: http://arxiv.org/abs/2507.05519v1
• Date: Mon, 07 Jul 2025 22:31:54 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-07-09 16:34:37.433863
• Title: Modeling (Deontic) Modal Operators With the s(CASP) Goal-directed Predicated Answer Set Programming System
• Title（参考訳）: s(CASP)ゴール指向述語Answerセットプログラミングシステムによるモーダル演算子のモデリング(Deontic)
• Authors: Gopal Gupta, Abhiramon Rajasekharan, Alexis R. Tudor, Elmer Salazar, Joaquín Arias,
• Abstract要約: デフォルトの否定と強い否定を用いて、(決定的な)モーダル作用素をエレガントに表現する方法を示す。 本稿では、ASPのグローバル制約を用いて、デオン型モーダル論理の義務と不完全性を表現することを提案する。
• 参考スコア（独自算出の注目度）: 1.4680035572775536
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We consider the problem of implementing deontic modal logic. We show how (deontic) modal operators can be expressed elegantly using default negation (negation-as-failure) and strong negation present in answer set programming (ASP). We propose using global constraints of ASP to represent obligations and impermissibilities of deontic modal logic. We show that our proposed representation results in the various paradoxes of deontic modal logic being elegantly resolved.
• Abstract（参考訳）: 我々はデオン型モーダル論理を実装する問題について考察する。 本稿では、デフォルトの否定(否定=失敗)と、応答集合プログラミング(ASP.NET)に存在する強い否定を用いて、(決定的な)モーダル作用素をエレガントに表現する方法を示す。 本稿では、ASPのグローバル制約を用いて、デオン型モーダル論理の義務と不完全性を表現することを提案する。 提案した表現は、デオン型モーダル論理の様々なパラドックスがエレガントに解決されることを示す。

関連論文リスト

• Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds [55.2480439325792]
  本稿では,階層化現実化の考え方に基づくモーダル論理の新しいフレームワークを開発する。 伝統的なクリプキ意味論は、モーダル作用素を完全決定的な選択肢に対する定量化として扱う。 本稿では,モダリティをオントロジ的安定性のレベルによってインデクシングするSAL(Stratetified Actualization Logic)を提案する。
  論文  参考訳（メタデータ） (2025-06-12T18:35:01Z)
• Pearce's Characterisation in an Epistemic Domain [0.0]
  平衡論理(Equilibrium logic、EL)は、汎用的な非単調推論形式である。 エピステミック仕様(ES)は、主観的リテラルを持つASPプログラムの拡張である。 ESプログラムは、本質的には回答セットの集合であるワールドビューによって解釈される。
  論文  参考訳（メタデータ） (2025-02-13T11:50:36Z)
• Direct Encoding of Declare Constraints in ASP [9.599644507730106]
  Declare制約のための新しいエンコーディングを導入し、それらのセマンティクスを直接ASPルールとしてモデル化する。 本稿では,2つのプロセスマイニングタスクにおける新しい手法の有効性を評価する。
  論文  参考訳（メタデータ） (2024-12-13T14:11:33Z)
• Enabling Natural Zero-Shot Prompting on Encoder Models via Statement-Tuning [55.265138447400744]
  ステートメントチューニングは、有限文の集合として識別タスクをモデル化し、エンコーダモデルを訓練し、潜在的なステートメントを識別してラベルを決定するテクニックである。 その結果, ステートメント・チューニングは, パラメータが著しく少ない最先端のLCMと比較して, 競争性能が向上することを示した。 この研究は、いくつかの設計選択が少ショットとゼロショットの一般化に与える影響を調査し、ステートメントチューニングが控えめなトレーニングデータで高いパフォーマンスを達成できることを明らかにした。
  論文  参考訳（メタデータ） (2024-04-19T14:05:03Z)
• Automated legal reasoning with discretion to act using s(LAW) [0.294944680995069]
  倫理的および法的懸念は、自動化された推論者が人間の理解可能な言葉で正当化する必要がある。 パターンのセットに従って曖昧な概念をモデル化するために、ASPを述語するためのトップダウン実行モデルであるs(CASP)を使うことを提案する。 我々は、s(LAW)と呼ばれるフレームワークを実装して、適用可能な法律をモデル化、理由付け、正当化し、代表的なユースケースを翻訳(およびベンチマーク)することでそれを検証しました。
  論文  参考訳（メタデータ） (2024-01-25T21:11:08Z)
• Language Models can be Logical Solvers [99.40649402395725]
  論理解法の推論過程を直接エミュレートする新しい言語モデルであるLoGiPTを導入する。 LoGiPTは、導出的ソルバの見えない推論過程を明らかにして精錬することから導かれる、新しく構築された命令チューニングデータセットに基づいて微調整される。
  論文  参考訳（メタデータ） (2023-11-10T16:23:50Z)
• Meaning Representations from Trajectories in Autoregressive Models [106.63181745054571]
  入力テキストを拡張可能なすべてのトラジェクトリの分布を考慮し,自己回帰言語モデルから意味表現を抽出する。 この戦略はプロンプトフリーであり、微調整は必要とせず、事前訓練された自己回帰モデルにも適用できる。 我々は,大規模なモデルから得られた表現が人間のアノテーションとよく一致し,意味的類似性タスクにおける他のゼロショットおよびプロンプトフリーメソッドよりも優れており,標準埋め込みが扱えないより複雑なエンタテインメントや包含タスクの解決に使用できることを実証的に示す。
  論文  参考訳（メタデータ） (2023-10-23T04:35:58Z)
• Deontic Paradoxes in ASP with Weak Constraints [0.0]
  弱い制約を利用して、よく知られたデオンのパラドックスをエンコードし、解決する方法を示す。 本稿では,制約の弱いASPにおける規範的システムを翻訳する手法を提案する。 この手法はパックマンの「倫理的」バージョンに適用され、関連する作品と同等のパフォーマンスを得るが、倫理的に好ましい結果を得る。
  論文  参考訳（メタデータ） (2023-08-30T08:56:54Z)
• PVS Embeddings of Propositional and Quantified Modal Logic [0.0]
  本稿では,PVS検証システムにおける命題論理と量子化論理の埋め込みについて述べる。 PVSのリソースは、モーダル論理の標準的な構文の多くをサポートする魅力的な方法でこれを行うことができる。
  論文  参考訳（メタデータ） (2022-05-12T22:44:29Z)
• Logically Consistent Adversarial Attacks for Soft Theorem Provers [110.17147570572939]
  本稿では,言語モデルの推論能力の探索と改善のための生成的逆説フレームワークを提案する。 我々のフレームワークは、敵の攻撃をうまく発生させ、グローバルな弱点を識別する。 有効探索に加えて, 生成したサンプルのトレーニングにより, 対象モデルの性能が向上することを示す。
  論文  参考訳（メタデータ） (2022-04-29T19:10:12Z)

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

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