論文の概要: Epistemic Logic Programs: a study of some properties
- arxiv url: http://arxiv.org/abs/2309.16344v1
- Date: Thu, 28 Sep 2023 11:08:37 GMT
- ステータス: 処理完了
- システム内更新日: 2023-09-29 14:59:48.103167
- Title: Epistemic Logic Programs: a study of some properties
- Title（参考訳）: 疫学論理プログラム:いくつかの性質の研究
- Authors: Stefania Costantini, Andrea Formisano
- Abstract要約: Epistemic Logic Programs (ELPs) は、Answer Set Programming (ASP) をエピステミック演算子に拡張する。
最近の研究は、ELPのセマンティックスで満たすべきセマンティックな特性を導入している。
ボトムアップからトップダウンのアプローチから分割へと移行し、視点を変える可能性を分析する。
- 参考スコア（独自算出の注目度）: 4.459996749171579
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Epistemic Logic Programs (ELPs), extend Answer Set Programming (ASP) with
epistemic operators. The semantics of such programs is provided in terms of
world views, which are sets of belief sets, i.e., syntactically, sets of sets
of atoms. Different semantic approaches propose different characterizations of
world views. Recent work has introduced semantic properties that should be met
by any semantics for ELPs, like the Epistemic Splitting Property, that, if
satisfied, allows to modularly compute world views in a bottom-up fashion,
analogously to ``traditional'' ASP. We analyze the possibility of changing the
perspective, shifting from a bottom-up to a top-down approach to splitting. We
propose a basic top-down approach, which we prove to be equivalent to the
bottom-up one. We then propose an extended approach, where our new definition:
(i) is provably applicable to many of the existing semantics; (ii) operates
similarly to ``traditional'' ASP; (iii) provably coincides under any semantics
with the bottom-up notion of splitting at least on the class of Epistemically
Stratified Programs (which are, intuitively, those where the use of epistemic
operators is stratified); (iv) better adheres to common ASP programming
methodology.
- Abstract（参考訳）: Epistemic Logic Programs (ELPs) では、Answer Set Programming (ASP) をエピステミック演算子で拡張する。
このようなプログラムのセマンティクスは世界観の観点で提供され、これは信念集合の集合、すなわち構文上は原子の集合の集合である。
異なるセマンティックアプローチは、世界観の異なる特徴付けを提案する。
最近の研究では、認識的分割プロパティのようなelpの任意のセマンティクスで満たされるべきセマンティクスプロパティを導入し、もし満足すれば、‘従来の’asp.netと似たボトムアップ方式でワールドビューをモジュール的に計算できるようになっている。
ボトムアップからトップダウンのアプローチから分割へと移行し、視点を変える可能性を分析する。
我々は,ボトムアップ方式と同等の基本的なトップダウン方式を提案する。
次に、我々の新しい定義である拡張アプローチを提案する。
i) 既存の意味論の多くに適用可能であること。
(ii) `` traditional'' asp と同様に作用する
(iii)いかなる意味論でも、少なくとも認識論的階層化プログラムのクラス(直観的には、認識的演算子の使用が階層化されているもの)で分割するというボトムアップの概念と一致する。
(iv) 一般的なaspプログラミング方法論に固執する。
関連論文リスト
- Learning Visual-Semantic Subspace Representations for Propositional Reasoning [49.17165360280794]
本稿では,特定の意味構造に適合する視覚表現を学習するための新しい手法を提案する。
我々のアプローチは、新しい核規範に基づく損失に基づいている。
部分空間格子におけるセマンティクスのスペクトル幾何学を最小エンコードしていることを示す。
論文 参考訳（メタデータ） (2024-05-25T12:51:38Z) - DELPHIC: Practical DEL Planning via Possibilities (Extended Version) [76.75197961194182]
本研究は,実用的なDEL計画の展開を促進することを目的としている。
本稿では,メインビルディングブロックとして定義した等価なセマンティクスを,いわゆる可能性として提案する。
この主張を裏付けるために、ASPで両方のアプローチを実装し、DELPHICと従来のKripkeベースのアプローチを比較する実験的な評価を設定した。
論文 参考訳（メタデータ） (2023-07-28T10:09:45Z) - 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) - Refining the Semantics of Epistemic Specifications [0.0]
我々は、既存のセマンティクスアプローチ、満足なセマンティクスが満足すべき基準、そしてそれらを改善する方法に焦点を当てる。
本稿では,カバラーらの最近の形式主義である自己観血的ASPの反射的拡張とみなすことができる,てんかん性ASPに対する少し新しい意味論を提案する。
論文 参考訳（メタデータ） (2021-09-17T01:47:19Z) - Thirty years of Epistemic Specifications [8.339560855135575]
我々は、主観的リテラルと呼ばれるモーダル構造を持つ安定モデルセマンティクスの下で、解法論理プログラムを拡張した。
主観的リテラルを用いることで、プログラムのすべての安定モデルで正規リテラルが真かどうかを確認することができる。
形式的な意味論によって言語の基礎となる直観を捉えようとするいくつかの試みが与えられた。
論文 参考訳（メタデータ） (2021-08-17T15:03:10Z) - On the Foundations of Grounding in Answer Set Programming [4.389457090443418]
We provide a comprehensive elaboration of the Theorys of variable instantiation or grounding, in Answer Set Programming (ASP)。
固定点演算子の観点から基底アルゴリズムの形式的特徴付けを導入する。
主要な役割は、関連するモデルがグラウンド化の結果を記述するための意味的なガイダンスを提供する、専門のしっかりとした演算子によって演じられる。
論文 参考訳（メタデータ） (2021-08-10T16:23:49Z) - Conflict-driven Inductive Logic Programming [3.29505746524162]
帰納的論理プログラミング(ILP)の目標は、一連の例を説明するプログラムを学ぶことである。
近年まで、ICPがターゲットとするPrologプログラムの研究がほとんどである。
ILASP システムは代わりに Answer Set Programs (ASP) を学ぶ
論文 参考訳（メタデータ） (2020-12-31T20:24:28Z) - Infusing Finetuning with Semantic Dependencies [62.37697048781823]
シンタックスとは異なり、セマンティクスは今日の事前訓練モデルによって表面化されないことを示す。
次に、畳み込みグラフエンコーダを使用して、タスク固有の微調整にセマンティック解析を明示的に組み込む。
論文 参考訳（メタデータ） (2020-12-10T01:27:24Z) - Modelling Multi-Agent Epistemic Planning in ASP [66.76082318001976]
本稿では,マルチショット・アンサー・セット・プログラミング・ベース・プランナの実装について述べる。
本稿は, アドホックなエピステミック状態表現とASPソルバの効率を生かしたプランナーが, 文献から収集したベンチマークに対して, 競合的な性能を示すことを示す。
論文 参考訳（メタデータ） (2020-08-07T06:35:56Z) - A Uniform Treatment of Aggregates and Constraints in Hybrid ASP [9.289905977910378]
ハイブリッドASPソリューションのためのセマンティックフレームワークを開発する。
我々は、異なる意味原理に従う理論変数に対して集約関数を提供する。
実装にオフザシェルフハイブリット・ソルバをいかに頼りにできるかを示す。
論文 参考訳（メタデータ） (2020-03-09T14:36:11Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。