Name
Abstract | ||
|---|---|---|
We introduce a new way of defining metric temporal logic over the continuous real model of time. The semantics refer to a single universal clock in order to impose metric constraints to any desired precision. Furthermore, the expression of any non-metric aspects can correctly utilise the full power of continuous time temporal logic. Syntactic constructs afford the convenient succinct expression of many useful and typical constraints while other, more intricate properties are able to be captured but may require more lengthy formulation. A decision procedure is provided via a simple translation into an existing non-metric temporal logic and this gives a workable complexity and the possibility of automated reasoning. There are advantages in expressiveness, naturalness, generality and amenability to reasoning techniques over the existing metric temporal logics. Combining purely continuous with adequate metric aspects in one language makes the logic very suitable for dealing with hybrid systems. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1109/TIME.2013.17 | Temporal Representation and Reasoning |
Keywords | Field | DocType |
computational complexity,continuous time systems,decision theory,discrete systems,inference mechanisms,programming language semantics,temporal logic,amenability,automated reasoning,continuous real model of time,continuous time semantics,continuous time temporal logic,decision procedure,expressiveness,generality,hybrid systems,metric constraints,metric temporal logic,naturalness,reasoning technique,single universal clock,syntactic constructs,workable complexity,Hybrid Systems,Metric temporal reasoning,Temporal logic | Computation tree logic,Automated reasoning,Temporal logic of actions,Interval temporal logic,Computer science,Multimodal logic,Description logic,Linear temporal logic,Theoretical computer science,Artificial intelligence,Temporal logic | Conference |
ISSN | ISBN | Citations |
1530-1311 | 978-1-4799-2240-6 | 3 |
PageRank | References | Authors |
0.37 | 21 | 1 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mark Reynolds | 1 | 93 | 15.44 |