数学家用来描述问题的通用工具是逻辑学。早在维特根斯坦时代，许多数学家、哲学家和计算机科学家都试图使用数理逻辑来清晰而无歧义地定义和描述感兴趣的事情，结果简单逻辑学（如一阶逻辑FOL - First Order Logic）在描述事情方面表现出极大的威力。有些数学家和计算机科学家发现相对简单的逻辑足以用来向人和其它的智能代理描述表示感兴趣的事情和应用，比如简单的具体事实、定义、摘要、推理规则、限制和元知识（关于知识的知识） 等。
上饶师院的词语属性 拼音shng ro sh yun拼音字母shang rao shi yuan拼音首字母srsy 上饶师院的百科含义 上饶师范学院（Shangrao Normal University）前身是1958年建立的上饶师专，1959年更名为赣东北大学，文革期间停办。1977年复校，2000年3月经教育部、江西省人民政府批准升
