単調μ計算におけるNP推論【JST・京大機械翻訳】

Hausmann Daniel; Schroder Lutz

プレプリント

J-GLOBAL ID：202202219826737839 整理番号：22P0111063

単調μ計算におけるNP推論【JST・京大機械翻訳】

NP Reasoning in the Monotone $\mu$-Calculus

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (2件)： ,
資料名：
発行年： 2020年02月12日プレプリントサーバーでの情報更新日： 2020年05月03日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

単調モード論理に対する充足可能性チェックは(のみ)NP完全であることが知られている。論理が,一般的モダリティと同様に,非結合および交互フリー不動点演算子で拡張されたとき,これが真実のままであることを示した。結果としての論理-すなわち,普遍的モダリティーによる非結合的交替-フリー単調μ-計算は,フラグメントとしてゲーム論理の並列命題的動的論理(CPDL)と交互フリーフラグメントの両方を含む。”-結論”-,汎用的モダリティーと共用的無置換モノトーンμ-計算である。”-”,”一般的モダリティ”とは,同時的命題的動的論理(CPDL)とフラグメントとしてのゲーム論理の無変化フラグメントの両方である。著者らは,多項式に多くのEloiseノードを有するB”ichiゲーム”による充足可能性のキャラクタリゼーションから著者らの結果を得る。【JST・京大機械翻訳】

, , , , , , , , ,
, , , , , 【Automatic Indexing@JST】

人工知能 , 計算理論 , 論理代数

, ,

前のページに戻る