You've hit on an important point here. When we instruct our machines in natural language, they are surely going to have to be able to ask us questions to resol

You've hit on an important point here. When we instruct our machines in natural language, they are surely going to have to be able to ask us questions to resolve ambiguities and fill in details we haven't specified. There is actually a theory of how two entities reach agreement through conversation: http://en.wikipedia.org/wiki/Conversation_theory http://en.wikipedia.org/wiki/Conversation_theory