論文の概要: Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality

• arxiv url: http://arxiv.org/abs/2604.01952v1
• Date: Thu, 02 Apr 2026 12:18:00 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-04-03 14:21:10.772698
• Title: Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality
• Title（参考訳）: Qiana: コンテクストとフォーミュラをテンポラリティで定量化する一階形式主義
• Authors: Simon Coumes, Pierre-Henri Paris, François Schwarzentruber, Fabian Suchanek,
• Abstract要約: Qianaは、特定の文脈でのみ真である公式を推論するための論理フレームワークである。 時間性,事象計算,モーダル論理の表現にQianaを用いる方法を示す。
• 参考スコア（独自算出の注目度）: 8.358857123007004
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We introduce Qiana, a logic framework for reasoning on formulas that are true only in specific contexts. In Qiana, it is possible to quantify over both formulas and contexts to express, e.g., that ``everyone knows everything Alice says''. Qiana also permits paraconsistent logics within contexts, so that contexts can contain contradictions. Furthermore, Qiana is based on first-order logic, and is finitely axiomatizable, so that Qiana theories are compatible with pre-existing first-order logic theorem provers. We show how Qiana can be used to represent temporality, event calculus, and modal logic. We also discuss different design alternatives of Qiana.
• Abstract（参考訳）: 特定の文脈でのみ真である公式を推論するための論理フレームワークであるQianaを紹介する。 キアーナでは、公式と文脈の両方を定量化して、例えば『誰もがアリスの言うことを全て知っている』と表現することができる。 Qianaはまた、コンテキスト内のパラ一貫性論理を許可するので、コンテキストは矛盾を含むことができる。 さらに、キアーナは一階述語論理に基づいており、有限公理化可能であるので、キアーナ理論は既存の一階述語論理定理の証明と互換性がある。 時間性,事象計算,モーダル論理の表現にQianaを用いる方法を示す。 また、Qianaの異なる設計代替案についても論じる。

関連論文リスト

• Reasoning is about giving reasons [55.56111618153049]
  高い精度の3つの一般的な推論データセットにおいて、自然言語の引数の論理構造を同定し、抽出できることが示される。 我々のアプローチは、自然言語の引数の論理構造に依存するあらゆる推論形式をサポートする。
  論文  参考訳（メタデータ） (2025-08-20T07:26:53Z)
• Interleaving Logic and Counting [5.71869130799784]
  自然言語における量化子表現との推論は論理的特徴と算術的特徴を組み合わせたものである。 私たちのトピックは、共通言語で発生するスタイルの協調である。
  論文  参考訳（メタデータ） (2025-07-07T17:30:29Z)
• Propositional Measure Logic [0.0]
  基本確率論的意味論を用いた命題論理を提案する。 この意味論は古典論理の双対性に置き換わり、導出的構造を保存する。 提案手法は,不確実性を考慮した推論に適していることを示す。
  論文  参考訳（メタデータ） (2025-04-24T16:21:16Z)
• Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation [0.0]
  等式付き一階述語論理の議論グラフ意味論を定式化する。 議論フレームワーク内の2つ以上のグラフノードが等価である場合に、Dungの拡張の概念を一般化する。
  論文  参考訳（メタデータ） (2024-06-18T00:32:00Z)
• Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints [48.831178420807646]
  我々は、EVentuality中心のKGに基づいて、ニューラルネットワークを利用して複雑な論理的クエリに応答する新しいフレームワークを提案する。 複合事象性クエリ・アンサーリング(CEQA)は、時間的順序と事象の発生を規定する暗黙の論理的制約を考察する。 また、CEQAタスク上での最先端のニューラルクエリエンコーダの性能を大幅に向上させるメモリ拡張クエリ(MEQE)を提案する。
  論文  参考訳（メタデータ） (2023-05-30T14:29:24Z)
• Certain and Uncertain Inference with Indicative Conditionals [0.3437656066916039]
  我々は、真理条件と自然言語条件の確率の3値意味論を開発する。 いずれのフレームワークにおける推論の3価表現と確率表現の体系的対応を示す。 その結果は、条件推論の妥当性を分析するために有益に適用できる条件のセマンティクスと指示の統一的な説明である。
  論文  参考訳（メタデータ） (2022-07-17T20:06:00Z)
• Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
  パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。 ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
  論文  参考訳（メタデータ） (2022-07-04T14:38:49Z)
• Transfinite Modal Logic: a Semi-quantitative Explanation for Bayesian Reasoning [1.6916260027701393]
  本稿では,モーダル論理と順序算術を組み合わせた超有限モーダル論理を導入する。 我々は、超有限モーダル論理がベイズ的推論の本質をかなり明確で単純な形で捉えていることを示唆する。
  論文  参考訳（メタデータ） (2022-04-02T17:58:14Z)
• Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
  我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。 文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
  論文  参考訳（メタデータ） (2020-08-06T02:13:11Z)
• Logical Neural Networks [51.46602187496816]
  ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。 すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。 推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
  論文  参考訳（メタデータ） (2020-06-23T16:55:45Z)

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

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