文献

J-GLOBAL ID：201802241954352448   整理番号：18A1802366

多項式時間階層の低レベルでの区間時間論理HSのフラグメントのためのモデル検査【JST・京大機械翻訳】

Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy

著者 (5件)： Bozzelli Laura (Department of Electronic Engineering and Information Technologies, University of Napoli “Federico II”, Italy) ,  Molinari Alberto (Department of Mathematics, Computer Science, and Physics, University of Udine, Italy) ,  Montanari Angelo (Department of Mathematics, Computer Science, and Physics, University of Udine, Italy) ,  Peron Adriano (Department of Electronic Engineering and Information Technologies, University of Napoli “Federico II”, Italy) ,  Sala Pietro (Department of Computer Science, University of Verona, Italy)
資料名： Information and Computation  (Information and Computation)
巻： 262  号： P2  ページ： 241-264  発行年： 2018年 
JST資料番号： D0449A  ISSN： 0890-5401  CODEN： INFCEC  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 本質的に区間ベースである持続時間と時間的集合による行動のような反応系のいくつかの時間的性質は,システム進化の状態毎の説明を与えるので,標準,点ベースの時間論理LTL,CTLおよびCTL*によって適切に表現できない。逆に,それらのプリミティブがそれらを自然に表現するので,点の代わりに特徴間隔を特徴とする区間時間論理を示した。著者らは,均一性仮定の下で,Kripke構造に関して解釈される時間間隔(HS)のHalpernとShohamのモード論理のためのモデル検査(MC)問題を研究した。HSは最も良く知られている区間ベースの時間論理であり,それは等性とは別に,間隔の対(Allenの関係)の間の13の順序関係の各々に対して1つのモダリティを持っている。著者らは,いくつかのHSフラグメントに対するMCに焦点を合わせた。それは,(サブセットの)Allenの関係に適合し,メタによって,開始されて,そして,それがPNPにあることを示している。さらに,問題に対するいくつかの複雑さの下限を与えた。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 継続時間 ,  *時間論理 ,  反応系 ,  部分集合 ,  *モデル検査
準シソーラス用語： 複雑性 ,  モダリティ ,  時間間隔 ,  *多項式時間 , 【Automatic Indexing@JST】

著者キーワード (3件)： 区間時間論理 ,  モデル検査 ,  計算の複雑さ

分類 (2件)： 論理代数  (JB03000H) ,  計算理論  (JB02000A)

タイトルに関連する用語 (6件)： 多項式時間 ,  階層 ,  時間論理 ,  Hs ,  フラグメント ,  モデル検査