The Use of Situation Theory in Context Modeling

At the heart of natural language processing is the understanding of context dependent meanings. This paper presents a preliminary model of formal contexts based on situation theory. It also gives a worked‐out example to show the use of contexts in lifting, i.e., how propositions holding in a particular context transform when they are moved to another context. This is useful in NLP applications where preserving meaning is a desideratum.     

复合模糊命题的弱逻辑关系及其运算方法

对模糊专家系统中的复合模糊命题的真值计算方法进行探讨,从实际应用中总结出复合模糊命题中的子命题之间所具有多种逻辑关系,诸如合联关系、析取关系、加权平均关系和弱逻辑关系,其中弱逻辑关系是笔者开发模糊专家系统时根据实际情况首次提出的一种新的逻辑关系,并总结出复合模糊命题的各种真值计算方法的适用范围。进而提出处理弱逻辑关系的方法,最后将弱逻辑关系与其它逻辑关系作比较。     

经典逻辑中的不确定性及其支持度

分析了经典逻辑中命题不确定性的存在性,提出了通过推理对命题不确定性的测度方法;详细描述了如何对原逻辑系统的扩展以建立具有不确定推理能力的新的逻辑系统URS;給出了URS的语法及语义,证明了URS的合理性与完全性定理,并与其它不确定推理方法作了比较.     

嵌入模糊逻辑的上下文存储与查询机制

上下文存储和查询是上下文感知计算的基础.而上下文的不确定性是上下文处理中不可回避的问题.为此,提出了一种嵌入模糊逻辑的上下文感知系统架构(FLECA).FLECA 将基本上下文信息转换成高层上下文语义,通过内嵌模糊逻辑引擎,实现对模糊上下文信息的全模糊存储和查询;同时基于神经网络,实现查询推理机制的学习和完善.实验表明引入学习机制能够有效提高FLECA 的适应性,从而为以用户为中心的应用提供有力的支撑.     

HNC语境框架及其语境歧义消解

词语在交际环境中往往有不同于单独出现时的语义,会造成一定的语境语义歧义。HNC理论从交互引擎的角度来考虑计算机如何处理语境语义歧义现象,形成了不同于其他语义网络的消歧办法。该文基于HNC语境理论的整体思路,阐述了计算机在语境框架下如何进行语境歧义消解,服务于提高自然语言处理的准确率。示例说明了该方法是可行且可实现的。     

视频语义上下文标签树及其结构化分析

视频内容具有非常强的时间关联和逻辑结构,镜头语义是视频内容理解的基本单元。 从符合人类认识理解视频内容的角度来看,镜头语义之间隐含着时间上、语义上、结构上的多种 上下文关联信息。合理地描述这种上下文信息至关重要。为此,首先采用一棵带有上下文标签的 标签树作为镜头语义上下文层次结构的表征模型,以序列化的镜头语义序列为底层叶节点,以内 节点的上下文标签表征镜头语义间的上下文关联,其树形结构与视频内容层次化表征形式一致, 能为视频内容理解提供显著的信息增益。然后,着眼于解决镜头语义从其序列结构向标签树的层 次结构转化,采用结构化支持向量机的分析方法,根据镜头语义序列和视频语义上下文标签树的 联合特性构造了语义上下文结构化函数和损失函数,实现了镜头语义的结构化分析。实验结果表 明,视频语义上下文标签树在时序性、层次性、领域性、逻辑性等方面具有良好的表征能力,而 基于结构化支持向量机的结构化分析方法在镜头语义上下文分析的准确率、召回率及F1 值表现 良好。     

信息集成中上下文知识的描述与推理

基于本体的语义信息集成主要解决了异构数据源之间的模式级异构,但对于分布环境下普遍存在的上下文异构无法解决,这导致用户从信息集成系统得到的结果仍然存在语义异构。针对这种不足,本文提出了一种上下文知识的形式化描述和推理机制,并将这种上下文机制引入基于本体的语义信息集成中,同时对其进行扩展,使得扩展后的语义信息集成系统可以自动检测和消除上下文语义异构,从而形成了完整的语义异构解决方案。     

上下文一致性错误及其处理对应用的影响

在普适计算环境中,上下文信息由于受到噪声等不可控因素的干扰,面临着一致性错误的问题。这些错误会影响应用的正常运行,使其表现异常甚至失效。目前已经有自动的一致性错误处理方法来保障应用所获取的上下文满足数据层面的一致性约束,然而在数据层面保持一致是否能提升应用的运行质量并不明确。系统地研究了这个问题,并基于一组真实的上下文感知机器人小车应用,设计了一系列受控实验,来分析和比较在模拟和真实世界中上下文一致性错误的处理方式对应用运行质量的改善程度及潜在的负面影响。利用该实验的分析结果,将有助于提高普适计算中上下文感知应用的运行质量。     

The Liar, Context and Logical Form

This essay attempts to give substance to the claim that the liar'sparadox shows the truth predicate to be context sensitive. The aim ismodest: to provide an account of the truth predicate's contextsensitivity (1) that derives from a more general understanding ofcontext sensitivity, (2) that does not depend upon a hierarchy ofpredicates and (3) that is able to address the liar's paradox. Theconsequences of achieving this goal are not modest, though. Perhapssurprisingly, for reasons that will be discussed in the last section ofthis essay, a natural account of the truth predicate's contextsensitivity appears to lead naturally to a version of the correspondencetheory of truth according to which the truth predicate can be understoodas a relation holding between a sentence and a salient set of contexts.The plan of this essay is as follows. Section 1 contains a generalaccount of context sensitivity. The purpose of this section is toisolate certain features of context sensitivity and formal methods oftreating them, which we will then apply to the truth predicate. Section 2then outlines two minimal conditions to be satisfied by a truthpredicate. In Section 3, I present a version of the liar paradoxthat results from these conditions and the assumption that the truthpredicate is not context sensitive in the sense described in sectionone. Finally, in section four, I provide what appear to be naturalconsequences of a truth predicate's context sensitivity. Section 4 isadmittedly speculative and points in the direction for future research.     

