Temporal reasoning over deontic specifications
Temporal reasoning over deontic specifications
复制标题
对道义规范的时间推理
DOI：
--
复制
发表时间：
1991
影响因子：
0.7
通讯作者：
Tom Maibaum
中科院分区：
文献类型：
--
作者：
Tom Maibaum
从对系统行为建模的道义规范开始，我们展示了如何可能对该系统的规范行为的时间属性进行推理。特别是，我们展示了如何从许可和义务结构中分别导出安全性和活动性属性。因此，在最近提出的更以行动为导向的行为道义描述与基于时间逻辑的传统且成功的以属性为导向的框架之间建立了正式关系。
Starting from a deontic specification modelling the behaviour of a system, we show how it is possible to reason about the temporal properties of the normative behaviours of that system. In particular, we show how safety and liveness properties can be derived, respectively, from permission and obligation structures. A formal relationship is thus established between the recently proposed deontic accounts of behaviour, that are more actionoriented, and the already traditional and successful property-oriented frameworks based on temporal logics.