非单调数据库及其信念维护系统的研究与实现

首先分析了当前数据库研究中闭世界假设的局限性，认为不完全信息处理与信息维护是研制智能系统的重要内容。然后提出了基于缺省理论与基于假设的真值维护系统（Ａｓｓｕｍｐｔｉｏｎ－ｂａｓｅｄＴｒｕｔｈＭａｉｎｔｅｎａｎｃｅＳｙｓｔｅｍ，ＡＴＭＳ）的非单调数据库，建立了相应的模型，并简要介绍了关于ＡＴＭＳ推广到一阶Ｈｏｒｎ子句的思想。最后给出了我们研制的非单调数据库系统的结构、原理及部分实现机制。

澳网:一切皆有可能

每年度首个大满贯总是在球员们还未从上一赛季的疲惫中完全恢复就匆匆到来,每一年也总会有急需休息的巨星放弃参赛。今年的情况好像更严重,战幕还未拉开,桑普拉斯、亨曼、鲁塞德斯基、约翰森、哈斯、毛瑞斯姆、多克奇、辛吉斯已纷纷退出,不免令人失望。但伤病从来都是竞技体育的一部分,如同往年一样,它的遗憾也就到此为止,这一方舞台仍为无穷的惊奇敞开大门。