数理逻辑

 翻译样例中心 >> 数学翻译样例 >> 数理逻辑

翻译样例: 非单调逻辑理论
版权信息   版权信息

直观上,常识(∞【nmonsence)是人们在现实世界中的日常生活知识,但要给它下一个精确的定义决非易事。与科学知识相比较,常识是灵活的,具有不完全性、不一致性、不确定性及进化性等特点。这就决定了依据常识进行演绎推理,具有所谓的非单调性(non—monotonicity):能推出的结论不随前提的增多而增多。非单词性是常识推理的最~ 般特征。由于人工智能(AI,Artificial Intelligence)研究者认识到,表示常识并以之进行推理是使计算机具有智能的基本前提,因此自70年代,开始了对非单调推理(non—raonotoni~reas~mng)的研究。

在传统的演绎逻辑中,推理过程具有单词性:增加新公理决不会减少定理集,只会随公理的加人单调地增加可推出的定理。特别指出的是,即使在公理组成不一致时仍然是单调的,因为当公式A与一A都为公理时,一切公式全为系统中的定理。

非单调推理可看成是基于这样一种常识原理的不完全推理:将不完全知识用某种方式固定化;转换不完全知识到相对完全的知识状态。设I1是一个初始信念集,△是一个假设集,定义一个理论集Σ=I1U△,使得对任一命题a,有Σ a或Σ—a。建立非单调推理方法就是要确保在△中相容地加人n,若发现不相容,则进行回溯,消除不相容,再建立新的假设集。

换句话说,非单调推理方法是一种通过对矛盾的修正,动态地进行相容性维护的知识保完全推理过程,这种对相容性与完全性的考虑是非单调推理研究的基本思想。

收稿邮箱: sotrans@126.com
QQ: 1169561052    MSN: jesczhao@hotmail. com

最新翻译样例

相关翻译样例

专业英语词汇频道