論文の概要: A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
- arxiv url: http://arxiv.org/abs/2512.24980v1
- Date: Wed, 31 Dec 2025 17:27:36 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-01-01 23:27:28.720625
- Title: A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
- Title（参考訳）: ファジィ形式文脈を用いた確率的推論のためのモーダル論理
- Authors: Prosenjit Howlader, Churn-Jung Liau,
- Abstract要約: ファジィな形式的文脈を持つ確率論的推論のための二階重み付きモーダル論理を導入する。
論理の構文は古典的な必要条件(Box$)と十分(boxminus$)モダリティ(boxminus$)に対応する2種類の重み付きモダル演算子を含んでいる。
我々の論理言語は、これらの一般化された概念の全てを表現できることを示す。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We introduce a two-sort weighted modal logic for possibilistic reasoning with fuzzy formal contexts. The syntax of the logic includes two types of weighted modal operators corresponding to classical necessity ($\Box$) and sufficiency ($\boxminus$) modalities and its formulas are interpreted in fuzzy formal contexts based on possibility theory. We present its axiomatization that is \emph{sound} with respect to the class of all fuzzy context models. In addition, both the necessity and sufficiency fragments of the logic are also individually complete with respect to the class of all fuzzy context models. We highlight the expressive power of the logic with some illustrative examples. As a formal context is the basic construct of formal concept analysis (FCA), we generalize three main notions in FCA, i.e., formal concepts, object oriented concepts, and property oriented concepts, to their corresponding $c$-cut concepts in fuzzy formal contexts. Then, we show that our logical language can represent all three of these generalized notions. Finally, we demonstrate the possibility of extending our logic to reasoning with multi-relational fuzzy contexts, in which the Boolean combinations of different fuzzy relations are allowed.
- Abstract（参考訳）: ファジィな形式的文脈を持つ確率論的推論のための二階重み付きモーダル論理を導入する。
論理の構文は古典的な必要条件($\Box$)と十分($\boxminus$)のモダリティに対応する2種類の重み付きモジュラー作用素を含み、その公式は可能性理論に基づいたファジィな形式的文脈で解釈される。
すべてのファジィ文脈モデルのクラスに関して、その公理化を \emph{sound} と呼ぶ。
さらに、論理学の必要性と十分性の断片は、全てのファジィ文脈モデルのクラスに関して個別に完全である。
論理の表現力は、いくつかの例で強調する。
形式的文脈は形式的概念解析(FCA)の基本構成であり、FCAにおける3つの主要な概念、すなわち形式的概念、オブジェクト指向概念、プロパティ指向概念をファジィ形式文脈における対応する$c$-cut概念に一般化する。
そして、我々の論理言語はこれらの一般化された概念の全てを表現することができることを示す。
最後に、異なるファジィ関係のブール結合が許される多関係ファジィ文脈の推論に論理を拡張できる可能性を示す。
関連論文リスト
- Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs) [1.0312968200748118]
本稿では,S4Fスタンプポイント論理と呼ばれる新しい形式論を提案する。
多視点、非単調なセマンティックコミットメントを表現できる。
論文 参考訳（メタデータ） (2025-11-13T16:14:23Z) - Learning to Reason via Mixture-of-Thought for Logical Reasoning [56.24256916896427]
Mixture-of-Thought (MoT) は、LLMが自然言語、コード、真理表の3つの相補的なモダリティにまたがる推論を可能にするフレームワークである。
MoT は,(1) 自己進化型 MoT トレーニング,(2) 3 つのモーダルの相乗効果を完全に活用してより良い予測を生成する MoT 推論,という2段階の設計を採用する。
論文 参考訳（メタデータ） (2025-05-21T17:59:54Z) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳（メタデータ） (2023-06-21T07:34:27Z) - MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。
推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。
この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文 参考訳（メタデータ） (2022-10-22T16:01:13Z) - Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文)
論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。
ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文 参考訳（メタデータ） (2022-07-04T14:38:49Z) - Quantification and Aggregation over Concepts of the Ontology [0.0]
いくつかのKRアプリケーションでは、ボキャブラリのシンボルによって形式的に表される概念の集合を定量化したいと論じる。
本稿では,このような抽象化をサポートする一階述語論理の拡張について述べる。
論文 参考訳（メタデータ） (2022-02-02T07:49:23Z) - A conditional, a fuzzy and a probabilistic interpretation of
self-organising maps [0.0]
記述論理の優先意味論と自己組織化マップとのリンクを確立する。
本研究では,SOMの論理的解釈に概念的マルチプレファレンスセマンティクスが利用できることを示した。
論文 参考訳（メタデータ） (2021-03-11T18:31:00Z) - Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。
文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
論文 参考訳（メタデータ） (2020-08-06T02:13:11Z) - Space of Reasons and Mathematical Model [8.475081627511166]
推論関係は私たちの概念の使用を支配します。
概念を理解するためには、意味のある空間に配置する必要がある。
重要な質問は: 言語の使用条件はどのように表現できるのか。
論文 参考訳（メタデータ） (2020-07-06T01:13:43Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。