摘要
本文研究了一般归纳推理与非单调推理的合理性问题。借助于归纳推理的局部合理性推论,本文修正了常见非单调逻辑的推理模式,从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
This paper studies the rational problem of general inductive reasoning and nonmonotonic reasoning. By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model.
出处
《中山大学学报论丛》
2000年第1X期68-72,共5页
Supplement to the Journal of Sun Yatsen University
关键词
非单调推理
归纳推理
局部合理性
nonmonotonic reasonign
inductive reasoning
local rationality
