用谓词逻辑来表达语义由来已久，目前用于表达自然语言语义的符号逻辑，多 为一阶谓词逻辑（FOPL）12］o由于一阶谓词逻辑是一种形式语言，其根本目的在 于把数学中的逻辑论证符号化。
基于10个网页-相关网页
In this knowledge base system model, we adopt both first order predicate logic (FOPL) and case knowledge representation modes to represent the knowledge.
在本知识库系统模型中，知识表示采用一阶谓词(SDSS)逻辑和案例两者相结合的方式。
youdao
应用推荐
模块上移
模块下移
不移动