神經符號世界模型