Fugu-MT 論文翻訳(概要): Description Logics with Abstraction and Refinement

論文の概要: Description Logics with Abstraction and Refinement

arxiv url: http://arxiv.org/abs/2306.03717v1
Date: Tue, 6 Jun 2023 14:27:03 GMT
ステータス: 処理完了
システム内更新日: 2023-06-07 15:03:53.617161
Title: Description Logics with Abstraction and Refinement
Title（参考訳）: 抽象と洗練を伴う記述論理
Authors: Carsten Lutz, Lukas Schulze
Abstract要約: 本稿では,抽象レベルが一級市民である記述論理(DL)の拡張を提案する。結果として生じるDLの系統の推論は決定可能であり、一見無害ないくつかのバリエーションは決定不可能であることが証明された。
参考スコア（独自算出の注目度）: 11.254421065104674
License: http://creativecommons.org/licenses/by-sa/4.0/
Abstract: Ontologies often require knowledge representation on multiple levels of abstraction, but description logics (DLs) are not well-equipped for supporting this. We propose an extension of DLs in which abstraction levels are first-class citizens and which provides explicit operators for the abstraction and refinement of concepts and roles across multiple abstraction levels, based on conjunctive queries. We prove that reasoning in the resulting family of DLs is decidable while several seemingly harmless variations turn out to be undecidable. We also pinpoint the precise complexity of our logics and several relevant fragments.
Abstract（参考訳）: オントロジは複数の抽象化レベルに関する知識表現を必要とすることが多いが、記述ロジック(DL)はそれをサポートするには不十分である。本稿では,抽象レベルが第一級市民であり,複数の抽象レベルにまたがる概念や役割の抽象化と洗練のための明示的な演算子を提供するDLの拡張を提案する。結果として生じるDLの系統の推論は決定可能であり、一見無害ないくつかのバリエーションは決定不可能であることが証明された。また、論理の正確な複雑さといくつかの関連する断片を指摘します。

関連論文リスト

Abstraction-of-Thought Makes Language Models Better Reasoners [79.72672444664376]
AoT(Abstraction-of-Thought)と呼ばれる新しい構造化推論形式を導入する。 AoTのユニークな点は、推論プロセス内での抽象化のさまざまなレベルに対する明示的な要件にある。提案するAoTコレクションは,AoT推論プロセスを用いた348kの高品質サンプルからなる汎用微調整データセットである。
論文参考訳（メタデータ） (2024-06-18T09:46:44Z)
AbsInstruct: Eliciting Abstraction Ability from LLMs through Explanation Tuning with Plausibility Estimation [60.40409210088717]
抽象化能力は人間の知性において不可欠であり、NLP研究における様々なタスクにも有用である。既存の研究によると、LLMは抽象能力に欠けており、その改善方法はまだ解明されていない。本稿では,命令チューニングによるLLMの抽象化能力を向上するフレームワークAbsInstructを設計する。
論文参考訳（メタデータ） (2024-02-16T12:47:11Z)
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。応用例としては、メタ理論的性質の形式的解析と検証がある。
論文参考訳（メタデータ） (2023-12-08T09:32:26Z)
AbsPyramid: Benchmarking the Abstraction Ability of Language Models with a Unified Entailment Graph [62.685920585838616]
抽象能力は人間の知性において必須であり、言語モデルでは未探索のままである。本稿では、抽象知識の221Kテキスト記述を統一したエンテーメントグラフであるAbsPyramidを提案する。
論文参考訳（メタデータ） (2023-11-15T18:11:23Z)
Logic of Differentiable Logics: Towards a Uniform Semantics of DL [1.1549572298362787]
論理的仕様を満たすためにニューラルネットワークを訓練する方法として、微分論理(DL)が提案されている。本稿では、微分可能論理学(LDL)と呼ばれるDLを定義するメタ言語を提案する。我々は,既存のDLの理論的特性を確立するためにLDLを使用し,ニューラルネットワークの検証において実験的な研究を行う。
論文参考訳（メタデータ） (2023-03-19T13:03:51Z)
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic [2.9005223064604073]
Standpoint Logicは、既存のKR言語向けのシンプルだが汎用的なマルチモーダル論理アドオンである。我々は、一階立ち位置論理のスタンドポイントフリーバージョンへのポリタイム変換を提供する。次に、OWL 2 DL言語に基づく非常に表現力豊かな記述論理 SROIQb_s に対する類似の翻訳を確立する。
論文参考訳（メタデータ） (2022-06-14T12:29:08Z)
MDP Abstraction with Successor Features [14.433551477386318]
本研究では,エージェントが状態や時間的抽象化を行う強化学習の文脈における抽象化について検討する。本研究では,後継機能に基づく新しい抽象スキームである後継抽象化を提案する。我々の後継抽象化は、異なる環境間で伝達可能なセマンティクスで抽象環境モデルを学習することを可能にする。
論文参考訳（メタデータ） (2021-10-18T11:35:08Z)
A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文参考訳（メタデータ） (2021-10-18T10:45:59Z)
SAT-Based Rigorous Explanations for Decision Lists [17.054229845836332]
決定リスト(DL)は、機械学習(ML)の分類問題のための幅広い用途を見つけます。解釈性はいくつかのdlにとって不可解な目標であると主張する。本稿では,dlsの計算説明は計算困難であることを示す。
論文参考訳（メタデータ） (2021-05-14T12:06:12Z)
Generating Instructions at Different Levels of Abstraction [61.70390291746106]
Minecraftで異なるレベルの抽象化で構築手順を生成する方法を示す。クラウドソーシングの評価は、抽象化レベルの選択がユーザにとって重要であることを示している。
論文参考訳（メタデータ） (2020-10-08T13:56:09Z)

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