Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance.
Pablo F. CastroT. S. E. MaibaumPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- fault tolerance
- deontic logic
- legal reasoning
- knowledge representation language
- fault tolerant
- distributed systems
- distributed computing
- response time
- load balancing
- high availability
- group communication
- database replication
- peer to peer
- knowledge representation
- replicated databases
- mobile agents
- case based reasoning
- inference rules
- error detection
- knowledge base
- failure recovery
- single point of failure
- nonmonotonic logics
- formal semantics
- fault management
- defeasible logic
- knowledge representation and reasoning
- expert systems
- bayesian networks
- artificial intelligence