論文の概要: Fuzzy Lattice-based Description Logic

• arxiv url: http://arxiv.org/abs/2506.05833v1
• Date: Fri, 06 Jun 2025 07:57:54 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-06-09 21:34:56.762547
• Title: Fuzzy Lattice-based Description Logic
• Title（参考訳）: ファジィ格子に基づく記述論理
• Authors: Yiwen Ding, Krishna Manoorkar,
• Abstract要約: 本稿では,多値正規分布論理 a.k.a. many-valued LE-logic を用いた記述論理を提案する。 この記述ロジックは、ファジィな形式的文脈の形式的枠組みにおける知識の表現と推論に使用することができる。 LE-FALC ABoxesの整合性をチェックするための,完全かつ音時決定手順を提供する。
• 参考スコア（独自算出の注目度）: 1.509090088899154
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Recently, description logic LE-ALC was introduced for reasoning in the semantic environment of enriched formal contexts, and a polynomial-time tableaux algorithm was developed to check the consistency of knowledge bases with acyclic TBoxes. In this work, we introduce a fuzzy generalization of LE-ALC called LE-FALC which provides a description logic counterpart of many-valued normal non-distributive logic a.k.a. many-valued LE-logic. This description logic can be used to represent and reason about knowledge in the formal framework of fuzzy formal contexts and fuzzy formal concepts. We provide a tableaux algorithm that provides a complete and sound polynomial-time decision procedure to check the consistency of LE-FALC ABoxes. As a result, we also obtain an exponential-time decision procedure for checking the consistency of LE-FALC with acyclic TBoxes by unraveling.
• Abstract（参考訳）: 近年、リッチな形式文脈のセマンティック環境における推論のための記述論理LE-ALCを導入し、非循環的TBoxによる知識ベースとの整合性を確認するために多項式時テーブルローアルゴリズムを開発した。 本研究では,LE-ALC のファジィ一般化 LE-FALC を導入し,多値正規分布論理 a.k.a. 多値LE-logic に代えて記述論理を提供する。 この記述ロジックは、ファジィな形式的文脈とファジィな形式的概念の形式的枠組みにおける知識の表現と推論に使用することができる。 LE-FALC ABoxesの整合性をチェックするための完全かつ健全な多項式時間決定手順を提供する。 その結果, LE-FALCと非巡回的TBoxとの整合性を確認するための指数時間決定法が得られた。

関連論文リスト

• On the Logical Content of Logic Programs [0.0]
  本稿では,プログラムが知っていることを説明するサポートの関係を定義することで,論理プログラミング(LP)の新たな視点を紹介する。 結果は、証明理論のセマンティクスにおける基本拡張セマンティクスの考え方を用いて定式化される。 提案手法は,LPの論理的基礎に関する新たな知見を提供し,知識表現や自動推論,形式的検証などに応用できる可能性がある。
  論文  参考訳（メタデータ） (2025-03-07T11:58:08Z)
• Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York [0.30693357740321775]
  本稿では,ニューヨーク州における地主訴訟の分析を自動化するための新しいアプローチとシステムであるLogicLeaseを提案する。 LogicLeaseは、ケース記述を分析し、関連するすべての法律を引用することによって、関連する法的要件の遵守を決定する。 我々は、LogicLeaseの精度、効率、堅牢性を一連のテストで評価し、100%の精度と平均処理時間2.57秒を実現した。
  論文  参考訳（メタデータ） (2025-02-13T11:45:38Z)
• Logic Agent: Enhancing Validity with Logic Rule Invocation [24.815341366820753]
  Chain-of-Thoughtプロンプトは、推論タスク中に言語モデルの推論能力を増強するための重要なテクニックとして現れている。 本稿では,大規模言語モデルにおける推論プロセスの有効性向上を目的としたエージェントベースのフレームワークであるLogic Agent(LA)を紹介する。
  論文  参考訳（メタデータ） (2024-04-28T10:02:28Z)
• Can LLMs Reason with Rules? Logic Scaffolding for Stress-Testing and Improving LLMs [87.34281749422756]
  大規模言語モデル(LLM)は、様々な推論タスクにおいて、印象的な人間的なパフォーマンスを実現している。 しかし、その根底にある推論規則の熟達性は、人間の能力に欠ける。 本稿では,推論ルールベースであるULogicを構築するための,推論ルール生成フレームワークを提案する。
  論文  参考訳（メタデータ） (2024-02-18T03:38:51Z)
• Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning [101.26814728062065]
  大規模言語モデル(LLM)は人間のような推論能力を示しているが、それでも複雑な論理的問題に悩まされている。 本稿では,論理問題の解法を改善するために,LLMとシンボリックソルバを統合した新しいフレームワークであるLogic-LMを紹介する。
  論文  参考訳（メタデータ） (2023-05-20T22:25:38Z)
• Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version) [72.38188258853155]
  有限トレース(LTLf)上の線形時間論理について検討する。 命題の文字は任意の理論で解釈された一階述語式に置き換えられる。 Satisfiability Modulo Theories (LTLfMT) と呼ばれる結果の論理は半決定可能である。
  論文  参考訳（メタデータ） (2022-04-28T17:57:33Z)
• A Rational Entailment for Expressive Description Logics via Description Logic Programs [3.198144010381572]
  我々は、表現的記述論理(DL)のための合理的なエンテーメントのモデル化方法を示す。 非単調なDL知識ベースを記述論理プログラム(dlプログラム)にコンパイルする。
  論文  参考訳（メタデータ） (2021-06-28T14:35:42Z)
• Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text [65.24325614642223]
  論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。 このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。 本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
  論文  参考訳（メタデータ） (2021-05-08T10:09:36Z)

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

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