翻訳と辞書
Words near each other
・ 時田あいみ
・ 時田シロウ
・ 時田優
・ 時田光
・ 時田公明
・ 時田則雄
・ 時田唯
・ 時田愛梨
・ 時田貴司
・ 時相
時相線型論理
・ 時相線形論理
・ 時相論理
・ 時短
・ 時短 (パチンコ)
・ 時短 (労働)
・ 時短生活ガイドSHOW
・ 時短生活ガイドショー
・ 時祭イヴ
・ 時祷


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

時相線型論理 : ウィキペディア日本語版
線形時相論理[せんけいじそうろんり]
線形時相論理(せんけいじそうろんり、Linear Temporal Logic、LTL)とは、時間に関する様相を持つ様相時相論理である。LTLでは、ある条件が最終的に真となるとか、別の事実が真になるまでその条件は真であるとかいった将来の出来事について論理式で表すことができる。
==文法==
LTL では変項 p_1, p_2, ... や一般的な論理作用素 \neg,\or,\and,\rightarrow の他に以下の時相様相作用素を使用する:
*N (next)
*Gglobally)
*F (in the future)
*U (until)
*R (release)
最初の3つの作用素は単項演算である。従って、\phi整論理式であれば、N \phi も整論理式である。最後の2つの作用素は二項演算である。従って、\phi\psi が整論理式であれば、\phi U \psi も整論理式である。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「線形時相論理」の詳細全文を読む

英語版ウィキペディアに対照対訳語「 Linear temporal logic 」があります。



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.