Fugu-MT 論文翻訳(概要): Truth and Preferences -- A Game Approach for Qualitative Choice Logic

論文の概要: Truth and Preferences -- A Game Approach for Qualitative Choice Logic

arxiv url: http://arxiv.org/abs/2209.12777v2
Date: Tue, 27 Sep 2022 17:24:11 GMT
ステータス: 処理完了
システム内更新日: 2022-09-28 11:36:24.619405
Title: Truth and Preferences -- A Game Approach for Qualitative Choice Logic
Title（参考訳）: 真理と選好 -- 質的選択論理のためのゲームアプローチ
Authors: Robert Freiman, Michael Bernreiter
Abstract要約: 質的選択論理(QCL)のためのゲーム理論意味論(GTS)を導入する。 GTSは古典命題論理を拡張し、順序解法と呼ばれる接続性を持つ。ゲームセマンティクスを利用して,QCLの言語に対する新たなセマンティクスを導出できることを示す。
参考スコア（独自算出の注目度）: 2.28438857884398
License: http://creativecommons.org/licenses/by-nc-nd/4.0/
Abstract: In this paper, we introduce game-theoretic semantics (GTS) for Qualitative Choice Logic (QCL), which, in order to express preferences, extends classical propositional logic with an additional connective called ordered disjunction. Firstly, we demonstrate that game semantics can capture existing degree-based semantics for QCL in a natural way. Secondly, we show that game semantics can be leveraged to derive new semantics for the language of QCL. In particular, we present a new semantics that makes use of GTS negation and, by doing so, avoids problems with negation in existing QCL-semantics.
Abstract（参考訳）: 本稿では,質的選択論理(qcl)のためのゲーム理論的意味論(gts)について紹介する。まず、ゲームセマンティクスがQCLの既存の学位ベースのセマンティクスを自然な方法でキャプチャできることを実証する。第2に,ゲームセマンティクスを利用してQCLの言語に新たなセマンティクスを導出できることを示す。特に, GTS否定を利用した新たな意味論を提案し, 既存のQCL意味論における否定問題を回避する。

関連論文リスト

Operator-based semantics for choice programs: is choosing losing? (full version) [6.983702226751596]
これまでに2つの意味論が研究されている。演算子ベースのフレームワークは、原則化された方法で異なる意味論の定義と比較を可能にする。
論文参考訳（メタデータ） (2024-07-31T12:25:57Z)
Learning Visual-Semantic Subspace Representations for Propositional Reasoning [49.17165360280794]
本稿では,特定の意味構造に適合する視覚表現を学習するための新しい手法を提案する。我々のアプローチは、新しい核規範に基づく損失に基づいている。部分空間格子におけるセマンティクスのスペクトル幾何学を最小エンコードしていることを示す。
論文参考訳（メタデータ） (2024-05-25T12:51:38Z)
Open-Vocabulary Segmentation with Semantic-Assisted Calibration [73.39366775301382]
オープンボキャブラリセグメンテーション(OVS)は,CLIPの文脈に先行して,語彙内およびドメインバイアスの埋め込み空間を校正することで研究される。オープン語彙セグメンテーションベンチマークにおける最先端性能を実現するために,セマンティック・アシブ・キャリブレーション・ネットワーク(SCAN)を提案する。
論文参考訳（メタデータ） (2023-12-07T07:00:09Z)
Description Logics Go Second-Order -- Extending EL with Universally Quantified Concepts [0.0]
私たちは記述ロジックの拡張に$mathcalEL$をフォーカスします。拡張の有用な断片について、異なる意味論による結論が一致することを示す。わずかに小さいが、それでも有用である断片のために、私たちは拡張の決定可能性を示すことができました。
論文参考訳（メタデータ） (2023-08-16T09:37:38Z)
Advancing Incremental Few-shot Semantic Segmentation via Semantic-guided Relation Alignment and Adaptation [98.51938442785179]
増分的な数ショットセマンティックセマンティックセマンティクスは、セマンティクスセマンティクスモデルを新しいクラスに漸進的に拡張することを目的としている。このタスクは、データ不均衡のため、ベースクラスと新しいクラスの間で深刻な意味認識の問題に直面します。本稿では,従来の意味情報のガイダンスを完全に考慮した意味誘導型関係調整適応法を提案する。
論文参考訳（メタデータ） (2023-05-18T10:40:52Z)
Not another Negation Benchmark: The NaN-NLI Test Suite for Sub-clausal Negation [59.307534363825816]
否定は現在の言語モデルでは不十分だが、この問題の範囲は広く理解されていない。自然言語推論(NLI)テストスイートを導入し,NLP手法の能力を検証した。
論文参考訳（メタデータ） (2022-10-06T23:39:01Z)
Lexicographic Logic: a Many-valued Logic for Preference Representation [1.5484595752241122]
本稿では,様々な選好を表現できる古典命題論理の拡張である辞書論理を提案する。ユーザの嗜好の満足度に応じてクエリ結果のランク付けを行う上で,新しい論理は有効な形式である,と我々は主張する。
論文参考訳（メタデータ） (2020-12-20T14:42:04Z)
Infusing Finetuning with Semantic Dependencies [62.37697048781823]
シンタックスとは異なり、セマンティクスは今日の事前訓練モデルによって表面化されないことを示す。次に、畳み込みグラフエンコーダを使用して、タスク固有の微調整にセマンティック解析を明示的に組み込む。
論文参考訳（メタデータ） (2020-12-10T01:27:24Z)
Logical Semantics, Dialogical Argumentation, and Textual Entailment [0.0]
本稿では,自然言語の議論に近い一階古典論理のための新しい対話型システムを提案する。通常の古典的妥当性に関してその完全性を証明する。
論文参考訳（メタデータ） (2020-08-17T08:04:11Z)
Recursive Rules with Aggregation: A Simple Unified Semantics [0.6662800021628273]
本稿では,集約を伴う再帰の統一的意味論について述べる。意味論を形式的に定義し、意味論の重要な性質を証明し、先行意味論と比較する。私たちのセマンティクスはシンプルで、すべてのケースで望ましい結果と一致しています。
論文参考訳（メタデータ） (2020-07-26T04:42:44Z)
Syn-QG: Syntactic and Shallow Semantic Rules for Question Generation [49.671882751569534]
我々は、宣言文を質問応答対に変換する透明な統語規則であるSynQGを開発した。 PropBankの引数記述とVerbNet状態述語を利用して、浅いセマンティックコンテンツを組み込む。文法的不正確な質問を排除し,構文の流布性を改善するために,これらの構文規則のアウトプットを逆翻訳する。
論文参考訳（メタデータ） (2020-04-18T19:57:39Z)

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