論文の概要: 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と呼ばれる記述論理証明を探索する対話型システムを提案する。
これらの証明を計算するのに使用される手法をシグネチャベースの証明凝縮という特徴と合わせて記述する。
さらに,実際のオントロジーを用いて生成証明の品質を評価する。
関連論文リスト
- Efficient and Universal Merkle Tree Inclusion Proofs via OR Aggregation [27.541105686358378]
本稿では,メルクル木包摂証明のためのOR論理に基づく新しい証明集約手法を提案する。
木内の葉の数に依存しない証明サイズを実現し、有効な葉のハッシュ1つを用いて検証を行う。
提案手法は,ゼロ知識証明システムのスケーラビリティ,効率,柔軟性を著しく向上させる可能性がある。
論文 参考訳（メタデータ） (2024-05-13T17:15:38Z) - A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。
本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
論文 参考訳（メタデータ） (2024-05-10T14:13:21Z) - Inferentialist Resource Semantics [48.65926948745294]
本稿では,リソースセマンティクスにおいて,推論が汎用的で表現力豊かなフレームワークを実現する方法を示す。
推論主義は、バンドルインプリケーションの論理のアサーションベースのアプローチをいかにシームレスに組み込むか。
この統合により、直感的で親しみやすい方法で、共有リソースと分離リソースの推論が可能になる。
論文 参考訳（メタデータ） (2024-02-14T14:54:36Z) - 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) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。