Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach.

Waqar Ahmad Osman Hasan

Published in: CoRR (2016)

Keyphrases

higher order logic
logical framework
higher order
theorem prover
conditional logic
decision trees
fault diagnosis
inference rules
tree structure
fault detection
knowledge representation
belief revision
general purpose
nonmonotonic reasoning
data representation
default reasoning
probability distribution
pairwise