時相論理
(Temporal Logic から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/01/02 21:06 UTC 版)
時相論理(Temporal Logic)とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコになる」、「私は何かを食べるまで腹ペコだろう」といった文を表現できる。1950年代末にアーサー・プライアーが提唱した様相論理に基づいた時相論理を特に時制論理(Tense Logic)と呼ぶことがある。ハンス・カンプが重要な業績を残した。その後、そこから発展し、アミール・プヌーリら計算機科学者や論理学者が研究を進めた。
|
- ^ Vardi 2008, p. 153.
- ^ a b Vardi 2008, p. 154.
- ^ Peter Øhrstrøm; Per F. V. Hasle (1995). Temporal logic: from ancient ideas to artificial intelligence. Springer. ISBN 978-0-7923-3586-3. pp. 176-178, 210
- ^ http://plato.stanford.edu/entries/logic-temporal/M
- ^ Walter Carnielli; Claudio Pizzi (2008). Modalities and Multimodalities. Springer. p. 181. ISBN 978-1-4020-8589-5 .
- ^ Sergio Tessaris; Enrico Franconi; Thomas Eiter (2009). Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures. Springer. p. 112. ISBN 978-3-642-03753-5 .
- ^ O. Maler, D. Nickovic, "Monitoring temporal properties of continuous signals", 2004
- ^ O. Maler, D. Nickovic, "Monitoring temporal properties of continuous signals", 2004
- ^ Nicholas Rescher, James Garson, "Topological Logic" in The Journal of Symbolic Logic, 33(4):537-548, December, 1968
- ^ Georg Henrik von Wright, "A Modal Logic of Place", in E. Sosa (Editor), pp. 65-73, "The Philosophy of Nicholas Rescher: Discussion and Replies", D. Reidel, Dordrecht, Holland, 1979
「Temporal logic」の例文・使い方・用例・文例
- Temporal Logicのページへのリンク