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).
Yes, I have intuition about something like this.