論文の概要: Automated reasoning support for Standpoint-OWL 2
- arxiv url: http://arxiv.org/abs/2305.00559v1
- Date: Sun, 30 Apr 2023 19:50:14 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-02 14:37:03.144479
- Title: Automated reasoning support for Standpoint-OWL 2
- Title(参考訳): Standpoint-OWL 2の自動推論サポート
- Authors: Florian Emmrich, Luc\'ia G\'omez \'Alvarez and Hannes Strass
- Abstract要約: このツールは、記述論理SROIQのスタンドポイント強化バージョンを、その平易な(古典的な)バージョンに翻訳することで機能する。
既存のアナライザを直接使用して,さまざまな視点を推論するための自動サポートを提供することも可能だ。
- 参考スコア(独自算出の注目度): 1.160208922584163
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We present a tool for modelling and reasoning with knowledge from various
diverse (and possibly conflicting) viewpoints. The theoretical underpinnings
are provided by enhancing base logics by standpoints according to a recently
introduced formalism that we also recall. The tool works by translating the
standpoint-enhanced version of the description logic SROIQ to its plain (i.e.
classical) version. Existing reasoners can then be directly used to provide
automated support for reasoning about diverse standpoints.
- Abstract(参考訳): 多様な(そしておそらく矛盾する)視点から知識をモデリングし、推論するためのツールを提案する。
理論的基盤は、最近導入された形式主義に則って、立場による基礎論理の強化によって提供される。
このツールは、記述論理SROIQのスタンドポイント強化バージョンを、その平易な(古典的な)バージョンに翻訳することで機能する。
既存の推論器は、さまざまな立場の推論に対する自動サポートを提供するために直接使用できる。
関連論文リスト
- Automated legal reasoning with discretion to act using s(LAW) [0.294944680995069]
倫理的および法的懸念は、自動化された推論者が人間の理解可能な言葉で正当化する必要がある。
パターンのセットに従って曖昧な概念をモデル化するために、ASPを述語するためのトップダウン実行モデルであるs(CASP)を使うことを提案する。
我々は、s(LAW)と呼ばれるフレームワークを実装して、適用可能な法律をモデル化、理由付け、正当化し、代表的なユースケースを翻訳(およびベンチマーク)することでそれを検証しました。
論文 参考訳(メタデータ) (2024-01-25T21:11:08Z) - An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳(メタデータ) (2023-12-08T09:32:26Z) - A Closer Look at the Self-Verification Abilities of Large Language
Models in Logical Reasoning [79.14479982371984]
論理的推論の文脈において,大規模言語モデル(LLM)の自己検証能力について詳しく検討する。
本研究の主目的は,既存のLCMが誤った推論手順を正確に識別するのに苦労し,自己検証法の有効性を保証できないことにある。
論文 参考訳(メタデータ) (2023-11-14T07:13:10Z) - Learning to Reason and Memorize with Self-Notes [51.17609489687686]
大規模言語モデルは多段階推論に苦しむことが示されている。
本稿では,これらの問題を解決するための簡単な手法を提案する。
論文 参考訳(メタデータ) (2023-05-01T14:02:48Z) - Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文)
論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。
ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文 参考訳(メタデータ) (2022-07-04T14:38:49Z) - 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) - An Extensible Logic Embedding Tool for Lightweight Non-Classical
Reasoning [91.3755431537592]
論理埋め込みツールは、古典的でない推論問題を古典的な高階論理にプロシージャエンコーディングする。
推論ターゲットとして、多くの非古典論理をサポートすることができる。
論文 参考訳(メタデータ) (2022-03-23T12:08:51Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳(メタデータ) (2021-10-18T10:45:59Z) - Public Announcement Logic in HOL [0.0]
関連する共通知識を持つ公開告知論理のための浅層セマンティック埋め込みについて述べる。
この埋め込みにより、古典的な高階論理に対するオフ・ザ・シェルフ定理証明を用いて、この論理を初めて自動化することができる。
論文 参考訳(メタデータ) (2020-10-02T06:46:02Z) - Higher-order Logic as Lingua Franca -- Integrating Argumentative
Discourse and Deep Logical Analysis [0.0]
本稿では,議論的言説の深い多元論的論理解析へのアプローチを提案する。
我々は古典的な高階論理に最先端の自動推論技術を用いる。
論文 参考訳(メタデータ) (2020-07-02T11:07:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。