Fugu-MT 論文翻訳(概要): Superposition with Lambdas

論文の概要: Superposition with Lambdas

arxiv url: http://arxiv.org/abs/2102.00453v1
Date: Sun, 31 Jan 2021 13:53:17 GMT
ステータス: 処理完了
システム内更新日: 2021-02-03 00:04:44.418406
Title: Superposition with Lambdas
Title（参考訳）: Lambdaによる重ね合わせ
Authors: Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovi\'c, Uwe Waldmann
Abstract要約: 匿名関数を含むがブール関数を除いた拡張多型高階論理のクラスフラグメントに対する重ね合わせ計算を設計する。推論ルールは$betaeta$-equivalence class of $lambda$-termsで動作し、難解な完全性を達成するために高階統一に依存する。
参考スコア（独自算出の注目度）: 59.87497175616048
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We designed a superposition calculus for a clausal fragment of extensional polymorphic higher-order logic that includes anonymous functions but excludes Booleans. The inference rules work on $\beta\eta$-equivalence classes of $\lambda$-terms and rely on higher-order unification to achieve refutational completeness. We implemented the calculus in the Zipperposition prover and evaluated it on TPTP and Isabelle benchmarks. The results suggest that superposition is a suitable basis for higher-order reasoning.
Abstract（参考訳）: 我々は,無名関数を含むがブール関数を含まない拡張型多形高階論理の包括的断片に対する重ね合わせ計算を考案した。推論規則は$\lambda$項の$\beta\eta$-同値クラスに作用し、反論完全性を達成するために高階統一に依存する。我々は Zipperposition 証明器に計算を実装し,TPTP と Isabelle のベンチマークで評価した。その結果,重ね合わせは高階推論に適した基礎であることが示唆された。

関連論文リスト

Aggregation of Reasoning: A Hierarchical Framework for Enhancing Answer Selection in Large Language Models [84.15513004135576]
最近の研究は、複数の推論チェーンをサンプリングし、応答周波数に基づいてアンサンブルすることで、Large Language Models(LLMs)の推論性能を向上させる。このアプローチは、正しい答えが少数派である場合に失敗する。階層的推論集約フレームワークAoRを導入し、推論連鎖の評価に基づいて回答を選択する。
論文参考訳（メタデータ） (2024-05-21T17:12:19Z)
Premise Order Matters in Reasoning with Large Language Models [57.18850969634412]
大規模言語モデル (LLM) は,前提の順序に驚くほど脆弱であることを示す。前提順序が中間的推論ステップで要求されるコンテキストと一致した場合, LLM が最高の性能を達成することを観察する。
論文参考訳（メタデータ） (2024-02-14T04:50:18Z)
Higher-Order DisCoCat (Peirce-Lambek-Montague semantics) [0.0]
本稿では,高階DisCoCat(カテゴリー構成分布)モデルの新たな定義を提案する。私たちのモデルは、プリミティブが論理式ではなく文字列図形に作用する計算に基づいて、モンタギュー意味論の変種と見なすことができる。
論文参考訳（メタデータ） (2023-11-29T17:04:15Z)
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)
SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning [0.3867363075280543]
SCL(FOL)は等式のない一階述語論理の重ね合わせにより非冗長節の導出をシミュレートできることを示す。重畳に基づく推論は、固定縮小順序付けに対して行われる。
論文参考訳（メタデータ） (2023-05-22T11:12:39Z)
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens [0.7614628596146599]
依存型理論の構成的設定において有限一階満足度(FSAT)を研究する。非論理的記号の1階署名に応じて、FSATの完全な分類を行います。全ての結果は, 合成不決定性の増大するCoqライブラリの枠組みで機械化されている。
論文参考訳（メタデータ） (2021-04-29T16:05:31Z)
Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics [8.619759570837951]
そこで本研究では,Dungスタイルの議論フレームワークを対象としたランキングベースのセマンティクスを提案する。議論フレームワークの直感的な翻訳を用いて条件文を生成することで、非単調な推論システムを用いて、可能な世界のランキングを生成することができる。
論文参考訳（メタデータ） (2020-08-05T08:34:16Z)
Second-Order Information in Non-Convex Stochastic Optimization: Power and Limitations [54.42518331209581]
私たちは発見するアルゴリズムを見つけます。 epsilon$-approximate stationary point ($|nabla F(x)|le epsilon$) using $(epsilon,gamma)$surimateランダムランダムポイント。ここでの私たちの下限は、ノイズのないケースでも新規です。
論文参考訳（メタデータ） (2020-06-24T04:41:43Z)
Superposition for Lambda-Free Higher-Order Logic [62.997667081978825]
本稿では,意図的および拡張的クラス数$lambda$-free高階論理に対して,難解な完全重ね合わせ計算を導入する。計算は完全単調でなくてもよい項順でパラメタ化され、$lambda$フリーの高次語彙パスとKnuth-Bendixの順序を使うことができる。
論文参考訳（メタデータ） (2020-05-05T12:10:21Z)

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