論文の概要: Reasoning about Typicality and Probabilities in Preferential Description
Logics
- arxiv url: http://arxiv.org/abs/2004.09507v2
- Date: Thu, 23 Apr 2020 16:15:31 GMT
- ステータス: 処理完了
- システム内更新日: 2022-12-11 18:37:14.425440
- Title: Reasoning about Typicality and Probabilities in Preferential Description
Logics
- Title(参考訳): 述語論理における典型性と確率に関する考察
- Authors: Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti,
Gian Luca Pozzato
- Abstract要約: 標準記述論理の非単調拡張である典型性の優先記述論理を、典型演算子Tを用いて記述する。
この拡張は、有理閉包の概念に対応する最小のモデル意味論に基づいている。
我々は、いわゆる財産相続問題の阻止を避けるために、合理的なクロージャの意味論と構成の強化について検討する。
- 参考スコア(独自算出の注目度): 0.15749416770494704
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In this work we describe preferential Description Logics of typicality, a
nonmonotonic extension of standard Description Logics by means of a typicality
operator T allowing to extend a knowledge base with inclusions of the form T(C)
v D, whose intuitive meaning is that normally/typically Cs are also Ds. This
extension is based on a minimal model semantics corresponding to a notion of
rational closure, built upon preferential models. We recall the basic concepts
underlying preferential Description Logics. We also present two extensions of
the preferential semantics: on the one hand, we consider probabilistic
extensions, based on a distributed semantics that is suitable for tackling the
problem of commonsense concept combination, on the other hand, we consider
other strengthening of the rational closure semantics and construction to avoid
the so-called blocking of property inheritance problem.
- Abstract(参考訳): 本論文では,標準記述論理の非単調拡張として,標準記述論理を典型的作用素 t を用いて記述し,知識ベースを t(c) v d の形に包含して拡張し,その直感的意味から正規/定型的 cs も ds であることを示す。
この拡張は、優先モデルに基づく有理閉包の概念に対応する最小限のモデル意味論に基づいている。
我々は優先記述論理の基礎となる基本的な概念を思い出す。
また,2つの優先的セマンティクスの拡張について述べる。一方,コモンセンスの概念の組み合わせの問題に対処する分散セマンティクスをベースとした確率的拡張について考察する一方で,有理的クロージャのセマンティクスの強化や,いわゆる財産相続問題の阻止を回避する構築について考察する。
関連論文リスト
- A Primer for Preferential Non-Monotonic Propositional Team Logics [0.0]
チームベースの命題論理は、自然に累積的な非単調な含意関係をもたらすことを示す。
チームセマンティクスにおける解離の非古典的解釈に動機付けられて、命題依存論理の優先モデルに対して、正確な特徴を与える。
論文 参考訳(メタデータ) (2024-05-11T09:53:15Z) - A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。
本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
論文 参考訳(メタデータ) (2024-05-10T14:13:21Z) - Description Logics Go Second-Order -- Extending EL with Universally
Quantified Concepts [0.0]
私たちは記述ロジックの拡張に$mathcalEL$をフォーカスします。
拡張の有用な断片について、異なる意味論による結論が一致することを示す。
わずかに小さいが、それでも有用である断片のために、私たちは拡張の決定可能性を示すことができました。
論文 参考訳(メタデータ) (2023-08-16T09:37:38Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳(メタデータ) (2023-07-28T11:26:26Z) - Logical Satisfiability of Counterfactuals for Faithful Explanations in
NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。
これは、説明に表される論理述語に基づいて、反実仮説を生成する。
そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文 参考訳(メタデータ) (2022-05-25T03:40:59Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳(メタデータ) (2021-10-18T10:45:59Z) - A Description Logic for Analogical Reasoning [28.259681405091666]
我々は,類推による推論に依拠する,妥当な知識の欠如を推測するメカニズムを提案する。
これは、記述論理の設定の中でアナログ推論を研究する最初の論文です。
論文 参考訳(メタデータ) (2021-05-10T19:06:07Z) - A conditional, a fuzzy and a probabilistic interpretation of
self-organising maps [0.0]
記述論理の優先意味論と自己組織化マップとのリンクを確立する。
本研究では,SOMの論理的解釈に概念的マルチプレファレンスセマンティクスが利用できることを示した。
論文 参考訳(メタデータ) (2021-03-11T18:31:00Z) - Measuring Association Between Labels and Free-Text Rationales [60.58672852655487]
解釈可能なNLPでは、説明された例に対するモデルの意思決定プロセスを反映した忠実な理性が必要です。
情報抽出型タスクに対する忠実な抽出合理化のための既存のモデルであるパイプラインは、自由テキスト合理化を必要とするタスクに確実に拡張されないことを示す。
我々は、信頼が確立されていない自由文合理化のための、広く使われている高性能モデルのクラスである、共同予測と合理化のモデルに目を向ける。
論文 参考訳(メタデータ) (2020-10-24T03:40:56Z) - On a plausible concept-wise multipreference semantics and its relations
with self-organising maps [0.0]
我々は,この提案がKLMなどの望ましい性質を満足し,溺れの問題を回避することを主張する。
我々は、自己組織化マップの論理的意味論を開発することにより、概念的多言語意味論の妥当性を動機づける。
論文 参考訳(メタデータ) (2020-08-30T21:06:06Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳(メタデータ) (2020-06-23T16:55:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。