When Thinking Never Comes to a Halt: Using Formal Methods in Making Sure Your AI Gets the Job Done Good Enough.
Tarek R. BesoldRobert RoberePublished in: PT-AI (2013)
Keyphrases
- formal methods
- artificial intelligence
- knowledge based systems
- formal analysis
- safety critical
- provably correct
- model checking
- model checker
- process algebra
- knowledge representation
- software engineering
- intelligent systems
- human cognitive
- expert systems
- formal specification
- machine learning
- data mining
- development lifecycle
- formal specification language