Fugu-MT 論文翻訳(概要): Two Cases of Deduction with Non-referring Descriptions

論文の概要: Two Cases of Deduction with Non-referring Descriptions

arxiv url: http://arxiv.org/abs/2501.00485v1
Date: Tue, 31 Dec 2024 15:11:47 GMT
ステータス: 翻訳完了
システム内更新日: 2025-01-05 17:13:14.511356
Title: Two Cases of Deduction with Non-referring Descriptions
Title（参考訳）: 非参照記述を伴う引用の2例
Authors: Jiří Raclavský,
Abstract要約: この論文は、自由論理と逐次計算に代わるものを提供する。部分的な型理論と自然な推論をシークエントなスタイルで組み込んでいます。
参考スコア（独自算出の注目度）: 0.0
License:
Abstract: Formal reasoning with non-denoting terms, esp. non-referring descriptions such as "the King of France", is still an under-investigated area. The recent exception being a series of papers e.g. by Indrzejczak, Zawidzki and K\"rbis. The present paper offers an alternative to their approach since instead of free logic and sequent calculus, it's framed in partial type theory with natural deduction in sequent style. Using a Montague- and Tich\'y-style formalization of natural language, the paper successfully handles deduction with intensional transitives whose complements are non-referring descriptions, and derives Strawsonian rules for existential presuppositions of sentences with such descriptions.
Abstract（参考訳）: 非記述的な用語による形式的推論、例えば「フランス王」のような非参照的な記述は、まだ未定の領域である。最近の例外は、Indrzejczak, Zawidzki, K\"rbis による一連の論文 eg である。本稿では,自由論理とシークエント計算の代わりに,自然な帰納的推論を伴う部分型理論を組み込んだ手法を提案する。この論文は、モンタギュー語とティッチー語スタイルの自然言語の形式化を用いて、補文が非参照的な記述である無関係な推移詞による推論をうまく処理し、そのような記述を伴う文の実在的前置詞に対するストラウソンの規則を導出する。

関連論文リスト

Learning Visual-Semantic Subspace Representations for Propositional Reasoning [49.17165360280794]
本稿では,特定の意味構造に適合する視覚表現を学習するための新しい手法を提案する。我々のアプローチは、新しい核規範に基づく損失に基づいている。部分空間格子におけるセマンティクスのスペクトル幾何学を最小エンコードしていることを示す。
論文参考訳（メタデータ） (2024-05-25T12:51:38Z)
A Primer for Preferential Non-Monotonic Propositional Team Logics [0.0]
チームベースの命題論理は、自然に累積的な非単調な含意関係をもたらすことを示す。チームセマンティクスにおける解離の非古典的解釈に動機付けられて、命題依存論理の優先モデルに対して、正確な特徴を与える。
論文参考訳（メタデータ） (2024-05-11T09:53:15Z)
Phenomenal Yet Puzzling: Testing Inductive Reasoning Capabilities of Language Models with Hypothesis Refinement [92.61557711360652]
言語モデル(LM)は、しばしば帰納的推論に不足する。我々は,反復的仮説修正を通じて,LMの帰納的推論能力を体系的に研究する。本研究は, LMの誘導的推論過程と人間とのいくつかの相違点を明らかにし, 誘導的推論タスクにおけるLMの使用の可能性と限界に光を当てる。
論文参考訳（メタデータ） (2023-10-12T17:51:10Z)
Unsupervised Mapping of Arguments of Deverbal Nouns to Their Corresponding Verbal Labels [52.940886615390106]
デバーバル名詞は英語の文章でよく使われる動詞で、出来事や行動やその議論を記述している。名前付けされた構成の引数を扱うために存在する解決策は意味論的アノテーションに基づいている。本稿では,より統語的アプローチを導入し,デバーバル名詞の議論を対応する動詞構成にマッピングする。
論文参考訳（メタデータ） (2023-06-24T10:07:01Z)
Abductive Commonsense Reasoning Exploiting Mutually Exclusive Explanations [118.0818807474809]
帰納的推論は、イベントのもっともらしい説明を見つけることを目的としている。自然言語処理における帰納的推論のための既存のアプローチは、しばしば監督のために手動で生成されたアノテーションに依存している。この研究は、ある文脈に対して、説明のサブセットのみが正しいという事実を活用する、帰納的コモンセンス推論のアプローチを提案する。
論文参考訳（メタデータ） (2023-05-24T01:35:10Z)
NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning [59.16962123636579]
本稿では,Prologベースの推論エンジンを新たに提案する。我々は手作りのルールを、ニューラルネットワークモデリング、ガイド付き生成、半密検索の組み合わせで置き換える。我々の実装であるNELLIEは、完全に解釈可能なエンドツーエンドの基底QAを示す最初のシステムである。
論文参考訳（メタデータ） (2022-09-16T00:54:44Z)
Making first order linear logic a generating grammar [0.0]
異なる分類文法が一階乗法線形論理(MLL1)の断片において表面表現を持つことが知られている。興味の断片は、最近導入された拡張型電卓(ETTC)と等価であることを示す。
論文参考訳（メタデータ） (2022-06-17T18:11:34Z)
Learning Symbolic Rules for Reasoning in Quasi-Natural Language [74.96601852906328]
我々は,ルールを手作業で構築することなく,自然言語入力で推論できるルールベースシステムを構築した。本稿では,形式論理文と自然言語文の両方を表現可能な"Quasi-Natural"言語であるMetaQNLを提案する。提案手法は,複数の推論ベンチマークにおける最先端の精度を実現する。
論文参考訳（メタデータ） (2021-11-23T17:49:00Z)
Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics [2.627046865670577]
シーケント型証明システムにおいて、最小の矛盾に基づく非単調パラ一貫性論理の族に対する一様公理を導入する。パラドックスの3値最小矛盾論理と、アリエリとアヴロンによる4値パラドックス推論関係について、シークエント型計算を提供する。
論文参考訳（メタデータ） (2020-09-22T00:49:52Z)
Coinduction Plain and Simple [0.0]
コインダクション(Coinduction)とは、無限のストリームを定義する手法、いわゆるコデータ、およびコインダクテッド指定コデータの等価性を証明する技術である。本稿では、まず、宣言型プログラミングにおける造語をレビューする。次に、コデータを特定するためによく使われる形式主義をレビューし、少し拡張する。第三に、元々は等式述語のみに規定されていた造語証明の原理を他の述語に一般化する。
論文参考訳（メタデータ） (2020-07-20T06:52:54Z)
Situation Calculus by Term Rewriting [0.0]
フルエントは用語構造から計算でき、アクションは用語の書き直しルールに対応する。いくつかの例が与えられ、そのような書き直し規則のセットを構築するためのいくつかの一般的な方法が提示される。
論文参考訳（メタデータ） (2020-06-30T21:47:47Z)

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