论文部分内容阅读
信念修正中一个关键的问题就是对不一致信息的处理.文中提出一种新的策略,在对不一致信息的处理过程中,通过弱化矛盾信息而不是完全丢弃来维护知识库的一致性.这种方法遵循了最小改变原则,使信息丢失尽可能小从而保留了更多的有用信息.并讨论了其性质及满足AGM公设的情况.
弱化矛盾信息的一种修正方法
【摘 要】
：
信念修正中一个关键的问题就是对不一致信息的处理.文中提出一种新的策略,在对不一致信息的处理过程中,通过弱化矛盾信息而不是完全丢弃来维护知识库的一致性.这种方法遵循了
【机 构】
：
厦门大学计算机系
【出 处】
：
微机发展
【发表日期】
：
2005年12期
其他文献
在红旗Linux平台上实现一个新疆地区维吾尔语与汉、英等多语种操作系统.阐述了维吾尔语与汉、英等语言在计算机处理方面的差异,利用Linux系统国际化、本地化接口,定制了本地
B／S模型是软件开发的主流技术，在实际应用中也日益成为主导技术。部署在Liaux系统下的B／S系统在高并发的应用环境中往往会产生2种类型的服务瓶颈问题。通过分析这些问题，提出了一
设计和开发了一个在网络上具有良好使用性能的通用不精确正向推理机.采用了Java语言和EJB技术来实现通用不精确正向推理机,并以中间件的形式实现了对知识库的操作.文中介绍了
通过对时延约束组播路由网络模型的分析，提出了一种基于拉格朗日松弛法的时延约束的低代价组播路由算法（LR—DLMR）。由于封闭图对原网络的多播不可达问题，该算法并没有构建原网络
WWW上的缓存技术被认为是改进Web性能的有效技术之一,微软的新一代开发语言ASP.NET为开发人员提供了十分完善的缓存服务机制.文章介绍了ASP.NET缓存服务的基本特点以及ASP.NE
AT89C2051是美国ATMEL公司生产的低电压、高性能CMOS8位单片机，采用高密度、非易失性存储技术生产，兼容标准MCS～51指令系统，适合许多高性价比的应用场合。文中采用AT89C2051芯片