基于特征的粒范畴模型

粒计算理论还没有公认的统一模型,为了解决这个问题,从粒的定义、特征及其表示出发,借助经典范畴学理论,分别给出了粒范畴、粒态射、粒外推的概念,并分别对它们进行了形式化表示,且给出了利用粒外推的形式化方法实现了粒合并的一种算法,从而实现了用粒范畴进行信息处理的一种粒计算模型-粒范畴模型。这一研究成果说明粒范畴模型可以视为适合于解决问题域系统分解和组合的形式化认知工具,该模型的建立,有利于推动粒计算学科的研究与发展。     

粒及其特征研究

目前粒计算理论还没有统一的粒定义,为了解决这个问题,首先阐明了"粒是一种模型、抽象单位"的观点,在此基础上给出了粒的抽象定义,接着研究了粒的独立与依赖、具体与抽象、清晰与模糊、静态与动态、整体与部分等5种双重身份,说明了粒的内在、外在、环境等3个基本属性,论述了粒的对象、特征、关系、状态等4个基本要素,这些研究成果为粒的形式化表示打下了坚实的基础,有利于推动粒计算学科的研究与发展。     

粒集的扩展及其描述

在作者提出的粒计算新模型——粒集理论的基础上,通过把映射由单向性扩展为双向性的做法,提出了对象粒集、描述粒集和扩展粒集等概念,并对它们分别进行了描述,其中扩展粒集的描述是五元组形式,即是(U,D,L,H,J),这里U是论域,D是描述域,L是由U到D的算子,H是由D到U的算子,J是算子L和H的约束。由此扩充了粒集理论的内容,完善了粒集理论。     

粒集及其描述

本文在已有的有关粒计算研究成果的基础上,提出了粒集的概念,并利用统一集的形式对粒集进行了描述,即是(U,D,B,J),其中U是论域,D是描述域,B是由D到U的映射,J是约束。由此出发,分析统一集与粒集的异同,给出与粒集相关的一些概念,描述了用粒集形式来表达其他各种各样的集合,诸如经典集合、模糊集合、可拓集合、V ague集合、粗糙集合等。粒集理论为粒计算提供很好的理论基础,从而使粒计算确立自己独立的研究领域。     

粒集的提升及其描述

本文在作者提出的粒计算新模型——粒集理论的基础上,分别通过把映射向幂集上提升、把映射由单向性向双向性提升的做法,提出了对象粒簇、描述粒簇和粒系统等概念,并对它们分别进行了描述,其中粒系统的描述是五元组形式,即是(U,D,L,H,J),这里U是论域,D是描述域,L是由2U到2D的算子,H是由2D到2U的算子,J是算子L和H的约束。由此扩充了粒集理论的内容,完善了粒集理论。     

基于多核粒化的模糊粗糙计算模型

传统的单核粒化粗糙集模型没有考虑不同粒化关系的相互影响。为解决这一问题,提出了基于多核粒化的模糊粗糙计算模型。以一族核关系构成的多粒度空间为研究对象,将乐观和悲观粗糙集模型拓展到多核空间,定义了基于S-T算子的多核下、上近似算子。给出了基于多核粒化粗糙逼近的属性选择算法。实验结果验证了不同核粒化关系之间"求同存异"和"求同排异"的相互作用。     

基于数理逻辑的知识表示

数理逻辑是一种基于命题与谓词分析的形式化的语言及其推理，是人工智能产生和发展的最重要的基础。从逻辑推理、自然语言形式化、数学命题形式化及动态系统行为描述四个方面入手，提出了基于数理逻辑的知识表示方法与实例，并提出谓词逻辑的局限与应当进一步研究的问题。     

再论粒化思维

为了保证粒化思维的完整性,用以指导粒计算的研究与发展,采取质性研究方法,首先分析粒化思维的实践性、辩证性、横纵性三个特征,给出粒化思维的结构与功能,接着阐述粒化思维的相互兼顾、对立统一、相互作用、反身重构和逐层演化五个主要规律,论证粒化思维的生成、动力、转化等三个运行机制,最后阐述了粒化思维的分析方法,进一步深化了对粒化思维的认识。     

基于粒度计算的分类属性数据离群点检测算法

针对基于距离的离群检测算法无法有效应用于分类属性数据集,本文提出一种基于粒度计算理论的对象离群程度计算公式。基于该公式所计算的对象的离群因子值,对所有对象进行排序,将排序后的前k个对象声明为离群点。为了使用相对简单的方法从分类属性数据集中查找离群点,文中构造了一个算法ODAGr C(Outlier detection algorithm based on granular computing)。理论分析和应用实例证明了ODAGr C算法的有效性和可行性。     

资源描述框架的形式化表示问题研究

资源描述框架(RDF)正成为语义网技术中首选的数据描述语言,因而在语义网系统中有着广泛的应用基础。RDF的形式化表示问题是RDF研究领域的重要课题。本文结合国内外关于RDF形式化表示的各种观点,提出了一种较为完整的RDF图形式化表示框架。     

