|
|||||
|
|
| 自然推理系统P中的P∧Q■P | |
| 引用本文： | 孟令江.自然推理系统P中的P∧Q■P[J].河北大学学报(自然科学版),2009,29(3). |
| 作者姓名： | 孟令江 |
| 作者单位： | 唐山师范学院,数学与信息科学系,河北,唐山063000 |
| 摘 要： | 逻辑推理理论是计算机应用人才必备的重要基础理论之一.在自然推理系统P中,推理依据一般建立在包括P∧Q■P规则在内的多条公理式规则基础上.推理规则是不可逆行的单向过程,而在自然推理系统进行中,信息量只能减少,不可能增加.P∧Q■P恰好表现了信息量减少这一特征.因此,一切推理规则均以P∧Q■P为基础. |
| 关 键 词： | 蕴含 推理系统 三段论 P∧Q■P规则 |
| 本文献已被 万方数据 等数据库收录！ | |