[tnecniv]

It's worth noting there have been some attempts to unify ANNs with formal logic specifications, but I haven't seen anything incredible.