ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
First-order logic and automated theorem proving
First-order logic and automated theorem proving
Temporal reasoning over deontic specifications
Deontic logic in computer science
The Prescription and Description of State Based Systems
Temporal Logic in Specification
Decision procedures and expressiveness in the temporal logic of branching time
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Advanced Technology Track - Volume 5
Towards specification, modelling and analysis of fault tolerance in self managed systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
A complete and compact propositional deontic logic
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
The deontic component of action language n C+
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Fault tolerance in belief formation networks
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
| Hi-index | 0.00 |
In this paper we outline the main characteristics of a deontic logic, which we claim is useful for the modeling of and reasoning about fault-tolerance and related concepts. Towards this goal, we describe a temporal extension of this formalism together with some of its properties. We use two different examples to show how some fault-tolerance concepts (like fault-recovery and system degradation) can be expressed using deontic constructs. The second example demonstrates how contrary-to-duty reasoning (when a secondary obligation arises from the violation of a primary obligation) is applied in fault-tolerant scenarios.