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).
I am doing AI work (not neural nets) and I'm also a programming language aficionado. I've invented several special purpose languages and have implemented them. The role programming language might play in AI is something I have though about.
That all said, the place to start is the AI model. It only make sense to invent a programming language as an aid to humans to express designs using a chosen model. In short, you don't start with the language but the designs you would like to express. The purpose of a language is solely to make designs easier to read and write by humans.