逻辑标记转换系统下预备模拟与稳定划分

Luttgen等人将进程代数与时序逻辑相结合,提出了逻辑标记转换系统(logic labeled transition system,LLTS)以及相应的精化关系——LLTS预备模拟。为给出判定LLTS预备模拟关系的具体方法,从划分对概念出发,给出了与LLTS预备模拟之间构成同构的稳定划分对定义,并提出了与判定LLTS预备模拟商集对应的一般化关系最粗划分问题,证明了二者之间具有等价性。由此作为理论基础,给出了一个判定两个逻辑标记转换系统之间是否具有LLTS预备模拟关系的算子ρ,并验证了该算子的正确性,并以实例演示了该算子的具体操作步骤。

动态语境下逻辑连接标记语so的语用研究

在言语交际过程中,话语理解离不开语境要素。事实上,话语标记语是连接话语与语境的有效手段。本研究以关联理论为框架,重点考察了逻辑连接标记语so在言语交际过程中所体现的语用功能、言语行为及语用效果。其中,逻辑连接标记语so的主要语用功能表现为推导标记、话题标记、意图标记及话语填充标记。

语体因素对联合关系逻辑结构标记的影响

语言对语体有一定的适应性,文章以自然对话、自然独白和学术书面语三种材料中的联合关系逻辑结构标记为对象,并就对其有影响的语体因素进行分析,研究表明对联合关系标记产生影响的因素是呈动态变化的,任何一个微小因素的改变都会导致语体面貌发生改变,尽管影响语体的因素纷繁复杂,但依旧可以从复杂系统原理的视角进行具体的分析。

标记逻辑的TABLEAU判定过程

标记逻辑是一种重要的次协调逻辑，和｜≈是标记逻辑中的２种推理关系．二者都是次协调的，可以用统一的方法处理一致的知识与不一致的知识，是单调的，有基于归结的证明论，但不能保持经典逻辑中合理的推理，如三段论．｜≈是非单调的，在前提一致时等价于经典逻辑的推理关系，但缺少有效的证明论．

标记逻辑(APC)中蕴涵概念在本体和认知方面的比较及研究

众所周知 ,维持一个大型知识库的相容性是一件极其困难的事情 ,而一旦知识库中出现了不相容的信念 (belief) ,使用经典逻辑就再也无法有的推理了 ,因为任何结论都是此知识库的逻辑结果 ,这样 ,大量的有用信息就被屏蔽掉 为了解决这个问题目前已有一些方法 ,标记逻辑 (annotatedpredicatecalculus) ,简计为 (APC)〔1〕是其中比较有效的一个 本文将对标记逻辑中有关不相容性 (inconsistency) ,否定 (negation) ,蕴涵 (implication)在本体 (ontological)和认知 (epistemic)方面进行全面的比较及深入的研究 ,使得我们在实现实际的推理系统时 ,更加灵活 。

基于标记逻辑的非单调推理（I）

我们把标记逻辑定义在一个特殊双格上，通过比较标记选取结论，从而同时捕捉超协调（容错）推理和非单调推理，本文介绍标记逻辑程序的句法与语义构造，提出诱导序列及其极限的概念，给出极限存在的等价条件，并证明一个重要结果，诱导序列基本定理，它是后续讨论的基础。

面向标记分布学习的标记增强

多标记学习(multi-label learning,MLL)任务处理一个示例对应多个标记的情况,其目标是学习一个从示例到相关标记集合的映射.在MLL中,现有方法一般都是采用均匀标记分布假设,也就是各个相关标记(正标记)对于示例的重要程度都被当作是相等的.然而,对于许多真实世界中的学习问题,不同相关标记的重要程度往往是不同的.为此,标记分布学习将不同标记的重要程度用标记分布来刻画,已经取得很好的效果.但是很多数据中却仅包含简单的逻辑标记而非标记分布.为解决这一问题,可以通过挖掘训练样本中蕴含的标记重要性差异信息,将逻辑标记转化为标记分布,进而通过标记分布学习有效地提升预测精度.上述将原始逻辑标记提升为标记分布的过程,定义为面向标记分布学习的标记增强.首次提出了标记增强这一概念,给出了标记增强的形式化定义,总结了现有的可以用于标记增强的算法,并进行了对比实验.实验结果表明:使用标记增强能够挖掘出数据中隐含的标记重要性差异信息,并有效地提升MLL的效果.

语言复杂性背景下汉语逻辑关联机制的语体差异研究

语言是一种动态复杂适应性系统,其语法的范式复杂性、处理复杂性、表义复杂性等多种复杂性会形成互动关系。在汉语的现代化进程中,汉语语法的范式复杂性在整体上有所提升。汉语调用了更多的逻辑结构标记等明示性的逻辑关联手段以增强汉语的精密性。但语言也是一种由人驱动的复杂适应性系统,复杂性间的交互在各种语体中是有差异的。汉语逻辑结构标记的数量和分布在不同语体中呈现系统性差异,而语体的功能意图是造成这种差异的主要制约因素。

