Fugu-MT 論文翻訳(概要): Logic Programming Semantics for Causal Processes

論文の概要: Logic Programming Semantics for Causal Processes

arxiv url: http://arxiv.org/abs/2607.21233v1
Date: Thu, 23 Jul 2026 11:48:45 GMT
ステータス: 翻訳完了
システム内更新日: 2026-07-24 18:26:25.408518
Title: Logic Programming Semantics for Causal Processes
Title（参考訳）: 因果過程のための論理プログラミングセマンティックス
Abstract要約: 論理プログラミングのセマンティクスと、それらの論理プログラムと互換性のある因果過程の最終的な状態の関係について検討する。正の論理プログラムの安定モデルは、中立状態から成り、無秩序に継続する過程の最終的な状態に対応するが、支持されたモデルは任意の開始点から到達可能な結果の状態を記述する。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Motivated by challenging modelling issues in the life sciences, we investigate the relationship between logic programming semantics and the eventual states of causal processes compatible with those logic programs. More precisely, we show that while stable models of positive logic programs correspond to the eventual states of processes commencing from a neutral state and continuing undisturbed indefinitely, supported models describe the eventual states reachable from arbitrary starting points. This also contributes to the discussion of the appropriate semantics for logic programming as a causal rule language, adding a temporal perspective to recent interpretations of the stable and supported model semantics from an explanatory viewpoint of causality.
Abstract（参考訳）: 生命科学におけるモデリングの課題に触発され、論理プログラミングのセマンティクスと、それらの論理プログラムと互換性のある因果過程の最終的な状態の関係について検討する。より正確には、正の論理プログラムの安定モデルは中立状態から成り、無秩序に継続する過程の最終的な状態に対応するが、支持されたモデルは任意の開始点から到達可能な最終的な状態を記述する。これはまた、因果規則言語としての論理プログラミングの適切な意味論の議論に寄与し、因果性の説明的視点から、安定的で支持されたモデル意味論の最近の解釈に時間的視点を付加する。

関連論文リスト

SALA: Semantic-Aware Logical Alignment for Complex Reasoning in In-Context Learning [61.13104919370034]
セマンティック・アウェア・論理アライメント・フレームワークであるSALAを提案する。固定在庫に頼る代わりに、SALAはタスク固有の推論操作を自動的に学習する。その後、これらの操作を連続的なセマンティック空間に埋め込み、動的時間ワープを使用して推論シーケンスを整列する。
論文参考訳（メタデータ） (2026-09-02T09:12:03Z)
How Rules Represent Causal Knowledge: Causal Modeling with Probabilistic Logic Programming [0.0]
本稿では、確率論理プログラミング(PLP)における因果性へのパールのアプローチについて述べる。これらのプログラムの形式的因果意味論は、介入の概念や実装とともに提案される。
論文参考訳（メタデータ） (2026-07-23T11:21:39Z)
On the Trap Space Semantics of Normal Logic Programs [2.274915755738124]
任意の正規論理プログラムにトラップ空間意味論を導入する。これらの新しい意味論は、モデル理論と動的特徴付けの両方を受け入れている。この結果から,トラップ空間のセマンティクスは,サポート対象クラスの存在を証明する統一的かつ正確なフレームワークを提供することが示された。
論文参考訳（メタデータ） (2026-01-07T12:06:26Z)
Schoenfeld's Anatomy of Mathematical Reasoning by Language Models [56.656180566692946]
我々は、Schoenfeldのエピソード理論を誘導型中間スケールレンズとして採用し、ThinkARM(モデルにおける推論の解剖学)を紹介する。 ThinkARMは、推論トレースを分析、探索、実装、検証などの機能的推論ステップに明示的に抽象化する。エピソードレベルの表現は推論ステップを明確にし、現代の言語モデルにおける推論がどのように構造化され、安定化され、変更されるかの体系的な分析を可能にする。
論文参考訳（メタデータ） (2025-12-23T02:44:25Z)
Are Language Models Efficient Reasoners? A Perspective from Logic Programming [109.47572890883248]
現代言語モデル(LM)は、強い推論能力を示すが、標準的な評価は、人間のような推論の重要な側面である効率性を見越しながら、正確性を強調する。本稿では、論理プログラミングのレンズを用いて、LM推論効率を評価するためのフレームワークを提案する。
論文参考訳（メタデータ） (2025-10-29T15:30:31Z)
Explainable Chain-of-Thought Reasoning: An Empirical Analysis on State-Aware Reasoning Dynamics [69.00587226225232]
本研究では,CoTトラジェクトリを構造化潜在力学に抽象化する状態認識遷移フレームワークを提案する。推論のグローバルな構造を特徴づけるために、それらの進行をマルコフ連鎖としてモデル化する。この抽象化は、意味的役割の識別、時間的パターンの可視化、一貫性評価など、さまざまな分析をサポートする。
論文参考訳（メタデータ） (2025-08-29T18:53:31Z)
How Rules Represent Causal Knowledge: Causal Modeling with Abductive Logic Programs [0.0]
本稿では,階層化帰納論理プログラムの設定に対するパールの因果性と介入のアプローチを拡張した。これは、そのようなプログラムの安定なモデルが、哲学的基礎の上に構築することで因果的解釈を与えることができることを示す。
論文参考訳（メタデータ） (2025-07-07T15:12:01Z)
On the Logical Content of Logic Programs [0.0]
本稿では,プログラムが知っていることを説明するサポートの関係を定義することで,論理プログラミング(LP)の新たな視点を紹介する。結果は、証明理論のセマンティクスにおける基本拡張セマンティクスの考え方を用いて定式化される。提案手法は,LPの論理的基礎に関する新たな知見を提供し,知識表現や自動推論,形式的検証などに応用できる可能性がある。
論文参考訳（メタデータ） (2025-03-07T11:58:08Z)
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models [9.112107794815671]
本研究では, 構造方程式モデル (SEM) の新しい解釈法を提案する。これにより、カウンターファクトの因果推論と既存の時間論理形式を組み合わせられる。提案手法では,いわゆるテキスト再帰モデルに対する標準的制約は不要であることを示す。
論文参考訳（メタデータ） (2025-01-17T13:37:58Z)
Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文参考訳（メタデータ） (2023-06-21T07:34:27Z)
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文参考訳（メタデータ） (2022-10-22T16:01:13Z)
Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文参考訳（メタデータ） (2022-07-04T14:38:49Z)

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