A. 常量 B. 变元 C. 函数 D. 一元谓词
A. 由许多相对独立的知识组成的领域知识 B. 可以表示为一系列相对独立的求解问题的操作 C. 具有结构关系的知识 D. 具有经验性及不确定性的知识
A. 形式化 B. 数据库化 C. 模型化 D. 逻辑化
微信支付 
支付宝支付