論文の概要: An ASP approach for reasoning on neural networks under a finitely
many-valued semantics for weighted conditional knowledge bases
- arxiv url: http://arxiv.org/abs/2202.01123v1
- Date: Wed, 2 Feb 2022 16:30:28 GMT
- ステータス: 処理完了
- システム内更新日: 2022-02-03 14:59:33.589240
- Title: An ASP approach for reasoning on neural networks under a finitely
many-valued semantics for weighted conditional knowledge bases
- Title(参考訳): 重み付き条件付き知識ベースのための有限多値意味論に基づくニューラルネットワークの推論のためのaspアプローチ
- Authors: Laura Giordano and Daniele Theseider Dupr\'e
- Abstract要約: 有限値の場合の典型性を考慮した条件付きALC知識ベースを考察する。
ASP と "asprin" を概念的マルチ参照の推論に利用しています。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Weighted knowledge bases for description logics with typicality have been
recently considered under a "concept-wise" multipreference semantics (in both
the two-valued and fuzzy case), as the basis of a logical semantics of
MultiLayer Perceptrons (MLPs). In this paper we consider weighted conditional
ALC knowledge bases with typicality in the finitely many-valued case, through
three different semantic constructions, based on coherent, faithful and
phi-coherent interpretations. For the boolean fragment LC of ALC we exploit ASP
and "asprin" for reasoning with the concept-wise multipreference entailment
under a phi-coherent semantics, suitable to characterize the stationary states
of MLPs. As a proof of concept, we experiment the proposed approach for
checking properties of trained MLPs.
- Abstract(参考訳): 近年,多層パーセプトロン(MLP)の論理的意味論の基礎として,記述論理の重み付き知識ベースを概念的マルチ参照意味論(二値・ファジィの両方の場合)として考察している。
本稿では, 有限値の場合の典型性を有する重み付き条件付きALC知識ベースを, コヒーレント, 忠実, フィコヒーレントな解釈に基づく3つの意味構造を通して考察する。
ALC のブールフラグメントLC は ASP と "asprin" を phi-コヒーレントなセマンティクスの下での概念的多参照関係の推論に利用し, MLP の定常状態の特徴付けに適している。
概念実証として,訓練済みMPPの特性チェックのための提案手法を実験した。
関連論文リスト
- A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。
本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
論文 参考訳(メタデータ) (2024-05-10T14:13:21Z) - ConcEPT: Concept-Enhanced Pre-Training for Language Models [57.778895980999124]
ConcEPTは、概念知識を事前訓練された言語モデルに注入することを目的としている。
これは、事前訓練されたコンテキストで言及されたエンティティの概念を予測するために、外部エンティティの概念予測を利用する。
実験の結果,ConcEPTは概念強化事前学習により概念知識を向上することがわかった。
論文 参考訳(メタデータ) (2024-01-11T05:05:01Z) - An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳(メタデータ) (2023-12-08T09:32:26Z) - Interpreting Pretrained Language Models via Concept Bottlenecks [55.47515772358389]
事前訓練された言語モデル(PLM)は、様々な自然言語処理タスクにおいて大きな進歩を遂げてきた。
ブラックボックスの性質による解釈可能性の欠如は、責任ある実装に課題をもたらす。
本研究では,人間にとって理解しやすい高レベルで有意義な概念を用いて,PLMを解釈する新しい手法を提案する。
論文 参考訳(メタデータ) (2023-11-08T20:41:18Z) - A preferential interpretation of MultiLayer Perceptrons in a conditional
logic with typicality [2.3103579794296736]
典型性を持つ単純な記述論理の重み付き知識ベースは、(多くの価値を持つ)概念的なマルチ参照セマンティクスに基づいて検討される。
セマンティクスは、MultiLayer Perceptrons(MLP)の優先的な解釈を提供するために使用される
モデルチェックとentailmentベースのアプローチがLayersの条件特性の検証に活用される。
論文 参考訳(メタデータ) (2023-04-29T17:15:36Z) - Synergies between Disentanglement and Sparsity: Generalization and
Identifiability in Multi-Task Learning [79.83792914684985]
我々は,最大スパース基底予測器が不整合表現をもたらす条件を提供する新しい識別可能性の結果を証明した。
この理論的な結果から,両レベル最適化問題に基づくアンタングル表現学習の実践的アプローチを提案する。
論文 参考訳(メタデータ) (2022-11-26T21:02:09Z) - Guiding the PLMs with Semantic Anchors as Intermediate Supervision:
Towards Interpretable Semantic Parsing [57.11806632758607]
本稿では,既存の事前学習言語モデルを階層型デコーダネットワークに組み込むことを提案する。
第一原理構造をセマンティックアンカーとすることで、2つの新しい中間管理タスクを提案する。
いくつかのセマンティック解析ベンチマークで集中的な実験を行い、我々のアプローチがベースラインを一貫して上回ることを示す。
論文 参考訳(メタデータ) (2022-10-04T07:27:29Z) - From Weighted Conditionals of Multilayer Perceptrons to a Gradual
Argumentation Semantics [0.0]
ファジィなマルチ参照セマンティクスは、最近、重み付けされた条件付き知識ベースに対して提案され、多層パーセプトロンの論理的セマンティクスの開発に利用されている。
このセマンティクスは、段階的なセマンティクスのファミリーに関連する、段階的な議論セマンティクスを示唆している。
論文 参考訳(メタデータ) (2021-10-07T17:33:10Z) - Weighted defeasible knowledge bases and a multipreference semantics for
a deep neural network model [0.0]
知識表現における難解な推論のための多項的意味論とディープニューラルネットワークモデルとの関係を検討する。
記述論理のための重み付き知識ベースは「概念的」なマルチプレファレンスセマンティクスの下で考慮される。
論文 参考訳(メタデータ) (2020-12-24T19:04:51Z) - On a plausible concept-wise multipreference semantics and its relations
with self-organising maps [0.0]
我々は,この提案がKLMなどの望ましい性質を満足し,溺れの問題を回避することを主張する。
我々は、自己組織化マップの論理的意味論を開発することにより、概念的多言語意味論の妥当性を動機づける。
論文 参考訳(メタデータ) (2020-08-30T21:06:06Z) - An ASP approach for reasoning in a concept-aware multipreferential
lightweight DL [0.0]
我々は、記述論理の典型性を扱うための多目的意味論を意識した概念を開発する。
概念を意識したマルチ参照セマンティクスの構築は、定性的嗜好のためのBrewkaのフレームワークに関連している。
論文 参考訳(メタデータ) (2020-06-08T07:15:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。