用谓词逻辑来表达语义由来已久，目前用于表达自然语言语义的符号逻辑，多 为一阶谓词逻辑（FOPL）12］o由于一阶谓词逻辑是一种形式语言，其根本目的在 于把数学中的逻辑论证符号化。
基于10个网页-相关网页
应用推荐
模块上移
模块下移
不移动