人工智能 —— 谓词逻辑表示法