人工智能(2.2.4)--知识表示方法2.pptVIP

逻辑推理是人类另一常用的问题求解技术如何进行逻辑推理？推理的过程怎样？怎么实现自动推理？所有这些问题的基础首先必须是怎样用适合逻辑推理的方式表示问题谁是马克谁是约尔？观察结果马克是右撇子，手表戴在左手约尔是左撇子，手表戴在右手推理规则如果手表戴在左手，那么他是马克如果手表戴在右手，那么他是约尔事实规则人类的推理可以理解语义机器如何进行这样类似的推理？需要将推理的过程与理解分割开，将其形式化结论只是穿着不同衣服的同一个人——约尔 已知：事实1，事实2，… 如果事实1那么结论1 如果事实2那么结论2 …. 得到：结论1，结论2，…将事实与规则等抽象出来，不涉及具体内容，借助一些符号来表示，推理过程可以被形式化 P：某已知事实 P→Q：如果P那么Q 结论： Q 这个过程不需要直觉和解释自然语言不适合计算机处理例：用红墨水写一个“蓝”字，请问，这个字是红字还是蓝字？需要一种无歧义，方便存储和表达的形式化符号表征体系数理逻辑命题逻辑谓词逻辑什么是谓词？原子命题中刻画个体的性质或个体间关系的成分谓词逻辑是一种形式语言是目前为止能够表达人类思维活动规律的一种最精确的语言接近自然语言，又方便存入计算机处理最早应用于人工智能中表