Fugu-MT 論文翻訳(概要): Intensional FOL: Many-Sorted Extension

論文の概要: Intensional FOL: Many-Sorted Extension

arxiv url: http://arxiv.org/abs/2409.04469v1
Date: Tue, 3 Sep 2024 19:50:57 GMT
ステータス: 処理完了
システム内更新日: 2024-09-10 22:45:53.468017
Title: Intensional FOL: Many-Sorted Extension
Title（参考訳）: Intensional FOL: Many-Sorted Extension
Authors: Zoran Majkic,
Abstract要約: IFOLで使用される概念は、それらをソートされた属性のリストに関連付けており、そのソートもインテンショナルな概念である。非ソートIFOL(Intensional FOL)を多ソートIFOLに拡張する要件は主に、自然言語が暗黙的に多ソートであるという事実に基づいている。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: The concepts used in IFOL have associated to them a list of sorted attributes, and the sorts are the intensional concepts as well. The requirement to extend the unsorted IFOL (Intensional FOL) to many-sorted IFOL is mainly based on the fact that a natural language is implicitly many-sorted and that we intend to use IFOL to support applications that use natural languages. Thus, the proposed version of many-sorted IFOL is just the completion of this conceptual feature of the IFOL.
Abstract（参考訳）: IFOLで使用される概念は、それらをソートされた属性のリストに関連付けており、そのソートもインテンショナルな概念である。未分類のIFOL(Intensional FOL)を多種多様なIFOLに拡張する要件は主に、自然言語が暗黙的に多種多様であることと、自然言語を使用するアプリケーションをサポートするためにIFOLを使用することにある。したがって、多種多様なIFOLの提案は、IFOLの概念的特徴の完成にすぎない。

関連論文リスト

Experiments with Choice in Dependently-Typed Higher-Order Logic [3.072340427031969]
ヒルベルトの不定選択作用素 $epsilon$ により DHOL 項構造を拡張する。選択項のHOL選択への変換を定義し、既存のDHOLからHOLへの変換を拡張する。選択を必要とするHOL問題に対する拡張翻訳の評価を行った。
論文参考訳（メタデータ） (2024-10-11T14:49:45Z)
DIALECTBENCH: A NLP Benchmark for Dialects, Varieties, and Closely-Related Languages [49.38663048447942]
DIALECTBENCHは,NLPの品種に対する大規模ベンチマークとして初めて提案される。これにより、異なる言語でNLPシステムの性能を総合的に評価することができる。標準言語と非標準言語間の性能格差の相当な証拠を提供する。
論文参考訳（メタデータ） (2024-03-16T20:18:36Z)
Ad-hoc polymorphic delimited continuations [4.12935843184402]
他のプログラミング言語の第一級言語機能は、我々のフレームワークの助けを借りてライブラリとして実装できる。私たちのフレームワークの中核となる概念は型クラスDslであり、これはアドホックな多型継続とより一般的なモナドのバージョンの両方と見なすことができる。
論文参考訳（メタデータ） (2023-07-29T20:46:35Z)
Fuzzy order-sorted feature logic [2.5672176409865686]
Order-Sorted Feature (OSF) 論理は、関数記述型特徴記号と集合記述型ソート記号に基づく知識表現および推論言語である。ファジィ集合間のザデの包含を一般化するファジィ仮定関係の柔軟な定義を与える。 2つのOSF項の最大下限を求める方法と、2つのOSF項間の仮定度を計算する方法を示す。
論文参考訳（メタデータ） (2023-07-27T07:47:54Z)
Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint [0.0]
高階論理 HOL は、型付きデータ構造を表現および推論するための非常に単純な構文と意味論を提供します。依存型理論はそのようなリッチな型システムを提供するが、HOLとはかなり概念的な違いがある。本稿では,HOLのスタイルと概念的枠組みを維持した,依存型拡張DHOLを提案する。
論文参考訳（メタデータ） (2023-05-24T17:40:54Z)
DADA: Dialect Adaptation via Dynamic Aggregation of Linguistic Rules [64.93179829965072]
DADAは、多言語対応のSAE訓練モデルに対するモジュラーアプローチである。 DADAは単一タスクと命令言語モデルの両方に有効であることを示す。
論文参考訳（メタデータ） (2023-05-22T18:43:31Z)
Machine-Created Universal Language for Cross-lingual Transfer [73.44138687502294]
代替中間言語として,MUL(Machine-created Universal Language)を提案する。 MULは、MUL翻訳者に対する普遍的な語彙と自然言語を形成する独立したシンボルの集合からなる。 MULは、様々な言語から共有される概念を単一の普遍語に統一し、言語間の移動を強化する。
論文参考訳（メタデータ） (2023-05-22T14:41:09Z)
FOLIO: Natural Language Reasoning with First-Order Logic [147.50480350846726]
我々は、自然言語(NL)における推論のための人間注釈付き、論理的に複雑で多様なデータセットであるFOLIOを提示する。 FOLIOは1,430の例(一意の結論)で構成され、それぞれが487の前提のうちの1つと組み合わせて、それぞれの結論の妥当性を導出的に推論する。 NL推論とNL-FOL変換の両方において、複数の最先端言語モデルをベンチマークする。
論文参考訳（メタデータ） (2022-09-02T06:50:11Z)
OrdinalCLIP: Learning Rank Prompts for Language-Guided Ordinal Regression [94.28253749970534]
我々は、リッチなセマンティックCLIP潜在空間からランクの概念を学ぶことを提案する。 OrdinalCLIPは学習可能なコンテキストトークンと学習可能なランク埋め込みで構成されている。実験結果から,本パラダイムは一般順序回帰タスクにおける競合性能を達成できることが示唆された。
論文参考訳（メタデータ） (2022-06-06T03:54:53Z)
An extended Knowledge Compilation Map for Conditional Preference Statements-based and Generalized Additive Utilities-based Languages [0.0]
等価性や変換など,これまで解決されていないクエリの複雑さについて検討する。これは条件付き嗜好文に基づく言語のための知識コンパイルマップに寄与する。
論文参考訳（メタデータ） (2021-02-08T10:19:40Z)
Modular Networks for Compositional Instruction Following [102.152217117883]
本稿では,多様なサブゴールのシーケンスを記述する自然言語命令に従うモジュールアーキテクチャを提案する。実行すべきモジュールのシーケンスは、命令をセグメント化し、各セグメントのサブゴール型を予測することを学ぶことで選択される。 ALFREDの標準の非モジュラー列列列列法と比較すると、モジュラー化は新たなサブゴラル合成への一般化を改善することが判明した。
論文参考訳（メタデータ） (2020-10-24T03:48:45Z)

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