Fugu-MT 論文翻訳(概要): Bilingual analogical proportions

論文の概要: Bilingual analogical proportions

arxiv url: http://arxiv.org/abs/2305.05614v1
Date: Tue, 2 May 2023 08:27:36 GMT
ステータス: 処理完了
システム内更新日: 2023-05-14 20:57:16.368984
Title: Bilingual analogical proportions
Title（参考訳）: バイリンガル類比
Authors: Christian Anti\'c
Abstract要約: a$ is to $b$ is to $c$ is to $d$'' at the core of analogical reasoning。本論文の目的は,その非言語的枠組みを,基礎言語が異なるバイリンガル言語に一般化することである。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Analogical proportions are expressions of the form ``$a$ is to $b$ what $c$ is to $d$'' at the core of analogical reasoning which itself is at the core of human and artificial intelligence. The author has recently introduced {\em from first principles} an abstract algebro-logical framework of analogical proportions within the general setting of universal algebra and first-order logic. In that framework, the source and target algebras have the {\em same} underlying language. The purpose of this paper is to generalize his unilingual framework to a bilingual one where the underlying languages may differ. This is achieved by using hedges in justifications of proportions. The outcome is a major generalization vastly extending the applicability of the underlying framework. In a broader sense, this paper is a further step towards a mathematical theory of analogical reasoning.
Abstract（参考訳）: 類似の比率は、『$a$ is to $b$ what $c$ is to $d$'』の形の表現であり、それ自身が人間と人工知能の核であるアナロジー推論の核である。著者は最近、普遍代数学と一階述語論理の一般設定における類比例の抽象的代数的枠組み(英語版)を紹介した。このフレームワークでは、ソース代数とターゲット代数は、基礎言語 {\em same} を持つ。本論文の目的は,その非言語的枠組みを,基礎言語が異なるバイリンガル言語に一般化することである。これは比率の正当化にヘッジを使用することによって達成される。その結果、基盤となるフレームワークの適用性を大きく広げる大きな一般化となった。より広い意味では、この論文は類推論の数学的理論へのさらなる一歩である。

関連論文リスト

Algebraic anti-unification [0.0]
抽象は人間や人工知能にとって鍵であり、他の異なる物体や状況で共通の構造を見ることができる。アンチ・ユニフィケーション(英: anti-unification、あるいは generalization)は、理論計算機科学とAIによる抽象研究のテキストである。
論文参考訳（メタデータ） (2024-07-22T09:49:46Z)
Analogical proportions II [0.0]
アナロジカル推論(アナロジカル推論)は、2つの遠い物体や状況の間の平行を検知する能力である。 a$ is to $b$ is to $c$ is to $d$'' at the core of analogical reasoning。
論文参考訳（メタデータ） (2024-05-22T09:02:12Z)
Implicit Chain of Thought Reasoning via Knowledge Distillation [58.80851216530288]
思考推論ステップの連鎖を明示的に生成する代わりに、言語モデルの内部の隠れ状態を使用して暗黙の推論を行います。このアプローチにより、明示的にチェーン・オブ・シントなしでは解決不可能なタスクを、非チェーン・オブ・シントに匹敵する速度で解決できることが分かりました。
論文参考訳（メタデータ） (2023-11-02T17:59:49Z)
Empower Nested Boolean Logic via Self-Supervised Curriculum Learning [67.46052028752327]
大規模言語モデルを含む事前学習された言語モデルは、多言語論理に直面するランダムセレクタのように振る舞う。この基本的能力で言語モデルを強化するために,本稿では,新たな自己教師付き学習手法であるtextitCurriculum Logical Reasoning (textscClr) を提案する。
論文参考訳（メタデータ） (2023-10-09T06:54:02Z)
From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of Thought [124.40905824051079]
言語インフォームド・シンキングのための計算フレームワークである「構成」を合理的に提案する。我々は、自然言語から確率論的思考言語への文脈感応的なマッピングとして、言語の意味を定式化する。 LLMは、現実的に適切な言語的意味をキャプチャする文脈依存翻訳を生成することができることを示す。認知的なモチベーションを持つシンボリックモジュールを統合するために、我々のフレームワークを拡張します。
論文参考訳（メタデータ） (2023-06-22T05:14:00Z)
A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文参考訳（メタデータ） (2021-10-18T10:45:59Z)
Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text [65.24325614642223]
論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
論文参考訳（メタデータ） (2021-05-08T10:09:36Z)
Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis [0.0]
本稿では,議論的言説の深い多元論的論理解析へのアプローチを提案する。我々は古典的な高階論理に最先端の自動推論技術を用いる。
論文参考訳（メタデータ） (2020-07-02T11:07:53Z)
Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文参考訳（メタデータ） (2020-06-23T16:55:45Z)
Analogical Proportions [0.0]
本稿では、普遍代数学の一般設定において、$a$ is to $b$ to $c$ is to $d$' という形の類比例の抽象的枠組みを紹介する。類比の概念が数学的性質をアピールしていることが判明した。本論文は,AI-プロブレムの応用可能性を考慮したアナログ推論と学習システムの理論への第一歩である。
論文参考訳（メタデータ） (2020-06-04T13:44:36Z)
Notes on neighborhood semantics for logics of unknown truths and false beliefs [1.827510863075184]
我々は、近隣のセマンティクスの下で未知の真実と偽の信念の論理を研究する。それらは、近隣モデルの様々なクラスに比較できないことが判明した。結果を公開発表の場合に拡張する。
論文参考訳（メタデータ） (2020-02-22T04:27:04Z)

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