Toward verified artificial intelligence.
Sanjit A. SeshiaDorsa SadighS. Shankar SastryPublished in: Commun. ACM (2022)
Keyphrases
- artificial intelligence
- intelligent systems
- computer science
- computational intelligence
- knowledge representation
- science fiction
- expert systems
- data mining
- learning algorithm
- multimedia
- intelligent agents
- software engineering
- natural language processing
- evolutionary algorithm
- cognitive science
- knowledge based systems
- control system
- data sets
- three dimensional
- website
- feature selection
- neural network