申请试用
HOT
登录
注册
 
018-Inference in First Order Logic

018-Inference in First Order Logic

飞飞fly
/
发布于
/
1720
人观看
This chapter is mainly about inference in first order logic,which generally includes inference rules for FOL,generalized modus ponens,resolution for FOL,converting FOL sentences to clause form,conversion procedure to CNF and so on.
12 点赞
2 收藏
0下载
相关文档
确认
3秒后跳转登录页面
去登陆