Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving.
Mohamed AbdelghanySofiène TaharPublished in: CoRR (2021)
Keyphrases
- theorem proving
- reliability analysis
- decision procedures
- first order logic
- inference rules
- automated deduction
- parallel search
- automatic programming
- theorem prover
- term rewriting
- automated theorem proving
- proof planning
- automated reasoning
- geometry theorem proving
- proof procedure
- logical inference
- formal model
- condition monitoring
- consequence finding
- predicate calculus
- combinatorial search
- feature selection
- model theoretic
- power plant
- expert systems