While reading S.Armstrong post with some pseudocode, I asked myself: Do we plan to have some high-level programming language for AI? Not LISP or Python, but something close to natural language, but still based on formal set of instruction, like:
Go to shop.
Buy healthy food.
Bring it home in one hour.
If we will have such language, will it help in AI safety, as it could be less ambiguous than natural language?
UPDATED: I mean not the language needed to write first AI, but the language to give commands to the already existing AGI (when it appears).