【摘 要】
：
非单调逻辑是人工智能研究领域的一个重要方向,为不同的逻辑规则提供相应的语义特征(即,建立表示定理)是非单调逻辑研究中的重要内容之一。占优后承是非单调逻辑中研究和应用
论文部分内容阅读
非单调逻辑是人工智能研究领域的一个重要方向,为不同的逻辑规则提供相应的语义特征(即,建立表示定理)是非单调逻辑研究中的重要内容之一。占优后承是非单调逻辑中研究和应用较为广泛的一种推理系统。近年来,K.Britz,J.Heidema和W.Labuschagne以溯因推理为直观背景,在经典的占优后承基础上引入了对偶占优后承的概念。本文旨在研究对偶占优后承的表示定理,主要工作包括如下方面:1.研究了对偶占优后承的语义,并利用经典的构造占优模型的方法给出了对偶占优后承的表示定理。2.对K.Britz提出的合理右弱律的语义特征展开研究,基于层化占优模型建立了DP+RRW系统的表示定理。3.将占优后承的(?)_D(·)算子引入对偶占优后承的语义研究中,证明了(?)_D(·)算子保持占优模型生成的对偶占优后承。4.通过构造反模型说明了一系列非HORN型规则对偶占优后承不具有普遍性,并着重研究了Dual Weak Determinacy(DWD)规则的语义特性,基于(?)_D(·)算子建立了DP+DWD的表示定理。
其他文献
随着互联网的飞速发展,网络媒体已成为人们获取信息的重要来源,网络纷繁复杂的内容信息对社会大众的影响力大大提高。传统的由专业人员通过人工方式对新闻语料进行分析,并提
随着互联网迅速崛起,其用途已经涵盖了生活的方方面面。以社交网络为主流的互联网应用越来越受到人们的关注。随着移动终端技术和无线接入技术的兴起,移动互联网应运而生,也
随着二十一世纪电子商务的迅速发展，用户通过互联网进行网络购物的活动越来越频繁，这就促使人们不断改进网络服务来满足顾客的需求。而在电子商务系统中，顾客势必要通过搜索服务
随着军事侦察、环境监测等领域的无线传感器网络的出现,安全已成为一个重要问题。其中蠕虫洞攻击(Wormhole Attack)能够破坏或禁用无线传感器网络。在典型的蠕虫洞攻击中,攻
随着国家在教育方面的大力投入,教育部提出“建设数字化校园网工程的决议”,近年来各高校网络的发展也迈出了突飞猛进的步伐,信息化程度也越来越广、越来越深,基于数字化校园
节点定位技术是无线传感器网络的关键技术之一,这是因为在无线传感器网络的应用中,只有当节点和被感知的物体的位置是可知的,节点获得的信息才有意义。由于锚节点的成本要远
自进入二十一世纪以来,我国人口老龄化现象加重以及现有医疗服务资源在城乡间分布不均匀,居民健康问题在我国受到的关注正在逐步加强。心脑血管类疾病更是危害现代人健康地工
目前,人脸检测是计算机领域重点研究方向之一,无论在科研领域还是商用领域都具有较大的研究价值。在科研领域上,检测问题是计算机视觉领域的一个基础性课题。人脸检测在人脸
机器人是人工生命中具有不少价值的应用实例,其中足球机器人是机器人的一个典型实例,本文以足球机器人作为多人工生命体的研究平台。足球机器人系统是一种移动机器人系统,其
随着网络技术的飞速发展,视频会议、远程教育、网络游戏等实时业务的兴起对网络的承载力提出了更高的要求,组播通信的方式成为支持多媒体业务的主要形式。不同的实时业务对Qo