基于可废止逻辑的动态预设推理模型：理论、构建与应用.docx
文本预览下载声明
基于可废止逻辑的动态预设推理模型：理论、构建与应用
一、引言
1.1研究背景与意义
在逻辑推理领域，可废止逻辑作为一种非单调逻辑，由DonaldNute提出，旨在形式化可废止推理。其核心在于处理那些并非绝对确定、可能因新信息出现而被推翻的推理规则。在缺省逻辑中，存在硬性规则、可废止规则以及废止者这三种不同类型的命题。硬性规则指定一个事实总是另一个事实的结论，具有绝对的确定性；可废止规则则指定一个事实典型地是另一个事实的结论，但这种结论并非必然，可能会被新的信息所改变；废止者则专门指定对可废止规则的例外情况。同时，还可以在可废止规则和废止者上赋予优先级，在演绎过程中，硬性规则始终会被应用
显示全部