論文の概要: Refining the Semantics of Epistemic Specifications

• arxiv url: http://arxiv.org/abs/2109.08289v1
• Date: Fri, 17 Sep 2021 01:47:19 GMT
• ステータス: 処理完了
• システム内更新日: 2021-09-21 04:26:57.752868
• Title: Refining the Semantics of Epistemic Specifications
• Title（参考訳）: 認識論的仕様の意味論の解明
• Authors: Ezgi Iraz Su (Sinop University)
• Abstract要約: 我々は、既存のセマンティクスアプローチ、満足なセマンティクスが満足すべき基準、そしてそれらを改善する方法に焦点を当てる。 本稿では,カバラーらの最近の形式主義である自己観血的ASPの反射的拡張とみなすことができる,てんかん性ASPに対する少し新しい意味論を提案する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Answer set programming (ASP) is an efficient problem-solving approach, which has been strongly supported both scientifically and technologically by several solvers, ongoing active research, and implementations in many different fields. However, although researchers acknowledged long ago the necessity of epistemic operators in the language of ASP for better introspective reasoning, this research venue did not attract much attention until recently. Moreover, the existing epistemic extensions of ASP in the literature are not widely approved either, due to the fact that some propose unintended results even for some simple acyclic epistemic programs, new unexpected results may possibly be found, and more importantly, researchers have different reasonings for some critical programs. To that end, Cabalar et al. have recently identified some structural properties of epistemic programs to formally support a possible semantics proposal of such programs and standardise their results. Nonetheless, the soundness of these properties is still under debate, and they are not widely accepted either by the ASP community. Thus, it seems that there is still time to really understand the paradigm, have a mature formalism, and determine the principles providing formal justification of their understandable models. In this paper, we mainly focus on the existing semantics approaches, the criteria that a satisfactory semantics is supposed to satisfy, and the ways to improve them. We also extend some well-known propositions of here-and-there logic (HT) into epistemic HT so as to reveal the real behaviour of programs. Finally, we propose a slightly novel semantics for epistemic ASP, which can be considered as a reflexive extension of Cabalar et al.'s recent formalism called autoepistemic ASP.
• Abstract（参考訳）: Answer set programming (ASP) は効率的な問題解決手法であり、科学的にも技術的にもいくつかの問題解決者、継続的な研究、様々な分野の実装によって強く支持されている。 しかし、研究者らは長年、ASPの言語における内省的推論の必要性を認めてきたが、この研究会場は近年まであまり注目されなかった。 さらに、文献におけるaspの既存の認識論的拡張は、単純な非循環的認識論的プログラムであっても意図しない結果が提案されているという事実から、広くは認められておらず、さらに重要なことに、研究者はいくつかの批判的プログラムに対して異なる推論を持っている。 この目的のために、cabalarらは最近、そのようなプログラムの意味論的な提案を正式に支持し、結果を標準化するために、認識プログラムの構造的特性をいくつか特定した。 それでも、これらのプロパティの健全性はまだ議論中であり、aspコミュニティからも広く受け入れられていない。 したがって、まだパラダイムを真に理解し、成熟した形式主義を持ち、理解可能なモデルの形式的正当化を提供する原則を決定する時間があるようだ。 本稿では,既存のセマンティクスアプローチ,満足度の高いセマンティクスが満足すべき基準,そしてそれらの改善方法に焦点を当てる。 我々はまた、プログラムの実際の振る舞いを明らかにするために、相補論理(HT)のよく知られた命題をてんかんHTに拡張する。 最後に,Cabalar らによる最近の形式主義である Autoepistemic ASP の反射的拡張とみなすことができる,てんかん性ASP に対する少し新しい意味論を提案する。

関連論文リスト

• Igniting Language Intelligence: The Hitchhiker's Guide From Chain-of-Thought Reasoning to Language Agents [80.5213198675411]
  大規模言語モデル(LLM)は言語知能の分野を劇的に拡張した。 LLMは興味をそそるチェーン・オブ・シークレット(CoT)推論技術を活用し、答えを導き出す途中の中間ステップを定式化しなければならない。 最近の研究は、自律言語エージェントの開発を促進するためにCoT推論手法を拡張している。
  論文  参考訳（メタデータ） (2023-11-20T14:30:55Z)
