Seminal PhD thesis by @BlueManifold explains why #driverless #SelfDrivingCars folks stymied. "A Metalogical Analysis of Vagueness: An Exploratory Study into the Geometry of Logic"
http://wrap.warwick.ac.uk/51938/1/WRAP_THESIS...n_1992.pdf
$GOSY solved 10+ yrs ago-