技术创新与教学改革研究——标记技术及其在英语视听说教学中的应用

本文基于现代英语视听说教学的实际需求、结合计算机科学中面向对象知识表示理论及面向对象方法学原理，提出并实现媒体文体逻辑标记技术，力求通过技术创新来建构新型教与学环境，推进以融信息技术于一体的教学内容和基于任务模式的网上自主学习为主要特色的、英语视听说课程的教改实践与研究。

逻辑LTS预备模拟关系的判定算法

进程代数与时序逻辑是并发理论中应用最为广泛的两大规范系统。近来,Gerald Luttgen等人将二者进行结合,提出了逻辑标记转换系统以及相应的精化关系——LLTS预备模拟。提出了一种LLTS预备模拟关系的等价描述方式——泛化预备模拟,并从划分对的角度出发,给出与该描述等价的稳定划分对概念。基于这一概念给出一种判定两个逻辑标记转换系统之间是否具有LLTS预备模拟关系的理论算法,并证明其正确性。

正规经典逻辑BFc的次协调性及推理悖论的解决(下)

经典逻辑BF是应用最广的一种系统,但存在悖理。本文指出,这仅是“推理”悖理,通过分析提出了解决方法,完成了次协调性的构造。

正规经典逻辑BFc的次协调性及推理悖论的解决(上)

经典逻辑BF是应用最广的一种系统,但存在悖理。本文指出,这仅是“推理”悖理,通过分析提出了解决方法,完成了次协调性的构造。

科技英语长句翻译新法初探

受奈达的表层句和深层句互换的翻译方法的影响 ,本文提出一种适用于科技文体长句翻译的新方法 .该方法立足于人类认知、思维的共同点 ,把长句中各概念间的内在逻辑联系作为理解和表达的核心 ,提出了增加逻辑标记语、将从句升级以及按时间顺序排列各概念的具体策略 .

多值知识编译

定义了一类新的易处理理论:s-EPCCL理论.在此基础上,提出了一种以s-EPCCL理论为目标语言的多值知识编译方法.该方法与现有知识编译方法不同的是,它可以对多值知识库进行编译.经过多值编译后,任意查询都可以在多项式时间内得到应答.

表达式的覆盖、分解与划分

本文把简单表达式（项和原子）视为语言Ｌ的Ｈｅｒｂｒａｎｄ域或Ｈｅｒｂｒａｎｄ基中的集合．作者提出覆盖表达式的概念，得到２个表达式之间覆盖关系的判别准则．对多个表达式，作者提出表达式的分解概念及相应的分解算法，在此基础上，本文给出卫个表达式覆盖多个表达式的等价条件．根据集合的划分公式，得到划分表达式的方法．最后定义１个变换把合取式转换为简单表达式，从而方便地把简单表达式的结果推广到合取式．本文是作者提出的一种标记逻辑程序的过程语义的理论基础．

英汉领属关系类名词短语中的缺省问题

英汉领属关系类名词短语都有成分缺省现象,在分析这些现象的基础上,试图发现缺省以及英汉语中此类短语存在不同缺省的相同和不同原因。

基于XML的次协调推理

标记逻辑是一种次协调逻辑系统,将XML用于表示标记逻辑,探讨了在这种表示之下标记逻辑线性推理规则和推理策略及其实现问题,并给出了推理实例.实例表明,使用XML能够很方便地表达标记逻辑,并且利用XML的辅助工具能够很方便地实现其推理机制.

并行与并发程序监测中的时钟系统设计

该文讨论了几种逻辑时钟系统和并行及分布式监测系统MS-1中的物理时钟,并比较了它们的优缺点。

基于逻辑结构标记的政治话语体系内部分化机制研究

政治话语体系构建关乎国家语言安全和国家语言战略。政治话语一度是汉语传统修辞学研究的热点,在语体研究中,政治话语也常常归属于政论语体研究的范畴。实际上,政治话语在语言策略的使用上并不同质,其内部呈现系统性分化,且受制于更深层的制约因素,语言的工具性是政治话语分化的根本动因。本研究选取三种词汇内容相似的政治话语语料进行分析,以其使用的逻辑结构标记为观察对象,发现三种政治话语内部逻辑关联方式呈现较大差异,而且政治报告话语与公文下行语体具有一定的相似性。话语策略是政治话语体系构建的基本支撑,对其形成机制的深入研究有利于更好地优化政治话语体系的构建。

模糊语言与翻译(Ⅰ)

正在为本讲打腹稿之时,得山两大学化学化工学院吴某某的email,主要内容如下: 我正在攻读药物分析学专业硕士学位,平常阅读大量国外文献并需要做许多汉英翻译工作。尽管获得了化学和英语两个专业的双学士学位,在研究工作中仍然遇到许多挑战。兹有几个句子比较难以翻译,恳望赐教,不胜感谢。