Fugu-MT 論文翻訳(概要): Fuzzy Propositional Formulas under the Stable Model Semantics

論文の概要: Fuzzy Propositional Formulas under the Stable Model Semantics

arxiv url: http://arxiv.org/abs/2506.12804v1
Date: Sun, 15 Jun 2025 10:38:56 GMT
ステータス: 翻訳完了
システム内更新日: 2025-06-17 17:28:46.897456
Title: Fuzzy Propositional Formulas under the Stable Model Semantics
Title（参考訳）: 安定モデル意味論におけるファジィ命題式
Authors: Joohyung Lee, Yi Wang,
Abstract要約: ファジィ命題論理と古典命題論理の安定モデル意味論の両方を一般化するファジィ命題論理の安定モデル意味論を定義する。言語の構文はファジィ命題論理の構文と同じであるが、その意味論は安定モデルと不安定モデルとを区別する。
参考スコア（独自算出の注目度）: 7.052794276153519
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We define a stable model semantics for fuzzy propositional formulas, which generalizes both fuzzy propositional logic and the stable model semantics of classical propositional formulas. The syntax of the language is the same as the syntax of fuzzy propositional logic, but its semantics distinguishes stable models from non-stable models. The generality of the language allows for highly configurable nonmonotonic reasoning for dynamic domains involving graded truth degrees. We show that several properties of Boolean stable models are naturally extended to this many-valued setting, and discuss how it is related to other approaches to combining fuzzy logic and the stable model semantics.
Abstract（参考訳）: ファジィ命題論理と古典命題論理の安定モデル意味論の両方を一般化するファジィ命題論理の安定モデル意味論を定義する。言語の構文はファジィ命題論理の構文と同じであるが、その意味論は安定モデルと不安定モデルとを区別する。この言語の一般性は、階数付き真理次数を含む動的領域に対して高度に構成可能な非単調推論を可能にする。ブール安定モデルのいくつかの性質が自然にこの多くの評価された設定に拡張されることを示し、ファジィ論理と安定モデル意味論を組み合わせた他のアプローチとどのように関係しているかを議論する。

関連論文リスト

Explaining Datasets in Words: Statistical Models with Natural Language Parameters [66.69456696878842]
本稿では, クラスタリング, 時系列, 分類モデルなど, 自然言語の述語によってパラメータ化される統計モデル群を紹介する。当社のフレームワークは、ユーザチャット対話の分類、時間の経過とともにどのように進化するかの特徴付け、一方の言語モデルが他方よりも優れているカテゴリを見つけることなど、幅広い問題に適用しています。
論文参考訳（メタデータ） (2024-09-13T01:40:20Z)
The Stable Model Semantics for Higher-Order Logic Programming [4.106754434769354]
本稿では,高階論理プログラムのための安定モデルセマンティクスを提案する。我々のセマンティクスは、強力な形式主義である近似固定点理論(AFT)を用いて開発されている。安定モデルセマンティクスの下での高階論理プログラミングは強力で汎用的な形式であることを示す。
論文参考訳（メタデータ） (2024-08-20T06:03:52Z)
A Primer for Preferential Non-Monotonic Propositional Team Logics [0.0]
チームベースの命題論理は、自然に累積的な非単調な含意関係をもたらすことを示す。チームセマンティクスにおける解離の非古典的解釈に動機付けられて、命題依存論理の優先モデルに対して、正確な特徴を与える。
論文参考訳（メタデータ） (2024-05-11T09:53:15Z)
Shape Arithmetic Expressions: Advancing Scientific Discovery Beyond Closed-Form Equations [56.78271181959529]
GAM(Generalized Additive Models)は、変数とターゲットの間の非線形関係をキャプチャできるが、複雑な特徴相互作用をキャプチャすることはできない。本稿では,GAMのフレキシブルな形状関数と,数学的表現に見られる複雑な特徴相互作用を融合させる形状表現算術(SHARE)を提案する。また、標準制約を超えた表現の透明性を保証するSHAREを構築するための一連のルールを設計する。
論文参考訳（メタデータ） (2024-04-15T13:44:01Z)
Meaning Representations from Trajectories in Autoregressive Models [106.63181745054571]
入力テキストを拡張可能なすべてのトラジェクトリの分布を考慮し,自己回帰言語モデルから意味表現を抽出する。この戦略はプロンプトフリーであり、微調整は必要とせず、事前訓練された自己回帰モデルにも適用できる。我々は,大規模なモデルから得られた表現が人間のアノテーションとよく一致し,意味的類似性タスクにおける他のゼロショットおよびプロンプトフリーメソッドよりも優れており,標準埋め込みが扱えないより複雑なエンタテインメントや包含タスクの解決に使用できることを実証的に示す。
論文参考訳（メタデータ） (2023-10-23T04:35:58Z)
On Loop Formulas with Variables [2.1955512452222696]
最近、フェラーリス、リー、リフシッツはグラウンド化に言及しない安定モデルの新たな定義を提案した。我々は、Chen, Lin, Wang, Zhang による変数を持つループ公式のアイデアとの関係を示す。論理プログラムの構文を拡張して、明示的な量化を許容し、その意味論を安定モデルの新しい言語のサブクラスとして定義する。
論文参考訳（メタデータ） (2023-07-15T06:20:43Z)
Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models [0.0]
我々は原子サブセット包含によって誘導されるクリプキモデルの格子を提供し、不確かさと不明瞭さを分離する。明示的な知識のための言語の公式の満足度を保った変換を定義することにより,HMSモデルとFHモデルの両方に等価なモデルを示す。
論文参考訳（メタデータ） (2021-06-24T10:04:44Z)
Exploring End-to-End Differentiable Natural Logic Modeling [21.994060519995855]
ニューラルネットワークに自然言語を統合する、エンドツーエンドでトレーニングされた差別化可能なモデルについて検討する。提案モデルでは,モジュールネットワークを用いて自然言語操作をモデル化し,メモリコンポーネントで拡張してコンテキスト情報をモデル化する。
論文参考訳（メタデータ） (2020-11-08T18:18:15Z)
Measuring Association Between Labels and Free-Text Rationales [60.58672852655487]
解釈可能なNLPでは、説明された例に対するモデルの意思決定プロセスを反映した忠実な理性が必要です。情報抽出型タスクに対する忠実な抽出合理化のための既存のモデルであるパイプラインは、自由テキスト合理化を必要とするタスクに確実に拡張されないことを示す。我々は、信頼が確立されていない自由文合理化のための、広く使われている高性能モデルのクラスである、共同予測と合理化のモデルに目を向ける。
論文参考訳（メタデータ） (2020-10-24T03:40:56Z)

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