論文の概要: Evonne: Interactive Proof Visualization for Description Logics (System
Description) -- Extended Version
- arxiv url: http://arxiv.org/abs/2205.09583v1
- Date: Thu, 19 May 2022 14:24:40 GMT
- ステータス: 処理完了
- システム内更新日: 2022-05-20 21:58:01.928748
- Title: Evonne: Interactive Proof Visualization for Description Logics (System
Description) -- Extended Version
- Title(参考訳): Evonne: 記述論理(システム記述)のためのインタラクティブな証明可視化 - 拡張版
- Authors: Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt,
Patrick Koopmann, Juli\'an M\'endez
- Abstract要約: 記述論理(DL)に関する説明は、大きなオントロジーの維持に重要な支援を提供する。
本稿では,記述論理の証明を探索するインタラクティブな機能であるEvonneについて述べる。
- 参考スコア(独自算出の注目度): 35.068973868297114
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Explanations for description logic (DL) entailments provide important support
for the maintenance of large ontologies. The "justifications" usually employed
for this purpose in ontology editors pinpoint the parts of the ontology
responsible for a given entailment. Proofs for entailments make the
intermediate reasoning steps explicit, and thus explain how a consequence can
actually be derived. We present an interactive system for exploring description
logic proofs, called Evonne, which visualizes proofs of consequences for
ontologies written in expressive DLs. We describe the methods used for
computing those proofs, together with a feature called signature-based proof
condensation. Moreover, we evaluate the quality of generated proofs using real
ontologies.
- Abstract(参考訳): 記述論理(DL)に関する説明は、大きなオントロジーの維持に重要な支援を提供する。
オントロジーの編集者は、通常、この目的のために用いられる「正当性」は、特定の内容に責任を負うオントロジーの一部を特定する。
補足の証明は中間的推論ステップを明確にし、その結果を実際に導出する方法を説明する。
本稿では,表現型DLで記述されたオントロジーの結果の証明を可視化するEvonneと呼ばれる記述論理証明を探索する対話型システムを提案する。
これらの証明を計算するのに使用される手法をシグネチャベースの証明凝縮という特徴と合わせて記述する。
さらに,実際のオントロジーを用いて生成証明の品質を評価する。
関連論文リスト
- Logic-Scaffolding: Personalized Aspect-Instructed Recommendation
Explanation Generation using LLMs [20.446594942586604]
我々は、アスペクトベースの説明とチェーン・オブ・思想のアイデアを組み合わせて、中間的推論ステップを通じて説明を生成するLogic-Scaffoldingというフレームワークを提案する。
本稿では,フレームワーク構築の経験を共有し,その結果を探索するためのインタラクティブなデモンストレーションを行う。
論文 参考訳(メタデータ) (2023-12-22T00:30:10Z) - An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳(メタデータ) (2023-12-08T09:32:26Z) - MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。
推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。
この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文 参考訳(メタデータ) (2022-10-22T16:01:13Z) - On the Eve of True Explainability for OWL Ontologies: Description Logic
Proofs with Evee and Evonne (Extended Version) [13.799233438409]
本稿では、ALCHまで記述ロジックの証明を計算するためのJavaライブラリであるEVEE-LIBSと、Prot'eにそれらの証明を表示するためのProt'eプラグインのコレクションであるEVEE-PROTEGEを紹介する。
また、計算された証明を表示・操作するための、より高度なスタンドアロンアプリケーションであるEVONNEの最新バージョンを垣間見ることができる。
論文 参考訳(メタデータ) (2022-06-15T17:59:46Z) - Explainability in Process Outcome Prediction: Guidelines to Obtain
Interpretable and Faithful Models [77.34726150561087]
本稿では、プロセス結果予測の分野における説明可能性モデルと説明可能性モデルの忠実性を通して、説明可能性を定義する。
本稿では,イベントログの仕様に基づいて適切なモデルを選択することのできる,X-MOPというガイドラインのセットを提案する。
論文 参考訳(メタデータ) (2022-03-30T05:59:50Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳(メタデータ) (2021-10-18T10:45:59Z) - From Philosophy to Interfaces: an Explanatory Method and a Tool Inspired
by Achinstein's Theory of Explanation [3.04585143845864]
人工知能(AI)における新しい説明法を提案する。
我々は、AIアルゴリズムのパイプラインに基づいた対話型説明を生成するための新しいアプローチを示す。
我々はIBMによるよく知られたXAIによる信用承認システムで仮説を検証した。
論文 参考訳(メタデータ) (2021-09-09T11:10:03Z) - Local Explanation of Dialogue Response Generation [77.68077106724522]
反応生成の局所的説明(LERG)は、生成モデルの推論過程に関する洞察を得るために提案される。
LERGは、シーケンス予測を人間の応答の不確実性推定とみなし、入力を摂動させ、人間の応答に対する確実性の変化を計算することによって説明を作成する。
提案手法は, 提案手法を改良し, 提案手法の4.4~12.8%を改良した。
論文 参考訳(メタデータ) (2021-06-11T17:58:36Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。