排序方式: 共有38条查询结果,搜索用时 0 毫秒
1.
常识问题——常识推理的逻辑基础 总被引:1,自引:0,他引:1
林作铨 《计算机研究与发展》1997,34(6):407-414
本文主要讨论常识推理的逻辑基础,基于一条从非单调推理到常识推理的技术途径,由此指出在更一般意义上形式化常识推是的一些结果,它建立常识逻辑和解决常识问题提供了有用的基础工具。 相似文献
3.
4.
5.
6.
7.
采用一个全序的符号值集合来代替数值信任度集合[0,1],提出定性Dempster-Shafer理论来处理既有不确定性又有不精确性的推理问题.首先,定义了适合对不确定性进行定性表达和推理的定性mass函数、定性信任函数等概念,并且研究了这些概念之间的基本关系;其次,详细讨论了定性证据合成问题,提出了基于平均策略的证据合成规则.这种定性Dempster-Shafer理论与其他相关理论相比,既通过在定性领域重新定义Dempster-Shafer理论的基本概念,继承了Dempster-Shafer理论在不确定推理方面的主要特点,同时又具有适合对不精确性操作的既有严格定义又符合直观特性的定性算子,因此更适合基于Dempster-Shafer理论框架不精确表示和处理不确定性. 相似文献
8.
基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L^-+中,保证了所得到的缺省理论的所有扩张均不平凡,并通过一种弱变换可同时保证缺省扩张的存在性.为缺省理论定义了各种四值模型,使得缺省逻辑具有非单调超协调推理能力,并证明了L^-+中的缺省扩张与L中缺省理论的四值模型之间具有一一对应关系.四值模型描述了公式变换的语义,基于四值语义的缺省推理通过缺省理论的变换技术能在标准的缺省逻辑中实现. 相似文献
9.
常识问题——常识,人工智能与数理逻辑 总被引:1,自引:0,他引:1
林作铨 《计算机研究与发展》1997,34(6):401-406
本文提出了常识问题,通过确立常识准则和常识模型,指出一个建立常识逻辑的技术途径。 相似文献
10.
超协调逻辑(Ⅱ)—新超协调逻辑研究 总被引:3,自引:0,他引:3
这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有一定共性的理解,给出一个超协调逻辑的新定义,并给出在应用研究中提出的三类有代表性的新超协调逻辑,由于它们满足共同的逻辑性质,从而有一定的关系,特别是,它们与非单调逻辑密切有关,因此进一步提出一种相对于超协调性的超完全逻辑的定义与结果。 相似文献