排序方式: 共有21条查询结果,搜索用时 0 毫秒
1.
苏开乐 《计算机工程与科学》1998,20(4):37-41
D.W.Etherington提出了一类总是有扩充的缺省理论,即有限有序缺省理论,同时使用接连近似的方法给出产生这类缺省理论的所有扩充的算法,并证明该算法对有限有序网络缺省理论总是收敛到一扩充。本文首先举例说明D.W.Etheringtond的算法对一般的有限有序缺省理论并非总是收敛,然后给出了该算法对
对一般的有限有序缺省理论收敛的一个充分条件。 相似文献
对一般的有限有序缺省理论收敛的一个充分条件。 相似文献
2.
常识问题——常识推理的逻辑基础 总被引:1,自引:0,他引:1
林作铨 《计算机研究与发展》1997,34(6):407-414
本文主要讨论常识推理的逻辑基础,基于一条从非单调推理到常识推理的技术途径,由此指出在更一般意义上形式化常识推是的一些结果,它建立常识逻辑和解决常识问题提供了有用的基础工具。 相似文献
3.
Internet上的软件Agent 总被引:14,自引:2,他引:14
本文首先介绍了Agent的基本概念及其相关理论、体系结构的语言。然后较详细地介绍软件Agent方面典型工作。最后,阐释Internet软件Agent有关思想,并给出一些相应的研究结果。 相似文献
4.
常识问题——常识,人工智能与数理逻辑 总被引:1,自引:0,他引:1
林作铨 《计算机研究与发展》1997,34(6):401-406
本文提出了常识问题,通过确立常识准则和常识模型,指出一个建立常识逻辑的技术途径。 相似文献
5.
6.
7.
超协调逻辑(Ⅱ)—新超协调逻辑研究 总被引:3,自引:0,他引:3
这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有一定共性的理解,给出一个超协调逻辑的新定义,并给出在应用研究中提出的三类有代表性的新超协调逻辑,由于它们满足共同的逻辑性质,从而有一定的关系,特别是,它们与非单调逻辑密切有关,因此进一步提出一种相对于超协调性的超完全逻辑的定义与结果。 相似文献
8.
汉语分词系统中的信息集成和最佳路径搜索方法 总被引:11,自引:1,他引:10
复杂的汉语分词系统中,各种信息的有效集成是系统实现的关键。本文介绍了分词系统SegTag中信息集成方法,并讨论了信息集成结构中的两种最佳路径搜索方法。最后,我们给出实验结果和结论。 相似文献
9.
本文提出了一个描述并行处理环境下程序动态特性的多类命题动态逻辑和多类结构,并使用MPDL描述一个实际问题。本文使用了新算子G^ij来描述并行程序间的关系,最后,本文简单地讨论了MPDL的一致性和完备性。 相似文献
10.
一个Web站点自动生成系统 总被引:1,自引:0,他引:1
1 引言目前,Internet/Intranet正在飞速发展,而Web是Internet/Intranet上一种最有效的信息交流方式,用户可以通过访问Web站点来获得信息、服务,并反馈意见。因此,对于普遍的政府部门、企业、学校等单位来说,迫切需求建立Web站点,也需要一种能快速生成与维护Web站点的工具。然而,现存的FrontPage等HTML页面编写工具,自动化、智能化程度不高,操作复杂烦琐,要求用户具有较高的计算机技能,普通用户难于掌握。因此,给出一个Web站点自动生成工具,帮助企事业单位方便、快速地建立起Web站点是非常有意义的。 相似文献