論文の概要: Uniform and Modular Sequent Systems for Description Logics
- arxiv url: http://arxiv.org/abs/2206.09020v1
- Date: Fri, 17 Jun 2022 21:32:27 GMT
- ステータス: 処理完了
- システム内更新日: 2022-06-26 18:57:53.058229
- Title: Uniform and Modular Sequent Systems for Description Logics
- Title(参考訳): 記述論理のための一様およびモジュール列システム
- Authors: Tim Lyon and Jonas Karge
- Abstract要約: 本稿では,ALCを拡張した表現記述論理の逐次的構築を可能にするフレームワークを提案する。
我々のフレームワークは、幅広い共通記述論理を網羅するだけでなく、「ロールリレーショナル公理」と呼ばれる特別な公式を持つ記述論理の拡張のためのシーケンシャルシステムも得ることができる。
すべてのシークエント系は健全で完全であり、共通構造規則の高次許容性や高次規則の高次可逆性といった好ましい性質を持っている。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We introduce a framework that allows for the construction of sequent systems
for expressive description logics extending ALC. Our framework not only covers
a wide array of common description logics, but also allows for sequent systems
to be obtained for extensions of description logics with special formulae that
we call "role relational axioms." All sequent systems are sound, complete, and
possess favorable properties such as height-preserving admissibility of common
structural rules and height-preserving invertibility of rules.
- Abstract(参考訳): 本稿では alc を拡張した表現型記述論理のためのシークエントシステムの構築を可能にするフレームワークを提案する。
我々のフレームワークは、幅広い共通記述論理を網羅するだけでなく、「ロールリレーショナル公理」と呼ばれる特別な公式を持つ記述論理の拡張のための逐次システムも得ることができる。
すべてのシークエントシステムは健全で完全であり、共通の構造規則の許容度や規則の可逆性などの優れた性質を持っている。
関連論文リスト
- A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。
本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
論文 参考訳(メタデータ) (2024-05-10T14:13:21Z) - Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents [0.0]
本稿では,概念に基づくBeth Definability Properties (CBP) を確立するための構築的手法を提案する。
高い表現力を持つDL RIQをケーススタディとして、シークエント計算からインターポーラントをどのように計算できるかを示す。
これは、記述論理の文脈内で補間子と定義を計算するための最初のシーケントベースのアプローチである。
論文 参考訳(メタデータ) (2024-04-24T12:28:27Z) - Inferentialist Resource Semantics [48.65926948745294]
本稿では,リソースセマンティクスにおいて,推論が汎用的で表現力豊かなフレームワークを実現する方法を示す。
推論主義は、バンドルインプリケーションの論理のアサーションベースのアプローチをいかにシームレスに組み込むか。
この統合により、直感的で親しみやすい方法で、共有リソースと分離リソースの推論が可能になる。
論文 参考訳(メタデータ) (2024-02-14T14:54:36Z) - An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳(メタデータ) (2023-12-08T09:32:26Z) - The Lindstrom's Characterizability of Abstract Logic Systems for
Analytic Structures Based on Measures [0.0]
我々はリンドストロームの特徴化プログラムを無限論理系のクラスに拡張する。
特に、Hajekの積分論理は、新しいタイプのHajekの満足度を持つ抽象論理として再定義されている。
論文 参考訳(メタデータ) (2023-02-26T21:48:25Z) - Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文)
論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。
ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文 参考訳(メタデータ) (2022-07-04T14:38:49Z) - A General Framework for Modelling Conditional Reasoning -- Preliminary
Report [4.340338299803562]
ここでは、幅広い推論システムの定義を可能にする条件文の形式化を紹介し、検討する。
このフレームワークは論理ベースのKRにおいて、最も一般的な条件推論をカバーしている。
論文 参考訳(メタデータ) (2022-02-15T17:33:39Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳(メタデータ) (2021-10-18T10:45:59Z) - A conditional, a fuzzy and a probabilistic interpretation of
self-organising maps [0.0]
記述論理の優先意味論と自己組織化マップとのリンクを確立する。
本研究では,SOMの論理的解釈に概念的マルチプレファレンスセマンティクスが利用できることを示した。
論文 参考訳(メタデータ) (2021-03-11T18:31:00Z) - Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。
文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
論文 参考訳(メタデータ) (2020-08-06T02:13:11Z) - Reasoning about Typicality and Probabilities in Preferential Description
Logics [0.15749416770494704]
標準記述論理の非単調拡張である典型性の優先記述論理を、典型演算子Tを用いて記述する。
この拡張は、有理閉包の概念に対応する最小のモデル意味論に基づいている。
我々は、いわゆる財産相続問題の阻止を避けるために、合理的なクロージャの意味論と構成の強化について検討する。
論文 参考訳(メタデータ) (2020-04-20T14:50:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。