論文の概要: Fuzzy order-sorted feature logic

• arxiv url: http://arxiv.org/abs/2307.14669v1
• Date: Thu, 27 Jul 2023 07:47:54 GMT
• ステータス: 処理完了
• システム内更新日: 2023-07-28 15:18:59.829890
• Title: Fuzzy order-sorted feature logic
• Title（参考訳）: ファジィ順序ソート特徴論理
• Authors: Gian Carlo Milanese, Gabriella Pasi
• Abstract要約: Order-Sorted Feature (OSF) 論理は、関数記述型特徴記号と集合記述型ソート記号に基づく知識表現および推論言語である。 ファジィ集合間のザデの包含を一般化するファジィ仮定関係の柔軟な定義を与える。 2つのOSF項の最大下限を求める方法と、2つのOSF項間の仮定度を計算する方法を示す。
• 参考スコア（独自算出の注目度）: 2.2133187119466116
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Order-Sorted Feature (OSF) logic is a knowledge representation and reasoning language based on function-denoting feature symbols and set-denoting sort symbols ordered in a subsumption lattice. OSF logic allows the construction of record-like terms that represent classes of entities and that are themselves ordered in a subsumption relation. The unification algorithm for such structures provides an efficient calculus of type subsumption, which has been applied in computational linguistics and implemented in constraint logic programming languages such as LOGIN and LIFE and automated reasoners such as CEDAR. This work generalizes OSF logic to a fuzzy setting. We give a flexible definition of a fuzzy subsumption relation which generalizes Zadeh's inclusion between fuzzy sets. Based on this definition we define a fuzzy semantics of OSF logic where sort symbols and OSF terms denote fuzzy sets. We extend the subsumption relation to OSF terms and prove that it constitutes a fuzzy partial order with the property that two OSF terms are subsumed by one another in the crisp sense if and only if their subsumption degree is greater than 0. We show how to find the greatest lower bound of two OSF terms by unifying them and how to compute the subsumption degree between two OSF terms, and we provide the complexity of these operations.
• Abstract（参考訳）: Order-Sorted Feature (OSF) 論理は、関数記述型特徴記号と集合記述型ソート記号に基づく知識表現および推論言語である。 osf論理は、エンティティのクラスを表現し、それ自身を仮定関係で順序付けするレコードライクな用語の構成を可能にする。 このような構造に対する統一アルゴリズムは、計算言語学に応用され、LOGINやLIFEのような制約論理プログラミング言語やCEDARのような自動推論言語で実装された、型置換の効率的な計算を提供する。 この作業はOSFロジックをファジィ設定に一般化する。 ファジィ集合間のザデの包含を一般化するファジィ仮定関係の柔軟な定義を与える。 この定義に基づいて、ソートシンボルとOSF項がファジィ集合を表すOSF論理のファジィ意味論を定義する。 我々は OSF 項に対する仮定関係を拡張し、それが 2 つの OSF 項が crisp の意味において互いに仮定される性質を持つファジィ部分順序を構成することを証明する。 2つのOSF項の最大下界を求める方法と、2つのOSF項間の仮定度を計算する方法を示し、これらの演算の複雑さを提供する。

関連論文リスト

• Description Logics Go Second-Order -- Extending EL with Universally Quantified Concepts [0.0]
  私たちは記述ロジックの拡張に$mathcalEL$をフォーカスします。 拡張の有用な断片について、異なる意味論による結論が一致することを示す。 わずかに小さいが、それでも有用である断片のために、私たちは拡張の決定可能性を示すことができました。
  論文  参考訳（メタデータ） (2023-08-16T09:37:38Z)
• Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension [80.99865844249106]
  本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。 具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
  論文  参考訳（メタデータ） (2023-06-21T07:34:27Z)
• Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming [11.215352918313577]
  近似不動点理論(英: Approximation Fixpoint theory)は、非単調論理の意味論を研究するための枠組みである。 AFTは、不確定な情報を扱うことができる非決定論的構造を扱うよう拡張する。 この一般化の適用性と有用性は、解法論理プログラミングの文脈で説明される。
  論文  参考訳（メタデータ） (2022-11-30T18:58:32Z)
• Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
  パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。 ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
  論文  参考訳（メタデータ） (2022-07-04T14:38:49Z)
• Reasoning in the Description Logic ALC under Category Semantics [0.0]
  本稿では、一般的な TBox を用いて記述論理 $mathcalALC$ の通常の集合論的意味論を分類言語を用いて再構成する。 この設定では、$mathcalALC$の概念はオブジェクトとして、概念の仮定は矢印として、メンバシップはオブジェクトとカテゴリの矢印上の論理量化子として表現される。
  論文  参考訳（メタデータ） (2022-05-10T14:03:44Z)
• Topological and Algebraic Structures of the Space of Atanassov's Intuitionistic Fuzzy Values [8.518591988944358]
  直観的ファジィ値(IFV)の空間をスコア関数と精度関数に基づいて線形次数で表し、類似度関数と精度関数に基づいて線形次数によって誘導されるものと同じ代数構造を持つことを示す。 スコア関数と精度関数に基づく線形順序によるIFVの新しい演算子を導入することにより、IFV上の強い否定であることを示す。
  論文  参考訳（メタデータ） (2021-11-17T06:43:02Z)
• Refining Labelled Systems for Modal and Constructive Logics with Applications [0.0]
  この論文は、モーダル論理や構成論理のセマンティクスを「経済的な」証明システムに変換する手段として機能する。 精製法は、ラベル付きおよびネストされたシーケント計算の2つの証明理論パラダイムを結合する。 導入された洗練されたラベル付き電卓は、デオン性STIT論理に対する最初の証明探索アルゴリズムを提供するために使用される。
  論文  参考訳（メタデータ） (2021-07-30T08:27:15Z)
• Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text [65.24325614642223]
  論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。 このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。 本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
  論文  参考訳（メタデータ） (2021-05-08T10:09:36Z)
• Superposition with Lambdas [59.87497175616048]
  匿名関数を含むがブール関数を除いた拡張多型高階論理のクラスフラグメントに対する重ね合わせ計算を設計する。 推論ルールは$betaeta$-equivalence class of $lambda$-termsで動作し、難解な完全性を達成するために高階統一に依存する。
  論文  参考訳（メタデータ） (2021-01-31T13:53:17Z)
• Finite-Function-Encoding Quantum States [52.77024349608834]
  任意の$d$値論理関数を符号化する有限関数符号化(FFE)を導入する。 それらの構造的特性について検討する。
  論文  参考訳（メタデータ） (2020-12-01T13:53:23Z)
• Hierarchical Poset Decoding for Compositional Generalization in Language [52.13611501363484]
  出力が部分的に順序付けられた集合(命題)である構造化予測タスクとして人間の言語理解を形式化する。 現在のエンコーダ・デコーダアーキテクチャは意味論のポーズ構造を適切に考慮していない。 本稿では,言語における合成一般化のための新しい階層型ポーズデコーディングパラダイムを提案する。
  論文  参考訳（メタデータ） (2020-10-15T14:34:26Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。