Looking Inside the Black Box: Core Semantics Towards Accountability of Artificial Intelligence.
Roberto GariglianoLuisa MichPublished in: From Software Engineering to Formal Methods and Tools, and Back (2019)
Keyphrases
- black box
- artificial intelligence
- hybrid systems
- black boxes
- test cases
- intelligent systems
- white box
- formal semantics
- white box testing
- semantic information
- logic programming
- software engineering
- expert systems
- computer science
- fuzzy logic
- state transition
- machine learning
- source code
- computational intelligence
- knowledge representation
- integration testing
- knowledge base