特里·威诺格拉格SHRDLU系统预设了在哲学上语词和外部对象具有对应关系