A Historical View of Context

This paper examines a number of the approaches, origins and ideals of context-aware systems design, looking particularly at the way that history influences what we do in our ongoing activity. As a number of sociologists and philosophers have pointed out, past social interaction, as well as past use of the heterogeneous mix of media, tools and artifacts that we use in our everyday activity, influence our ongoing interaction with the people and media at hand. We suggest that ones experience and history is thus part of ones current context, with patterns of use temporally and subjectively combining and interconnecting different media as well as different modes of use of those media. One such mode of use is transparent use, put forward by Weiser as ubicomps design ideal. One theoretical finding is that this design ideal is unachievable or incomplete because transparent and more focused analytical use are interdependent, affecting and feeding into each other through ones experience and history. Using these theoretical points, we discuss a number of context-aware system designs that make good use of history in supporting ongoing user activity.     

常州城市古建筑的传统文脉研究

本篇是从相对微观的角度去了解常州城市建筑的历史文脉,从而给予正在加快拆建中的常州城市建设的过程中应注意的建筑特色和文脉方面提供资料。在此不是要去批判现状,而是要在城市发展到一定的必要阶段,通过对常州传统建筑文脉的研究,理出思路,让城市文脉得以延续。     

具有分形特性的背景序列及其概念格

在国内外首次研究分形与概念格这两大领域之间的联系,提出了一种形式背景序列,这个形式背景序列将对应一个单位正方形中的图形序列,而这个图形序列的极限是一个分形图形。给出了分形背景序列的形式化表示方法,研究了这种分形背景序列的概念格序列的计算方法。证明了这个分形背景序列的极限概念格中的概念个数具有Hausdorff特性;对相应的极限图形定义了一个全新的维数:概念分数维,展示了两大领域联系的更多数据表征。     

移动情景感知环境下的WI-FI 室内定位技术及其实现

针对现有室内基于Wi-Fi 的指纹定位技术中指纹样本库会过时的问题,本文提出了一种基于众包的指纹更新 技术,该指纹更新技术能够结合实际的移动情境而不断更新样本库中的指纹,保持样本库中指纹的准确性,从而改进了已有的 基于Wi-Fi 的室内定位技术的精度。     

可能性缺省逻辑及其应用

本文分析了Yager用可能性理论框架来表示缺省知识的形式化方法,并测试了三类不同的应用方案,得到的结果与Reiter的缺省逻辑得到的结果相比较,表明只在具有严格的约束的缺省逻辑下,Yager的形式化方法才与Reiter的缺省逻辑具有一定的相关性,我们指出了它们在一般缺省理论下的不匹配处,并给出了以不动点机制抽改进方来消除这
些不匹配。     

命题逻辑等值演算的计算机实现

本文针对等值演算理论,通过数据结构和C 程序设计语言,分析了命题公式的逻辑结构,设计出用广义表单链表的存储结构,并在此基础上探讨了如何实现其基本操作,从而进一步阐明了复杂等值演算的计算机实现算法.     

语义信息集成中上下文仲裁器的设计与实现

已有的基于模式映射的语义信息集成能够解决分布数据源之间的模式异构,对于普遍存在的上下文异构则无法解决.首先提出一种将暗含的上下文语义进行形式化描述的方法,然后在基于模式映射的语义信息集成基础上,增加上下文仲裁器以自动检测和解决上下文异构.详细介绍了上下文仲裁器的工作原理、设计思想与实现细节.     

决策形势背景的命题推演

在形势背景的基础上,通过弱化形式概念构成的条件,定义了比形式概念更为广泛的认知基本单位,即命题。基于一些基本概念如必然命题和充分命题,给出了命题的一些相关性质及各种命题间的关系,以及获取一些新命题的有效方式。通过确定一个命题的程度即确定度,探讨了基于决策形式背景中的命题推理方法,为形势背景上的不确定推理提供了一种新的认知框架。     

基于布尔语义的Gentzen推导模型

布尔模型是信息检索系统的一种基础模型。给出了命题逻辑和布尔代数间的一种新的对应关系,其中布尔代数中的不等式对应Gentzen系统中的矢列式,使得当一个不等式在任意布尔代数中为真,当且仅当它所对应的矢列式是可证的。并且使得在信息检索中,针对信息的推理可以有效地转为偏序集上的运算。讨论的命题逻辑语言的运算符为、ù、ú;并且定义了项(a|t|t1ùt2|t1út2其中a是一个元素)来替代原先的公式和表示布尔代数中的元素。此外,定义了以布尔代数为论域的赋值v,将命题逻辑中的项赋值为布尔代数中的元素,并且如果tΔΓt vtΔΔt v,则矢列式ΓT D为真。最后给出了Gentzen系统下的可靠性和完备性定理的证明。     

汉语音节→汉字转换中的动态语境学习

本文从语言使用的局部性原理出发，引入动态语境网的概念，提出了在汉语音节→汉字转换中的动态语境学习方法，有效地提高了音节汉字的转换正确率。