論文の概要: Causal Laws and Multi-Valued Fluents

• arxiv url: http://arxiv.org/abs/2307.10227v1
• Date: Sat, 15 Jul 2023 06:41:08 GMT
• ステータス: 処理完了
• システム内更新日: 2023-07-23 11:06:46.418318
• Title: Causal Laws and Multi-Valued Fluents
• Title（参考訳）: 因果法則と多値流学者
• Authors: Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Hudson Turner
• Abstract要約: 因果論理と言語Cの両方を拡張して任意の空でない集合の値を許容できることが示される。 言語Cの拡張はC+と呼ばれ、属性の観点からアクションを記述することもできます。
• 参考スコア（独自算出の注目度）: 2.4794469988465107
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: This paper continues the line of work on representing properties of actions in nonmonotonic formalisms that stresses the distinction between being "true" and being "caused", as in the system of causal logic introduced by McCain and Turner and in the action language C proposed by Giunchiglia and Lifschitz. The only fluents directly representable in language C+ are truth-valued fluents, which is often inconvenient. We show that both causal logic and language C can be extended to allow values from arbitrary nonempty sets. Our extension of language C, called C+, also makes it possible to describe actions in terms of their attributes, which is important from the perspective of elaboration tolerance. We describe an embedding of C+ in causal theories with multi-valued constants, relate C+ to Pednault's action language ADL, and show how multi-valued constants can be eliminated in favor of Boolean constants.
• Abstract（参考訳）: この論文は、マケインとターナーが導入した因果論理の体系や、ジッヒグリアとリフシッツが提唱したアクション言語Cのように、「真」と「因果」の区別を強調する非単調形式論における行動の性質を表現するための一連の研究を継続する。 言語C+で直接表現できる唯一の流派は真理値の流派であり、しばしば不便である。 因果論理と言語Cの両方を拡張して任意の空でない集合の値を許容できることが示される。 c+と呼ばれる言語cの拡張によって、属性の観点からのアクションの記述も可能になりました。 多値定数を持つ因果理論にC+を埋め込み、C+をPednaultのアクション言語ADLに関連付け、ブール定数を支持するためにどのように多値定数を排除できるかを示す。

関連論文リスト

• On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning [87.73401758641089]
  CoT推論による現代言語モデル(LM)の性能向上 LMは弦上の分布の族を確率的チューリングマシンと同一に表現できることを示す。
  論文  参考訳（メタデータ） (2024-06-20T10:59:02Z)
• PaCE: Parsimonious Concept Engineering for Large Language Models [57.740055563035256]
  Parsimonious Concept Engineering (PaCE)は、アライメントのための新しいアクティベーションエンジニアリングフレームワークである。 アクティベーション空間において,各原子が意味論的概念に対応する大規模概念辞書を構築する。 本研究では,PaCEが言語能力を維持しつつ,最先端のアライメント性能を実現することを示す。
  論文  参考訳（メタデータ） (2024-06-06T17:59:10Z)
• LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers [60.009969929857704]
  論理的推論は、科学、数学、社会に潜在的影響を与える可能性のある人工知能にとって重要なタスクである。 本研究では、LINCと呼ばれるモジュール型ニューロシンボリックプログラミングのようなタスクを再構成する。 我々は,FOLIOとProofWriterのバランスの取れたサブセットに対して,ほぼすべての実験条件下で,3つの異なるモデルに対して顕著な性能向上を観察した。
  論文  参考訳（メタデータ） (2023-10-23T17:58:40Z)
• A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
  我々は決定可能性を達成するために新しい意味論的アプローチを用いる。 具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。 我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
  論文  参考訳（メタデータ） (2023-07-28T11:26:26Z)
• C-rusted: The Advantages of Rust, in C, without the Disadvantages [0.0]
  C-rustedは、言語、システム、およびユーザ定義リソースのオーナシップ、排他性、共有性を表現するために(部分的に)Cプログラムに注釈を付けることができる革新的な技術である。 注釈付きCプログラムは、ISO Cコードを処理することができるコンパイルツールチェーンの修正されていないバージョンで変換することができる。
  論文  参考訳（メタデータ） (2023-02-10T15:48:09Z)
• Zero-Shot Classification by Logical Reasoning on Natural Language Explanations [56.42922904777717]
  我々はCLOREフレームワークを提案する(説明の論理的推論による分類)。 CLOREは、説明を論理構造にパースし、入力のthess構造に沿って明示的に理由付け、分類スコアを生成する。 また、我々のフレームワークは視覚的モダリティのゼロショット分類にまで拡張可能であることを示す。
  論文  参考訳（メタデータ） (2022-11-07T01:05:11Z)
• Certain and Uncertain Inference with Indicative Conditionals [0.3437656066916039]
  我々は、真理条件と自然言語条件の確率の3値意味論を開発する。 いずれのフレームワークにおける推論の3価表現と確率表現の体系的対応を示す。 その結果は、条件推論の妥当性を分析するために有益に適用できる条件のセマンティクスと指示の統一的な説明である。
  論文  参考訳（メタデータ） (2022-07-17T20:06:00Z)
• Causal Inference Principles for Reasoning about Commonsense Causality [93.19149325083968]
  コモンセンス因果推論(Commonsense causality reasoning)は、平均的な人によって妥当と見なされる自然言語記述における妥当な原因と影響を特定することを目的としている。 既存の作業は通常、深い言語モデルに全面的に依存しており、共起を混同する可能性がある。 古典的因果原理に触発され,我々はCCRの中心的問題を明確にし,観察研究と自然言語における人間の対象間の類似性を引き出す。 本稿では,時間信号をインシデント・インシデント・インシデント・インシデント・インシデントとして活用する新しいフレームワークであるROCKをReason O(A)bout Commonsense K(C)ausalityに提案する。
  論文  参考訳（メタデータ） (2022-01-31T06:12:39Z)
• A unified logical framework for explanations in classifier systems [10.256904719009471]
  本稿では,二項入力分類器とその性質の推論を支援するセテリスパリバスの性質のモーダル言語を提案する。 我々は、モデルの族を研究し、言語の濃度に関する2つの証明システムとしてそれを公理化し、我々の公理学の完全性を示す。 我々は、この言語を利用して反実的条件を定式化し、帰納的、対照的な、反実的説明を含む様々な説明概念を定式化する。
  論文  参考訳（メタデータ） (2021-05-30T07:49:56Z)

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

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