Skip to main content
David's Blog
Home
Computer Science
Basic
Network
Operating System
Database
MySQL
Redis
Algorithm
Framework
Summary
FAQ
Software Engineer
Lang
Java
Framework
Spring
ORM
DevOps
Unix
Docker
Kubernetes
Design
Design Principal
Design Pattern
OOD
System Design
Tools
Course
Rec Sys
Deep Learning
Block Chain
XR Tech
Standardized
GRE
QUANTITATIVE
VERBAL
TOEFL
LISTENING
READING
SPEAKING
WRITING
English
简体中文
推理
David Liu
Less than 1 minute
#
推理
#
推理的基本概念
推理的方向
正向推理
逆向推理
混合推理
推理流程图
假言推理
全称固化
#
自然演绎推理
#
谓词公式转化为子句集
Skolem 标准形式
单一子句只有析取
子句间合取
#
归结反演
一道题
先构造谓词公式
否定结论
把谓词公式集{
F
,
Q
} 化为子句集
S
。
归结
#
应用归结反演求解问题