自然推理系统中的假设前提引入与消去规则

• 作者: 王太忠
• 来源期刊: 西昌学院学报（自然科学版）
• 学科: 数学
• 关键词: 自然推理 假设前提 引入 消去
• 年，卷（期）: 2012,（2）
• 页码范围: 37-41
• 分类号: O141.1
• 字数: 6425字
• 语种: 中文

摘要

形式化的自然推理系统最显著的特点就是引入假设前提.在自然推理中,可以根据需要随时引入假设前提,但是推理的结论不能依赖于假设前提,因此假设前提在其完成了使命后,必须被消去.运用假设前提消去规则进行推理就是按照“如果A1,A2,…,An├B,那么A1,A2,…,An-1├An→B”的规则进行语形变换的过程,但是理解假设前提消去规则何以能够消去假设前提这个问题,涉及到对前提与结论之间真假制约情况的讨论,属于语义解释的范围.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王太忠	昭通师范高等专科学校中文系	8	2	1.0	1.0