People certainly have motivation to create programming languages as high-level as possible, as using such languages reduces development costs. So there are languages which are more or less directly optimized for high-levelness, like Python.
On the other hand, programming languages design is limited by the fact that programs on it must actually work on real computers. Also, most effort in creating programming languages is directed to imperative ones, as they are usually more convenient for programming purposes.
But still, programming languages seem to be the humanity’s best effort at creating rigorous enough languages. There are other approaches, like logical artificial languages (e.g. Loglan), but I think they are still too imprecise for FAI purposes.
I agree, however I still think that because programming languages were developed and optimized for a different purpose than defining utility functions for AIs, there might be other languages somewhat better suited for the job.
If this line of thinking proves to be a dead end, I would remove some parts of the article and focus on the “changing values” aspect, as this is an issue I don’t remember seeing in the FAI debate.
Declarative languages, maybe? like Prolog.
People certainly have motivation to create programming languages as high-level as possible, as using such languages reduces development costs. So there are languages which are more or less directly optimized for high-levelness, like Python.
On the other hand, programming languages design is limited by the fact that programs on it must actually work on real computers. Also, most effort in creating programming languages is directed to imperative ones, as they are usually more convenient for programming purposes.
But still, programming languages seem to be the humanity’s best effort at creating rigorous enough languages. There are other approaches, like logical artificial languages (e.g. Loglan), but I think they are still too imprecise for FAI purposes.
I agree, however I still think that because programming languages were developed and optimized for a different purpose than defining utility functions for AIs, there might be other languages somewhat better suited for the job.
If this line of thinking proves to be a dead end, I would remove some parts of the article and focus on the “changing values” aspect, as this is an issue I don’t remember seeing in the FAI debate.