Guaranteeing Correctness in Black-Box Machine Learning: A Fusion of Explainable AI and Formal Methods for Healthcare Decision-Making.
Nadia KhanMuhammad NaumanAhmad S. AlmadhorNadeem AkhtarAbdullah AlghuriedAdi AlhudhaifPublished in: IEEE Access (2024)
Keyphrases
- black box
- formal methods
- machine learning
- artificial intelligence
- decision making
- provably correct
- knowledge based systems
- black boxes
- white box
- formal analysis
- decision makers
- knowledge representation
- data mining
- safety critical
- model checking
- decision support system
- software engineering
- computational intelligence
- learning algorithm
- decision support
- knowledge acquisition
- expert systems
- metamodel
- white box testing
- intelligent systems
- feature selection
- formal specification
- test cases
- hybrid systems
- database systems
- process algebra
- natural language
- decision trees
- integration testing
- development lifecycle
- database