概述
逻辑表示法
规则表示法
语义网络表示法
框架表示法
面向对象表示法
逻辑
规则
语义
框架
对象
一阶谓词逻辑
原子公式
连接词(合取“
”、析取“
”、蕴涵“
”)
量词(全称量词“
”、存在量词“
”)
合式公式性质
谓词逻辑用于知识表示
形式化领域和非形式化领域
例题
返回
”、析取“
”、蕴涵“
”)
”、存在量词“
”)