answer et编程及其应用研究.pdf

摘要 摘要 1988年M．Gelfond和VLifschitz共同为非单调逻辑编程创建了一种重要的模 义，由此发展出一种重要的非单调逻辑编程技术一Answ盯Set编程技术。作为该类 编程技术的核心，AnswerSet语义相对其它非单调逻辑编程语义理论简洁明了，它 充分利用了逻辑编程领域的已有成果，有效地实现了逻辑程序的非单调推理。目 前，AILcJWerSet编程不仅被公认为一种重要的知识表示工具，而且是逻辑编程与非 单调推理领域的研究热点。 在对AllSWer Set编程理论进行了探索性研究基础上，取得了如下创新性成果： 1．提出了一种利用基于ArlswerSet语义的权约束编程实现策略冲突自动消 解的新方法。随着策略的广泛应用，关于其冲突消解的研究愈来愈受到重视。在 目前存在的多种途径中，采用逻辑编程完成冲突消解具有自动化程度高、逻辑严 谨等优点。但是，原有方法却存在被消解的冲突种类受限、优化机制单一等缺点。 为克服以上缺陷，在完成策略语法与语义形式化定义、冲突捕获机制定义、冲突 分类以及冲突消解特性分析的基础上，本文充分利用了权约束编程特有的集合选 择紧凑表示能力以及灵活的优化语句，完成了冲突消解权约束程序建立等工作。 该方法不但扩展了被消解的冲突种类，而且提供了更为合理和灵活的优化机制， 有效地克服了原有方法的缺陷。 2．提出了一种基于事件的Web服务组合新方法。随着电子商务的普及，有 Intell． 关W曲服务自动组合的研究愈来愈受到重视。目前主要存在基于仙知缸ficial igence)规划和诸如UML(UmficdModelingLanguage)技术的两类途径。但是，由于 难以建立服务组合域，加之不完全信息的影响，因而前类方法难以实现，而后者 由于描述能力不足，因此无法满足用户的多样化需求。为获得一种既易于实现又 能满足用户多样化需求的服务组合的有效途径，本文在完成一种基于事件的服务 语言定义、用于描述服务组合的组合方案建立机制以及服务互斥性质分析的基础 上，通过AnswerSet编程表示组合方案，以获得实现组合服务目标的组合轨迹。 该方法充分利用了策略的动态执行能力和AnswerSet编程丰富的表示能力，不但 应该具有良好的应用前景而且能够满足用户的多样化需求。 3．利用Answer Set编程完成了ER模型(Entity-RelationshipModel)的逻辑表 摘要 Data 示。ER模型是一种重要的语义数据模型(Semantic Model)，至今仍被广泛地应 用于数据库设计中。针对ER模型的改进，目前主要存在基于图形表示和描述性逻 辑表示两种途径，但是，前者缺乏自动推理能力，而后者却存在表示能力弱、与 数据库兼容性不足等缺陷。为克服以上缺陷，本文在完成ER模型分类研究、ER 模式语义与语法形式定义的基础上，利用AnswerSet编程完成了ER模式的逻辑表 示。该方法不但为ER模型提供了一种新的逻辑表示途径，而且有效地克服了基于 描述性逻辑表示途径的缺陷。更为重要的是，它还为利用ER模式实现异构数据库 之间的语义协作提供了理论基础。 关键词AilswelSet，语法，语义，冲突消解，服务组合，Ell模型 II ABSTRACT ABS眦CT M．GelfondandV．Lifschitz establishedan kindofmodel collaborativelyimportant semantics--Stablemodelsemanticsfor in1 nonmonotoni