河北大学学报(自然科学版)
河北大學學報(自然科學版)
하북대학학보(자연과학판)
JOURNAL OF HEBEI UNIVERSITY(NATURAL SCIENCE EDITION)
2009年
3期
238-240
,共3页
蕴含%推理系统%三段论%P∧Q(→)P规则
蘊含%推理繫統%三段論%P∧Q(→)P規則
온함%추리계통%삼단론%P∧Q(→)P규칙
逻辑推理理论是计算机应用人才必备的重要基础理论之一.在自然推理系统P中,推理依据一般建立在包括P∧Q(→)P规则在内的多条公理式规则基础上.推理规则是不可逆行的单向过程,而在自然推理系统进行中,信息量只能减少,不可能增加.P∧Q(→)P恰好表现了信息量减少这一特征.因此,一切推理规则均以P∧Q(→)P为基础.
邏輯推理理論是計算機應用人纔必備的重要基礎理論之一.在自然推理繫統P中,推理依據一般建立在包括P∧Q(→)P規則在內的多條公理式規則基礎上.推理規則是不可逆行的單嚮過程,而在自然推理繫統進行中,信息量隻能減少,不可能增加.P∧Q(→)P恰好錶現瞭信息量減少這一特徵.因此,一切推理規則均以P∧Q(→)P為基礎.
라집추리이론시계산궤응용인재필비적중요기출이론지일.재자연추리계통P중,추리의거일반건립재포괄P∧Q(→)P규칙재내적다조공리식규칙기출상.추리규칙시불가역행적단향과정,이재자연추리계통진행중,신식량지능감소,불가능증가.P∧Q(→)P흡호표현료신식량감소저일특정.인차,일절추리규칙균이P∧Q(→)P위기출.