Fugu-MT 論文翻訳(概要): Tableaux for the Logic of Strategically Knowing How

論文の概要: Tableaux for the Logic of Strategically Knowing How

arxiv url: http://arxiv.org/abs/2307.05066v1
Date: Tue, 11 Jul 2023 07:12:51 GMT
ステータス: 処理完了
システム内更新日: 2023-07-12 16:02:33.128506
Title: Tableaux for the Logic of Strategically Knowing How
Title（参考訳）: 戦略的知識の論理学のためのテーブルロー
Authors: Yanjun Li
Abstract要約: 本稿では,戦略的ノウハウの論理のマルチエージェント版のための表計算手順を提案する。また、論理の満足度問題はPSPACEで決定可能であることも示している。
参考スコア（独自算出の注目度）: 4.007651550424299
License: http://creativecommons.org/licenses/by/4.0/
Abstract: The logic of goal-directed knowing-how extends the standard epistemic logic with an operator of knowing-how. The knowing-how operator is interpreted as that there exists a strategy such that the agent knows that the strategy can make sure that p. This paper presents a tableau procedure for the multi-agent version of the logic of strategically knowing-how and shows the soundness and completeness of this tableau procedure. This paper also shows that the satisfiability problem of the logic can be decided in PSPACE.
Abstract（参考訳）: ゴール指向知識の論理は、標準認識論的論理を知識の演算子で拡張する。ノウハウ演算子は、エージェントが戦略がpを確実にすることができることを知っている戦略が存在すると解釈される。本稿では,戦略的ノウハウの論理のマルチエージェント版のための表計算手順を提案し,この表処理の健全性と完全性を示す。本稿では,論理の充足可能性問題を pspace で決定できることを示す。

関連論文リスト

H-STAR: LLM-driven Hybrid SQL-Text Adaptive Reasoning on Tables [56.73919743039263]
本稿では,2段階のプロセスにシンボル的アプローチと意味的アプローチ(テキスト的アプローチ)を統合し,制約に対処する新しいアルゴリズムを提案する。実験の結果,H-STARは3つの質問応答(QA)と事実検証データセットにおいて,最先端の手法を大幅に上回っていることがわかった。
論文参考訳（メタデータ） (2024-06-29T21:24:19Z)
A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
論文参考訳（メタデータ） (2024-05-10T14:13:21Z)
Logic Agent: Enhancing Validity with Logic Rule Invocation [24.815341366820753]
Chain-of-Thoughtプロンプトは、推論タスク中に言語モデルの推論能力を増強するための重要なテクニックとして現れている。本稿では,大規模言語モデルにおける推論プロセスの有効性向上を目的としたエージェントベースのフレームワークであるLogic Agent(LA)を紹介する。
論文参考訳（メタデータ） (2024-04-28T10:02:28Z)
Risk-reducing design and operations toolkit: 90 strategies for managing risk and uncertainty in decision problems [65.268245109828]
本稿では,このような戦略のカタログを開発し,それらのためのフレームワークを開発する。高い不確実性のために難解であるように見える決定問題に対して、効率的な応答を提供する、と論じている。次に、多目的最適化を用いた決定理論にそれらを組み込む枠組みを提案する。
論文参考訳（メタデータ） (2023-09-06T16:14:32Z)
Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文参考訳（メタデータ） (2023-06-21T07:34:27Z)
Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文参考訳（メタデータ） (2022-07-04T14:38:49Z)
Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy [0.0]
本稿では,関連する共通知識を用いた発表ロジックのセマンティックな埋め込みについて述べる。これにより、古典的な高階論理に対するオフ・ザ・シェルフ定理証明を用いて、この論理を初めて自動化することができる。この研究は、複数派のLogiKEy知識工学方法論に重要な追加となる。
論文参考訳（メタデータ） (2021-11-02T15:14:52Z)
Logical Credal Networks [87.25387518070411]
本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
論文参考訳（メタデータ） (2021-09-25T00:00:47Z)
Knowing How to Plan [0.0]
このようなロジックを使って、モデルチェックによるノウハウベースのプランニングを行います。特に、ノウハウの公式を目標とする高次てんかん計画の処理が可能である。
論文参考訳（メタデータ） (2021-06-22T02:47:06Z)
Public Announcement Logic in HOL [0.0]
関連する共通知識を持つ公開告知論理のための浅層セマンティック埋め込みについて述べる。この埋め込みにより、古典的な高階論理に対するオフ・ザ・シェルフ定理証明を用いて、この論理を初めて自動化することができる。
論文参考訳（メタデータ） (2020-10-02T06:46:02Z)
Proof-Carrying Plans: a Resource Logic for AI Planning [1.7403133838762446]
AI検証と説明可能なAIの最近の傾向は、AI計画技術を検証することができるかどうかという疑問を提起している。本稿では,AIプランナが作成した計画の検証に使用できる新しい資源論理,Proof Carrying Plans (PCP) ロジックを提案する。
論文参考訳（メタデータ） (2020-08-10T14:45:52Z)

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