When the cost of failure is high, when lives could be at stake along with substantial investment, how do you calculate verifiable outcomes? Artificial intelligence (AI) is all very well when dealing with probabilities, but sometimes only certainties are good enough.

This was the daily challenge facing Neha Rungta when she worked at Nasa as a research scientist during the last decade. The solution was a discipline of AI called automated reasoning, which uses logic to generate proofs automatically from a set of known facts. Rungta holds a PhD in the subject...

Subscribe now to unlock this article.

Support BusinessLIVE’s award-winning journalism for R129 per month (digital access only).

There’s never been a more important time to support independent journalism in SA. Our subscription packages now offer an ad-free experience for readers.

Cancel anytime.

Would you like to comment on this article?
Sign up (it's quick and free) or sign in now.

Speech Bubbles

Please read our Comment Policy before commenting.