超协调限制逻辑的计算复杂性分析

超协调限制逻辑LPc是一种同时具有非单调性和超协调性的非经典逻辑，它可作为在不完全与不协调知识下常识推理的形式化.给出了命题LPc的计算复杂性结果和算法实现，指出LPc是NP完全问题，并给出了将LPc转化为等价的优先限制逻辑的线性时间算法，由于限制逻辑具有实用的实现算法且可用归结方法实现，因而该算法为LPc的实现提供了新的途径.     

Internet上的软件Agent

本文首先介绍了Ａｇｅｎｔ的基本概念及其相关理论、体系结构的语言。然后较详细地介绍软件Ａｇｅｎｔ方面典型工作。最后，阐释Ｉｎｔｅｒｎｅｔ软件Ａｇｅｎｔ有关思想，并给出一些相应的研究结果。     

关于D.W.Etherington的扩充产生算法的一个注记

Ｄ．Ｗ．Ｅｔｈｅｒｉｎｇｔｏｎ提出了一类总是有扩充的缺省理论，即有限有序缺省理论，同时使用接连近似的方法给出产生这类缺省理论的所有扩充的算法，并证明该算法对有限有序网络缺省理论总是收敛到一扩充。本文首先举例说明Ｄ．Ｗ．Ｅｔｈｅｒｉｎｇｔｏｎｄ的算法对一般的有限有序缺省理论并非总是收敛，然后给出了该算法对
对一般的有限有序缺省理论收敛的一个充分条件。     

常识问题——常识推理的逻辑基础

本文主要讨论常识推理的逻辑基础，基于一条从非单调推理到常识推理的技术途径，由此指出在更一般意义上形式化常识推是的一些结果，它建立常识逻辑和解决常识问题提供了有用的基础工具。     

常识问题——常识,人工智能与数理逻辑

本文提出了常识问题，通过确立常识准则和常识模型，指出一个建立常识逻辑的技术途径。     

Intranet搜索索引自动生成工具Weblndex

本文在分析几种典型Ｉｎｔｅｒｎｅｔ搜索引擎的基础上,设计实现了一种面向Ｉｎｔｒａｎｅｔ的信息收集ａｇｅｎｔ,着重阐述了ＷｅｂＩｎｄｅｘ,一个基于ＩＩＣＡ体系的Ｉｎｔｒａｎｅｔ搜索索引自动生成工具。该系统克服了现有产品的一些缺点,在系统的可伸缩性、可移植性和中文处理能力方面有明显的改进。     

超协调逻辑（Ⅱ）—新超协调逻辑研究

这是关于超协调逻辑研究的第二篇。文中，基于对超协调逻辑应具有一定共性的理解，给出一个超协调逻辑的新定义，并给出在应用研究中提出的三类有代表性的新超协调逻辑，由于它们满足共同的逻辑性质，从而有一定的关系，特别是，它们与非单调逻辑密切有关，因此进一步提出一种相对于超协调性的超完全逻辑的定义与结果。     

汉语分词系统中的信息集成和最佳路径搜索方法

复杂的汉语分词系统中，各种信息的有效集成是系统实现的关键。本文介绍了分词系统ＳｅｇＴａｇ中信息集成方法，并讨论了信息集成结构中的两种最佳路径搜索方法。最后，我们给出实验结果和结论。     

基于并行处理环境的多类命题动态逻辑系统

本文提出了一个描述并行处理环境下程序动态特性的多类命题动态逻辑和多类结构，并使用ＭＰＤＬ描述一个实际问题。本文使用了新算子Ｇ＾ｉｊ来描述并行程序间的关系，最后，本文简单地讨论了ＭＰＤＬ的一致性和完备性。     

一个Web站点自动生成系统

1 引言目前,Internet/Intranet正在飞速发展,而Web是Internet/Intranet上一种最有效的信息交流方式,用户可以通过访问Web站点来获得信息、服务,并反馈意见。因此,对于普遍的政府部门、企业、学校等单位来说,迫切需求建立Web站点,也需要一种能快速生成与维护Web站点的工具。然而,现存的FrontPage等HTML页面编写工具,自动化、智能化程度不高,操作复杂烦琐,要求用户具有较高的计算机技能,普通用户难于掌握。因此,给出一个Web站点自动生成工具,帮助企事业单位方便、快速地建立起Web站点是非常有意义的。