上下文感知系统中的规则生成与匹配算法

针对现有上下文感知系统中的规则主要依靠开发者或用户手工定义的问题,提出了一种基于粗糙集理论的自动规则生成方法.该方法将上下文感知系统视为一种决策信息系统,并利用可辨识矩阵对上下文信息加以约简,进而自动生成规则.由于可供使用的数据有限,所生成的规则无法完全覆盖上下文的取值范围,因此可能出现找不到与上下文状态相匹配规则的问题.为了解决这一问题,提出了一种基于语义距离的规则匹配算法.最后验证了所提出方法的有效性和效率.

Gdel逻辑系统中广义语义HS规划和广义语义MP规则

将修正的Kleene逻辑系统中语义MP规则和语义HS规则推广后应用于G¨odel逻辑系统中,讨论了G¨odel逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α]-HS)规则,语义([α+]-MP)规则,语义([α+]-HS)规则的性质,使得对G¨odel系统中的广义重言式有了更进一步的认识,为G¨odel逻辑系统的应用和研究提供一个有益的工具。

系统H_a中广义语义MP规则与广义语义HS规则

基于一类带参数a的[0,1]上的t-模*a及与之伴随的蕴涵算子Ha(0≤a≤1)所建立的多值逻辑系统Ha,研究了当a=12时的多值逻辑系统H12.以H12为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H12中的各类广义语义MP规则与广义语义HS规则,并把系统H12中的相关结论推广到系统Ha(0<a<1)中.

分布式电源对配电网电流保护影响的语义规则库分析方法

为解决分布式电源(DG)接入传统配电网导致三段式电流保护无法正常工作的问题,提出了一种能判断一般的配网系统中DG接入对电流保护影响的语义规则库分析方法。首先,使用语义规则来设置DG对电流保护影响的校核,每条规则依次刻画了不同短路场景下对应电流保护的Ⅰ段、Ⅱ段和Ⅲ段正确动作的判定条件:若所有规则按顺序校验通过,则判断DG接入方案不会对三段式电流保护产生影响;反之,保护则可能拒动或误动。然后,提出一种应用该规则库的DG准入容量优化方法,通过规则库生成DG准入容量的约束条件,在保证三段式电流保护可靠动作的前提下,优化多个DG的接入容量使其容量之和最大。仿真结果表明:当DG接入容量在8.19 MV·A以内时,三段式电流保护均可以正确动作,所提方法不仅能准确求解配电网中DG的准入容量,而且操作简单、易于工程实现。

泛逻辑的中极形式系统中的广义重言式理论

论文对泛逻辑的广义重言式理论进行研究,给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的中极形式系统中,对于犤0,1犦内的任意有理数,均有可达重言式,且是类类互异的;给出有理点的一个升级算法;当α∈Q∩(0,1)时,犤α犦-MP规则与犤α犦-HS规则不成立。

“除非”条件句的语义和语用分析

“除非”条件句中条件与结果之间的语义逻辑关系有顺条件关系和逆条件关系两种;“除非”引导的条件不一定都是必要条件,也有例外条件;在实际使用中,“除非”条件句主要用来强调结果的绝对性或普遍性,而强调条件必要性的功能一般由“只有”条件句承担。

大气环境剧情生成技术研究

在基于模糊逻辑搜索原理的基础上,针对人类自然语言表述的大气环境信息需求,研究了面向仿真应用的大气环境剧情生成技术,快速自动地生成满足建模与仿真用户需要且物理一致的大气环境综合剧情。以剧情生成引擎为总体,分析了模糊逻辑搜索技术的原理与在环境剧情生成中的应用技术。针对建模与仿真用户用人类语言表述的大气环境信息条件,研究了大气环境剧情所需的语义规范和物理规则。实现了剧情数据产品的生成与可视化,为建模与仿真应用对大气环境剧情的需求提供了技术支持。

基于关联词的主题模型语义标注

互联网主题分析中经常采用概率主题模型对主题进行描述,但存在对于一般用户难以理解的问题,提出一种概率主题模型的自动语义标注方法.首先通过基于语义分类的关联规则挖掘关联主题词并建立候选标签集合,然后以关联词在数据集中的概率分布来设计相关性判别函数,计算候选标签和主题模型的相关度,最后根据最大边缘相关选择高语义覆盖度和区分度的标签.在食品安全和旅游领域主题模型标注的实验表明,与最大概率主题词标记方法相比,提出的方法能够明显提高标注的准确性,并且解决了多标签标记中语义类别单一的问题,能够以较少数量的标签表达更为丰富的语义,这有助于进一步实现更为准确的主题跟踪和主题信息检索.

