NuTonomy has an autonomous driving technology based on formal logic [1]. It seems like formal logic is a better approach for retroactively explaining software decisions.
[1] http://spectrum.ieee.org/transportation/self-driving/after-m...
[1] http://spectrum.ieee.org/transportation/self-driving/after-m...
There is the presumption that all you gotta do is gather enough training data and shazam!, you got a self driving car, but that's bollocks. There is a tremendous amount of elbow grease that foes into developing and validating an AV to six sigma reliability. Six sigma might not even be good enough for something as safety-critical as a driverless car.