文献

J-GLOBAL ID：202002221466042821   整理番号：20A1495471

単調[数式:原文を参照]計算におけるNP推論【JST・京大機械翻訳】

NP Reasoning in the Monotone [Formula : see text]-Calculus

著者 (2件)： Hausmann Daniel (Friedrich-Alexander-Universitaet Erlangen-Nuernberg, Erlangen, Germany) ,  Schroder Lutz (Friedrich-Alexander-Universitaet Erlangen-Nuernberg, Erlangen, Germany)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12166  ページ： 482-499  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 単調モード論理に対する充足可能性チェックは(のみ)NP完全であることが知られている。論理が無変化不動点演算子と普遍的モダリティで拡張されたとき,これは真実である。結果として得られた論理は,普遍的モダリティを有する無変化モノトーン[数式:原文を参照]-計算器は,同時命題動的論理(CPDL)とフラグメントとしてのゲーム論理の無変化フラグメントの両方を含む。著者らは,多項式に多くのEloiseノードを有するBuechiゲームによる充足可能性のキャラクタリゼーションから著者らの結果を得る。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 多項式 ,  *ゲーム ,  計算機械 ,  不動点 ,  命題 ,  キャラクタリゼーション
準シソーラス用語： モダリティ ,  NP完全性 ,  満足化可能性 , 【Automatic Indexing@JST】

分類 (3件)： 計算理論  (JB02000A) ,  論理代数  (JB03000H) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (5件)： 数式 ,  参照 ,  計算 ,  Np ,  推論