- 1、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,可选择认领,认领后既往收益都归您。。
- 2、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形,可联系本站下载客服投诉处理。
- 3、文档侵权举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
§2.6谓词逻辑法2.6.1命题逻辑与谓词逻辑命题逻辑和谓词逻辑是最早用于人工智能的两种基本逻辑方式,常用于对知识的形式化表示和对数学定理的证明。命题是用来表示人类进行思维活动时的一种判断,有真命题(T)和假命题(F)之分。“2>1”即为“T命题”“地球是方的”即为“F命题”一个命题不能既为真又为假,但可以在一定限制条件下为真或假。“1+1=10”在二进制条件下为“T命题”,在十进制条件下为“F命题”命题逻辑是将客观世界的各种事实用逻辑命题的形式表示出来,但其只能进行命题间关系的推理,而无法解决与命题结构和成分有关的推理问题。命题P:张华是张明的哥哥无法表述出张华和张明
文档评论(0)