以下哪个是常用的人工智能程序设计语言（）。

一阶谓词逻辑的特点是（）。A.严密性和不容易实现B.能表示不确定的知识C.自然性，精确性D.组合爆炸和效率高

单项选择题一阶谓词逻辑的特点是（）。

用于观察结果推理系统是否有保障的专家系统类型是（）。A.修理B.监督C.预测D.诊断

单项选择题用于观察结果推理系统是否有保障的专家系统类型是（）。

美国KSE机构研究开发的ACL是目前智能体通信研究中引人注目的，全称是（）。A.智能体通信语言B.语言识别C....

单项选择题美国KSE机构研究开发的ACL是目前智能体通信研究中引人注目的，全称是（）。