An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers.
Pablo F. CastroT. S. E. MaibaumPublished in: SEFM (2007)
Keyphrases
- fault tolerance
- deontic logic
- fault tolerant
- load balancing
- distributed systems
- distributed computing
- legal reasoning
- response time
- peer to peer
- group communication
- high availability
- database replication
- nonmonotonic logics
- replicated databases
- mobile agents
- error detection
- failure recovery
- inference rules
- artificial intelligence
- temporal logic
- distributed databases
- information systems