Artificial Intelligence 2.0 — what is it?
A smart contract drafted in a semantic modelling language is, on the one hand, easily understood by specialists in the appropriate subject domain, on the other hand, is automatically verifiable and can run on a computer, or other digital device.