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).
Ok, it looks like there are two interpretations of my question. One is about which programming language is needed to create first AI. But this is not what I was asking. I assume that python will be enough.
My question was about how to give commands to already existing AGI in the most efficient way (assuming that it is not so superintelligent that it can read my thoughts and extrapolate my wishes).
E.g: 1. Go to Mars. 2. Explore if there is life there. 3. Send me back data in 1 years.