【摘 要】
：
CP-nets是一种简单而又直观的图形化偏好表示工具,成为近几年人工智能的一个研究热点,然而对于CP-nets的可满足性和一致性等相关性质的研究还很欠缺.既没有给出严格的定义,也
论文部分内容阅读
CP-nets是一种简单而又直观的图形化偏好表示工具,成为近几年人工智能的一个研究热点,然而对于CP-nets的可满足性和一致性等相关性质的研究还很欠缺.既没有给出严格的定义,也没有探讨不同性质之间的联系,没有一个求可满足性序列的通用算法.从研究CP-nets的可满足性和一致性的关系着手,得出了任意结构二值CP-nets的可满足性判定算法及可满足性序列生成算法.首先通过构造CP-nets导出图及其性质的研究,得出CP-nets的可满足性及一致性的相关定理.再把不同性质结合起来分析,给出CP-nets可满足
其他文献
近年来,互联网上的RDF三元组数量增长迅速,传统的单机SPARQL查询处理技术已不能满足实际需要.现有的分布式SPARQL查询处理系统可以分为2类,基于Hadoop的,或是基于数据库集群的.前者主要采用Map?Reduce来处理查询,效率较低;后者则继承了传统数据库集群的缺陷,可扩展性较差.提出一个新颖的SPARQL查询处理系统FusionDB.该系统采用分布式查询处理引擎和HDFS,这样既可以受
乡镇人大是我国最基层的国家权力机关,承载着确保宪法法律在基层实施,代表人民群众管理社会经济文化事务,保护公民和法人的合法权益,确保人民当家作主民主权利的实现的重任。
以2004年在小兴安岭帽儿山地区栽植的兴安落叶松(Larix gmelinii)为研究对象,在2012年,经过100%减雨、50%减雨、冬季除雪和对照4种处理,在控雨的前期(6月)和后期(8月)用微生长锥取样利用石蜡切片方法测量扩大细胞的径向长度和数量。在10月末用生长锥取样,打磨后测量成熟管胞的径向长度和数量,进而分析降水减少对兴安落叶松径向生长的影响。结果表明:在帽儿山地区,生长季温度与兴安落
新修订颁布的《娱乐场所管理条例》从今年3月1日起施行。其中最引人注目的是，条例明确规定：国家机关及其工作人员不得开办娱乐场所，也不得参与或者变相参与娱乐场所的经营活动；还
黄昆院士于2005年7月6日16时18分在北京病逝。本文作者曾作为为数不多的几位记者独家专访过黄昆院士，此文是作者惊悉黄昆院士病逝后的回忆，有感而发。本刊谨以此文纪念黄昆院士
首款具有自主知识产权的新型环保汽车空调压缩机——旋叶式汽车空调压缩机．在浙江中宝实业(集团)股份有限公司试制成功后．现已通过各项检测与验证。据了解，该型压缩机由浙江中宝
我国现行的财政体制公开性和透明度不高,预算监督制度不完善,相当部分收支避开人大监督。上杭县人大常委会以"五个转变"由虚到实,力图实现预算审查监督的历史性突破。这些改
问《人民政坛》编辑部:我是一名县人大代表,生活在农村,每天都直接与农民群众和农村基层干部接触,经常听到群众议论一些村委会及村干部的工作缺乏公正性,有的甚至不按法律规
2003年12月16日,大田县政府有关人员在建设镇、广平镇向吴碧琴、林进宽等人大代表、部分村民和当地政府领导通报了县政府关于梅广公路拓宽征用水田尚欠农户的粮食补偿费24007
随着我国的经济不断发展,整个的水利工程也在规模扩建,从而带来了一系列的环境问题,水土流失的地域面积 加大,水土流失的分布不规则,强度相对较小,水土流失的危害增大等这些