人工智能第三讲 经典逻辑推理

第三讲经典逻辑推理3.1 基本概念3.2 自然演绎推理3.3 归结演绎推理3.4 与或形演绎推理如何实现推理？逻辑方法是自动证明中常用的方法如何进行逻辑推理？推理的过程怎样？怎么实现推理？柯南的推理过程观察结果??时钟与分钟重叠在一起时间是六点半?事实推理依据正常的时钟如果是六点半，那么时钟与分钟应该是分开的??规则推理结果?有人故意移动过时钟?结论人类的推理可以理解语义机器如何进行这样类似的推理？需要将推理的过程和理解分开，使其形式化推理的一般形式已知事实：事实1，事实2，...规则：如果事实1 那么结论1如果事实2 那么结论2….得到：结论1，结论2?将事实与规则借助一些符号来表示，推理过程就可以被形式化P: 某已知事实P → Q : 如果P，那么Q结论：Q符号与形式语言自然语言不适合计算机处理??她用红色水彩笔写了个蓝字。小王不方便接电话，他方便去了。需要一种无歧义，方便存储和表达的形式化符号表征体系?数理逻辑