数学家用来描述问题的通用工具是逻辑学。早在维特根斯坦时代，许多数学家、哲学家和计算机科学家都试图使用数理逻辑来清晰而无歧义地定义和描述感兴趣的事情，结果简单逻辑学（如一阶逻辑FOL-FirstOrderLogic）在描述事情方面表现出极大的威力。有些数学家和计算机科学家发现相对简单的逻辑足以用来向人基本内容 1.一阶逻辑一阶逻辑是用来表示知识的重要方法。一阶逻辑是一种形式语言系统，研究的是假设与结论之间的蕴含关系，即用逻辑的方法研究推理的规律。它可以看成自然语言的一种简化形式。由于它、无二义性，所以容易为计算机理解和操作，同时又与自然语言相似，故一阶谓词逻辑系统可以用来表示人类的某些知识。一阶逻辑作为形式语言存在局限性，其远远不能表示人类自然语言所能表达的全部知识，而人类所认识的知识类比自然语言所能表达的知识类还多。因此一阶逻辑所能表示的知识范围十分有限。从思维推理的角度看，一阶谓词逻辑所体现的逻辑推理规律，只能用来模拟人类的部分逻辑思维现象，也远远不能代表人类逻辑思维的全部。因此各种非规范逻辑的研究很有必要。2.KIF的作用KIF（Knowledge Interchange Format）是一种基于一阶逻辑的形式语言，用于各种不同计算机程序之间进行知识交换，由斯坦福大学建立，已经成为建议标准。目前KIF被普遍用在专家系统、数据库和智能代理等领域，其构思不是用来实现人与机器的交互，不同的程序以自身适当的方式将信息展现给用户，如框架、图表和自然语言等。KIF的目的也不在于实现机器内或联系紧密的计算机集群中的知识的内部表示，即使KIF也能够用于上述目的。尤其KIF起到了两种其它语言间的连结纽带和中间语言的作用，例如可以开发翻译程序实现STEP/PDES表示到KIF相应表示的映射，或者相反，当STEP/PDES读取KIF表示的知识库KB时，需要将数据转换成自身内部结构（如特殊的指