汉语自然语言生成的句子结构优化

介绍汉语天气预报自动生成系统中句子结构优化的方法。该系统通过分析气象数据而生成天气预报文本，文本在计算机内部使用文本结构树表示，该结构通常具有一定的冗余性。采用一种基于语义的规则驱动方法来消除句子之间的信息冗余，从而使生成的文本更加自然流畅，增加可读性。句子优化的主要类型、系统的构造以及规则的定义方法均在文中作了详细的说明。

泛逻辑的基本形式系统中的广义重言式理论

本文首次对泛逻辑的广义重言式理论进行研究。给出了泛逻辑的基本形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的基本形式系统中,对于[0,1]内的任意有理数,均有可达重言式,对于其中的无理数,均没有可达重言式;给出F(S)的一个分划;给出[α]-MP(α∈I_Q)规则成立的一个充分条件。

逻辑系统,W,W_k中的广义语义HS规则和广义语义MP规则

研究模糊命题演算的形式演绎系统 L*及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,引入语义 [α]- MP规则 ,语义 [α+ ]- MP规则 ,语义 [α]- H S规则 ,语义 [α+ ]- H S规则等概念 ,并对这些规则的性质进行讨论 ,进一步加强该系统中的 Σ- (α-重言式 )的相应结果 ,丰富该系统中 Σ- (α-重言式 )的内容 ,为进一步研究该系统提供一个有益的工具。

修正的RDP逻辑系统中的广义重言式理论

提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。

逻辑系统H_α中广义语义MP规则证明的改进

将修正的Kleene逻辑系统中语义MP规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α+]-MP)规则,使得对Hα系统中的广义语义MP规则有了更进一步的认识。另外,逻辑系统Wˉ中的广义语义MP规则也成为一个特例。

修正的Kleene系统中的一种降级算法及其性质

通过对模糊命题演算的形式演绎系统L*及修正的Kleene逻辑系统W,W,Wk的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算法并讨论了它的性质和应用,最后在广义矛盾式理论中讨论了广义语义HS规则和广义语义MP规则,为进一步对修正的Kleene逻辑系统的研究提供一个有益的工具.

逻辑系统H_α中广义语义HS规则证明的改进

将修正的Kleene逻辑系统中语义HS规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义[α]-HS、[α+]-HS等规则,使得对Hα系统中的广义语义HS规则有了更进一步的认识.

手机3D动画中基于导演知识库的摄像机规划

基于全过程计算机辅助动画自动生成技术构建的手机3D动画自动生成系统的最终目标是实现短信内容自动动画化.摄像机规划作为传达动画主题的直接方式,是手机3D动画自动生成系统的关键环节,并已经在系统中建立了完整的定性和定量规划流程.本文在现有相关理论研究的基础上,归纳总结摄影领域的通用性规则,利用语义网本体语言构建摄像机导演知识库,并基于导演知识库完成了摄像机定性规划的两层规则推导,最终实现手机3D动画自动生成系统中摄像机规划的自动生成.

古建动画自动生成系统中构件推理的设计实现

全过程计算机辅助古建动画自动生成系统可以根据用户对建筑结构的描述,自动生成三维动画来表现古建的搭建过程,其中古建知识库是重要的组成部分。古建知识库采用语义网络技术构造,包括本体库和规则库。出于对效率的考虑,采用Jess技术,设计并实现了一个满足古建动画自动生成系统需求的解决方案。全文着重论述了这个高效的解决方案的设计思想和实现技术,并对结果进行了分析和展示。

一种网络访问控制语义相容性推理规则自动生成技术

针对网络访问控制语义相容性本体推理规则编写繁琐、效率低且易出错的缺陷,提出了基于Lex&Yacc的访问控制语义相容性本体推理规则自动生成技术。分析了推理规则生成的相关技术,构建了推理规则生成算法,进行了算法的复杂度实验。实验结果表明,该算法能生成满足本体推理需要的推理规则,效率及正确性高。

逻辑系统RDP中广义重言式的语义MP、HS规则

将修正的Kleene逻辑系统中的语义MP规则和语义HS规则推广后应用于RDP逻辑系统,讨论了RDP逻辑系统中广义重言式的广义语义MP规则和广义语义HS规则,得出在逻辑系统D1/2中,广义语义(1/2)+-MP,(1/2)+-HS,1-MP,1-HS规则成立,而广义语义1/2-MP,1/2-HS规则不成立。