隐性时量表现形式初探——兼评《现代汉语时量范畴研究》

《现代汉语时量范畴研究》对现代汉语中时量范畴问题进行了全方位、多角度的分析,考察了时量范畴在不同句法单位层级上的形式表现,总结了其在不同语义分类上的语义表现,对我们探究隐性时量的表现形式具有指导作用。     

真、彻底的解释和整体论原则——戴维森意义理论之镜

戴维森意义理论为一种自然语言意义理论提供了形式表征模式和经验解释模式。在其理论架构中,真之概念在这种形式表征和经验解释模式上始终充当着核心概念的作用;彻底的解释是戴维森意义理论的经验解释模式,它适当地回答了戴维森的真之语义论如何具有解释力的问题;整体论贯穿始终,是造就戴维森意义理论的根本原则。     

学习而思维与先天思维语言观——从谓词与逻辑词习得谈起

杰里.福德关于先天思维语言的观点在语言哲学及心理语言学等相关领域引发了激烈争论。克里斯蒂夫.维格认为,自然语言能够比先天认知资源提供更加丰富的概念系统,因为自然语言的逻辑名词的意义是在应用中获得的。与谓词不同,逻辑/形式名词可以不通过先天表征作为中介而习得。自然语言可能比先天表征系统的逻辑结构大一些。通过学习自然语言和扩大先天表征系统,有可能进一步完善思维能力。     

塔尔斯基真理论对戴维森意义理论的影响

塔尔斯基真理论不仅为戴维森意义理论提供了恰当的形式表征框架和经验证据的验证形式的基础,而且为其提供了研究意义等内涵问题的外延主义道路和研究语言与实在的关系的可靠便利的形式分析手段。正是这些重要影响,使得戴维森意义理论将弗雷格等人的真值条件意义理论的构想变成了现实,在众派理论中独树一帜．令人瞩目。     

幽默的多模态

幽默在语义生产和理解过程中最能体现意义的细微差异,在语类系统中占据独特的位置。幽默语类特征的独特性需要语言学家进行细致的描写,而多模态则为幽默提供了精密的语义描写工具。早期的多模态工具较为原始,以图像语法[1]为标志,主要以平面文本中的构图与文字间的关系论证为主,探讨语义提供方的设计与消费理解方的解读。而近期的多模态研究则较多地关注语义生成中动态的多模态表征,这与近期人们对语义概念理解的深入有关,认为表义是个动态的过程。本文提到的多模态限定为人们心目中的意义生成手段,由视觉语法表述。视觉语法包括语言结构方式、形式美法则和符号语义关系[2]。视觉语法一方面将图像意义视为客观的活动过程,可分为再现、互动和构图;另一方面又融入了主体认知的成分。本文拟通过幽默的多模态分析说明视觉语法的解释力,这种心灵所识与肉眼所见不同,势必超越以往将动漫以及色彩作为多模态研究的唯一标的的局限。      

ER模型的逻辑表示途径

利用Answer set编程表示ER模型,从而为ER模型提供了一种新颖的逻辑表示途径。首先,完成ER模式的语法与语义定义;其次,利用Answer set编程实现ER模式的逻辑编程表示,并且这里的编程可自动实现;最后,完成以上表示的合理性证明。工作不仅克服了ER模型作为图形化工具的缺陷,使得它具有了自动推理能力,而且也为利用ER模型实现异构数据库之间的语义协作奠定了理论基础。     

以真通达意义——戴维森意义理论的思想主线

“以真通达意义”是戴维森意义理论的思想主线。约定-T和彻底的解释是其形式袁征模式和经验解释模式,绝对的真理论是其可靠的理论基础,它们分别表明了“以真通达意义”这条研究道路的必要性、有效性和理论合法性。     

解读水彩画艺术语言表现力

水彩是一种绘画艺术,也是一种形式语言,文章以“水”与“色”的艺术语言与水彩画的艺术表现之间的关系为基点,解读当代水彩画表现技法中的革新与创造,提出了水彩画是一种兼具科学性和艺术性的表现形式,探讨水彩画艺术语言表现力的问题。     

论艺术的社会性和审美理想

衡量艺术品质量的重要标准是社会性和审美理想的统一.两者的统一,首先表现为功利性和审美性的统一;其次是"再现"和"表现"的统一,"内容美"和"形式美"的统一;再次是社会性和审美性的统一.     

公司的表意行为及其法律限制

公司的表意行为是指公司通过自己的意思表示行使法律上的权利和承担法律上的义务,它是公司作为商事主体必须具备的行为能力,也是公司法律人格的自然延伸和具体体现。公司的表意行为通过法律设计的一套完整规则得以实施,具体包括公司意思的形成、表示意思的形成和表示行为的实施等方面的内容。在特定情况下,公司的表意行为也会受到法律的限制。