判断题 谓词逻辑表示分为命题逻辑和谓词逻辑两种。

判断题 人工智能（AI）是一门正在发展中的综合性前沿学科，它由计算机科学、控制论、信息论、神经生理学、心理学、语言学等多种学科相互渗透而发展起来。

判断题 现代人工智能，一般认为起源于英国的达特茅斯会议。