岳安步
- 作品数：3 被引量：26H指数：2
- 供职机构：北京大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于四值语义的缺省逻辑被引量：3
- 2005年
- 基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得到的缺省理论的所有扩张均不平凡,并通过一种弱变换可同时保证缺省扩张的存在性.为缺省理论定义了各种四值模型,使得缺省逻辑具有非单调超协调推理能力,并证明了L+中的缺省扩张与L中缺省理论的四值模型之间具有一一对应关系.四值模型描述了公式变换的语义,基于四值语义的缺省推理通过缺省理论的变换技术能在标准的缺省逻辑中实现.
- 岳安步林作铨
- 关键词：缺省逻辑四值逻辑非单调逻辑超协调逻辑
- 一种XML的模型论语义被引量：23
- 2006年
- XML只能表示语法而不能表达形式化语义,这个问题导致XML数据集成以及扩展当前Web到语义Web非常困难.为了解决该问题,提出了一种XML语义定义语言XSDL,让XML文档作者清晰地表达XML文档中的语义信息,并提出了一种XML的模型论语义.这样,XML成为一种表达能力比资源描述框架(resourcedescriptionframework,简称RDF)稍弱的Web知识表示语言,且XML数据可以保留语义转换到RDF数据.此外,还提出了XML文档的语义有效性和XML文档的推理问题,并把它们规约到描述逻辑语言ΣΗΟΙΝ(?)的知识库不可满足性问题.
- 刘升平林作铨梅婧岳安步
- 关键词：XML语义语义WEB
- 超协调缺省逻辑
- 缺省逻辑适于对协调的知识进行表示和推理：前提中的矛盾导致平凡扩张而缺省规则中的冲突导致扩张不存在。为了保证扩张存在性，一种做法是对缺省理论加以限制，得到各种片断。然而对缺省理论的限制也削弱了它的表达能力。另一种方法则是提...
- 岳安步
- 关键词：缺省逻辑四值逻辑超协调逻辑
