Fugu-MT 論文翻訳(概要): Automated reasoning support for Standpoint-OWL 2

論文の概要: 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のスタンドポイント強化バージョンを、その平易な(古典的な)バージョンに翻訳することで機能する。既存の推論器は、さまざまな立場の推論に対する自動サポートを提供するために直接使用できる。

関連論文リスト

Take A Step Back: Rethinking the Two Stages in Visual Reasoning [57.16394309170051]
本稿では2段階の視点で視覚的推論を再考する。共有アナライザを使用しながら、異なるデータドメイン用の分離エンコーダによるシンボル化を実装する方が効率的である。提案する2段階のフレームワークは,様々な視覚的推論タスクにおいて,印象的な一般化を実現する。
論文参考訳（メタデータ） (2024-07-29T02:56:19Z)
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 [73.77088902676306]
論理的推論の文脈において,大規模言語モデル(LLM)の自己検証能力について詳しく検討する。本研究の主目的は,既存のLCMが誤った推論手順を正確に識別するのに苦労し,自己検証法の有効性を保証できないことにある。
論文参考訳（メタデータ） (2023-11-14T07:13:10Z)
Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic [19.476840373850653]
大規模言語モデルは、その推論手順が論理原理に制約されないため、幻覚を示す。記号論理に根ざした原理を活用する自己改善促進フレームワークであるLoT(Logical Thoughts)を提案する。算術,コモンセンス,記号,因果推論,社会問題など多種多様な領域における言語課題に対する実験的評価は,論理学による推論の強化の有効性を実証する。
論文参考訳（メタデータ） (2023-09-23T11:21:12Z)
Learning to Reason and Memorize with Self-Notes [51.17609489687686]
大規模言語モデルは多段階推論に苦しむことが示されている。本稿では,これらの問題を解決するための簡単な手法を提案する。
論文参考訳（メタデータ） (2023-05-01T14:02:48Z)
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)
Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis [0.0]
本稿では,議論的言説の深い多元論的論理解析へのアプローチを提案する。我々は古典的な高階論理に最先端の自動推論技術を用いる。
論文参考訳（メタデータ） (2020-07-02T11:07:53Z)

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