タグ付けされた質問 「temporal-logic」

違いを見つけるために、ウィキペディアの時相論理に関する以下のアサーションに遭遇しました： ダイナミックロジックと多くの共通の機能を共有するモーダルロジックの別のバリアントは、Pnueliが「内生」ロジックと特徴づけるものであり、他は「外生」ロジックであるという点で、上記のすべてのロジックと異なります。これにより、Pnueliは、時間の経過とともに単一のグローバルな状況が変化する普遍的な行動フレームワーク内で時相論理アサーションが解釈されることを意味しましたが、他のロジックのアサーションは、彼らが話す複数のアクションの外部で行われます。内生的アプローチの利点は、環境が時間とともに変化するとき、何が何を引き起こすかについて基本的な仮定を行わないことです。その代わりに、時相論理式は、システムの2つの無関係な部分について話すことができます。実際には、時間アサーションの通常の論理結合は、時間ロジックの同時合成演算子です。並行性に対するこのアプローチの単純さにより、同期、干渉、独立性、デッドロック、ライブロック、公平性などの側面を備えた同時システムについて推論するために、時相論理が選択のモーダルロジックになりました。 かなり違いを実感できませんでした。動的ロジックは、時間ロジックだけでなく、引数内のすべての時間駆動の側面をカバーできませんか？ それとも、なぜ動的システムが同時システムを処理しないのですか？ ケースをクリアしていただけますか？

12 logic  linear-temporal-logic  temporal-logic