• A Unifying Framework for Learning Argumentation Semantics [50.69905074548764]
  Inductive Logic Programmingアプローチを用いて、抽象的および構造化された議論フレームワークのアクセシビリティセマンティクスを解釈可能な方法で学習する新しいフレームワークを提案する。 提案手法は既存の議論解法よりも優れており,フォーマルな議論や人間と機械の対話の領域において,新たな研究の方向性が開けることになる。
  論文  参考訳（メタデータ） (2023-10-18T20:18:05Z)
• Epistemic Logic Programs: a study of some properties [4.459996749171579]
  Epistemic Logic Programs (ELPs) は、Answer Set Programming (ASP) をエピステミック演算子に拡張する。 最近の研究は、ELPのセマンティックスで満たすべきセマンティックな特性を導入している。 ボトムアップからトップダウンのアプローチから分割へと移行し、視点を変える可能性を分析する。
  論文  参考訳（メタデータ） (2023-09-28T11:08:37Z)
• A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
  我々は決定可能性を達成するために新しい意味論的アプローチを用いる。 具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。 我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
  論文  参考訳（メタデータ） (2023-07-28T11:26:26Z)
• DELPHIC: Practical DEL Planning via Possibilities (Extended Version) [76.75197961194182]
  本研究は,実用的なDEL計画の展開を促進することを目的としている。 本稿では,メインビルディングブロックとして定義した等価なセマンティクスを,いわゆる可能性として提案する。 この主張を裏付けるために、ASPで両方のアプローチを実装し、DELPHICと従来のKripkeベースのアプローチを比較する実験的な評価を設定した。
  論文  参考訳（メタデータ） (2023-07-28T10:09:45Z)
• Learnability with PAC Semantics for Multi-agent Beliefs [38.88111785113001]
  推論と帰納の緊張は、おそらく哲学、認知、人工知能といった分野において最も根本的な問題である。 Valiant氏は、学習の課題は推論と統合されるべきである、と認識した。 古典的な包含よりも弱いが、クエリに応答する強力なモデル理論のフレームワークを可能にする。
  論文  参考訳（メタデータ） (2023-06-08T18:22:46Z)
• Improving Factuality and Reasoning in Language Models through Multiagent Debate [95.10641301155232]
  複数の言語モデルインスタンスが共通の最終回答に到達するために、複数のラウンドで個別の応答と推論プロセスを提案し、議論する言語応答を改善するための補完的なアプローチを提案する。 以上の結果から,本手法は様々なタスクにおける数学的・戦略的推論を著しく向上させることが示唆された。 我々のアプローチは、既存のブラックボックスモデルに直接適用され、調査するすべてのタスクに対して、同じ手順とプロンプトを使用することができる。
  論文  参考訳（メタデータ） (2023-05-23T17:55:11Z)
• Admissibility in Strength-based Argumentation: Complexity and Algorithms (Extended Version with Proofs) [1.5828697880068698]
  我々は、適応性に基づく意味論の強度に基づく論証フレームワーク(StrAF)への適応について研究する。 特に文献で定義された強い許容性は望ましい性質、すなわちDungの基本的な補題を満たさないことを示す。 計算(強弱)拡張に対する擬ブール制約の翻訳を提案する。
  論文  参考訳（メタデータ） (2022-07-05T18:42:04Z)
• Thirty years of Epistemic Specifications [8.339560855135575]
  我々は、主観的リテラルと呼ばれるモーダル構造を持つ安定モデルセマンティクスの下で、解法論理プログラムを拡張した。 主観的リテラルを用いることで、プログラムのすべての安定モデルで正規リテラルが真かどうかを確認することができる。 形式的な意味論によって言語の基礎となる直観を捉えようとするいくつかの試みが与えられた。
  論文  参考訳（メタデータ） (2021-08-17T15:03:10Z)
• Conflict-driven Inductive Logic Programming [3.29505746524162]
  帰納的論理プログラミング(ILP)の目標は、一連の例を説明するプログラムを学ぶことである。 近年まで、ICPがターゲットとするPrologプログラムの研究がほとんどである。 ILASP システムは代わりに Answer Set Programs (ASP) を学ぶ
  論文  参考訳（メタデータ） (2020-12-31T20:24:28Z)
• Modelling Multi-Agent Epistemic Planning in ASP [66.76082318001976]
  本稿では,マルチショット・アンサー・セット・プログラミング・ベース・プランナの実装について述べる。 本稿は, アドホックなエピステミック状態表現とASPソルバの効率を生かしたプランナーが, 文献から収集したベンチマークに対して, 競合的な性能を示すことを示す。
  論文  参考訳（メタデータ） (2020-08-07T06:35:56Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。