【摘 要】
：
知识表示与推理(特别是非单调推理)是人工智能研究的重要问题之一.Eiter等人为语义网提出的回答集程序和描述逻辑相结合的描述逻辑程序,通过描述逻辑原子实现规则与本体
【机 构】
：
贵州大学 计算机科学与信息学院,贵州 贵阳 550025
【出 处】
：
2013年中国计算机学会人工智能会议
论文部分内容阅读
知识表示与推理(特别是非单调推理)是人工智能研究的重要问题之一.Eiter等人为语义网提出的回答集程序和描述逻辑相结合的描述逻辑程序,通过描述逻辑原子实现规则与本体之间的交互,获得本体基础上的非单调表达和推理能力.王以松等人证明描述逻辑程序的完备化和环公式可以精确刻画描述逻辑程序的回答集语义.在本文中,进一步证明了若完备化公式的模型不是回答集则一定存在终止环公式的反例.在此基础上,设计并实现了基于SAT求解器和描述逻辑推理机的计算描述逻辑强回答集的原型DLP SAT,并从实验角度探讨了该原型的有效性.
其他文献
多种群方法已被证明是提高演化算法动态优化性能的重要方法之一。多种群热力学遗传算法(Multi-Population Based Thermodynamical Ge netic Algorithms,MPTDGAs)使用一个
随着产业界数据量的爆炸式增长，大数据(Big Data)概念引发的热情也越来越高涨。产业界需求与关注点发生了重大转变：企业关注的重点转向数据，计算机行业正在转变为真正的信息
位于美国曼哈顿BML-Blackbird戏剧演出中心的“E空间”娱乐大厅(Espace),是一个现代化的演出场所。它可以容纳500人同时就餐和1000人的接待活动。这个面积约1万平方英尺的会
在不完美信息扩展式博弈的研究工作中,如何利用次优对手的弱点来获得更高的博弈收益是难点问题之一。常用方法是对手采用建模。该方法首先对对手的策略建立模型,然后对所
在房地产商贾云集的杭州，作为杭州市首家私营房地产开发企业“荣邦”是后起之秀，她成立于1999年，而今已成为杭城房地产业中的一匹骏马。眼下在杭城，“荣邦”开发的高品质的楼盘已
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
读玉新先生“十大丑恶现状”一文,敢于直言,颇有见地,宁偏颇而不姑息的精神,我深叹之!一时兴起,也作一文对之,与诸书友及玉新先生共争鸣。一、名人多,名家少本来“名人”与“
建立有效的态势指标是态势评估要解决的关键问题之一，引入粗糙集理论到态势指标提取中，针对常规粗糙集约简算法在应用中的样本指标提取困难和效率低下等问题和局限，采用一种
1则:伴音正常,图像颜色异常一般原因为:(1)图像处理电路U7内部不良。更换U7;(2)图像处理电路U2輬輳訛～輵訛輬脚外接电路元件不
1: normal sound, abnormal color image The g