[ Question ]

Do we need a high-level programming language for AI and what it could be?

by avturchin 1 min read6th Mar 20197 comments


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).

New Answer
Ask Related Question
New Comment

3 Answers

My thoughts are similar to Paul's comment.

You might be interested in the difference between high-level languages and Domain Specific Languages (DSL). High-level languages are intended to be general purpose languages that abstract away some of the nitty gritty details of lower levels (C doesn't have to think about registers while assembly does, python doesn't have to think about memory management while C does). DSLs are languages specially designed for certain problem domains. Stan and nile are examples of DSLs for probabilistic programming and displaying graphics, respectively. You seem to be suggesting a DSL for AI as opposed to a generic higher-level language.

To generalize, it seems like DSLs and higher-level languages are useful to make doing something you already know how to do more intuitive/simple/straight-forward. Making AGI and AFI are things we don't know how to do. We could likely make a DSL that would allow you to think more fluently about existing AI concepts, and it's possible that might allow you to reach various insights quicker. But you still have to do the work.


(Not actually serious, but if someone wants to try it...)

Any AI genie that can safely interpret wishes written in Arcanic should also be able to interpret English.