有限Boole语义中公式的条件随机真度

基于条件概率的思想,利用赋值集的随机化方法,在有限Boole语义中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件相似度和条件伪距离,建立了条件随机逻辑度量空间,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。     

多粒度区间语言信息的C-OWH算子及其应用

研究了多粒度区间语言信息的集成问题,把连续的有序加权调和(C-OWH)平均算子拓展到多粒度区间语言环境中,提出了连续区间二元语义OWH(ITC-OWH)算子,并在此基础上提出了加权调和的ITC-OWH(WHITC-OWH)算子,有序加权调和的ITC-OWH(OWHITC-OWH)算子以及组合的ITC-OWH(CITC-OWH)算子,探讨了它们的一些性质。最后给出了基于这些算子的多粒度区间语言多属性群决策方法,实例分析结果表明该方法是可行的。     

基于语义的服务资源描述模型RDF4S

在已有的语义Web服务描述框架基础上,定义了一种语义Web服务资源描述模型RDF4S,该模型从功能、接口、执行和QoS 4个层面描述服务资源的语义信息,并基于该模型提出了一个语义Web服务资源发现框架.结合旅游预订系统的一个实例,展示了RDF4S 4层语义信息的描述能力和支持发现的能力,并给出RDF4S描述模型和其他语义Web服务描述模型的比较.该工作对基于语义信息进行服务的自动发现、组合和调用具有一定的参考作用.     

基于知识图谱科技创新资源智能推荐模型的设计与实现北大核心CSCD

近年来,随着科学技术的快速发展,科技成果信息数据规模呈指数型增长。在这些海量数据中蕴含着大量有价值的知识信息,如何从中筛选、整合并发挥这些知识信息的价值受到广泛关注。在此背景下,知识图谱应运而生,其中知识图谱中的知识推理成为研究热点,目前这一研究热点已在语义搜索、智能问答等方面取得重大成就。