为刻画谓词与个体的关系，在谓词逻辑中引入了两个量词：（）量词和（）量词。

谓词逻辑是基于命题的中的谓词分析的一种逻辑，一个谓词可分为（）与（）两个部分，其中前者是用于刻画个体的性质、状态或个体间的关系，后者是某个独立存在的事物或者某个抽象的概念。 点击查看答案

知识表示（knowledge representation）是将人类知识形式化或者模型化，实际上是对知识的一种描述，或者说是一组约定，一种计算机可以接受的用于描述知识的数据结构，常用的知识表示方法有（）表示法、（）表示法、（）表示法、（）、人工神经网络、遗传密码等。 点击查看答案