弱共识与语境复义:人工智能自然语言大模型重塑文艺美学

实质语义的弱共识性是人工智能自然语言大模型自动生成文本的基本特性,也是文学文本的基本特性。科学与文学文本语元组合运动生成的形式语义都要在个人的直观理解中转化为实质语义。形式语义概念化的单义决定着科学文本实质语义的强共识,有利于汇聚物化在语言符号中的社会力量,以认识、改造自然物元组合运动而造福人类;形式语义实例性的语境复义决定着文学文本实质语义的弱共识,有助于个人心元组合运动的和谐化、文明化和个人性与社会性相统一的非强制性交往。大模型颠覆了传统科学文化概念化强共识公理系统,对于重新认识科学文化与人文文化两者之间的关系及价值、重塑传统文艺美学和人类文化等有重要启示。

面向自然语言需求的验证性质生成方法

安全关键系统和软件的安全性、可靠性需要形式化验证来保障,使用形式化验证的前提是从自然语言需求文本中提取相关验证性质并将其转化为形式化规约,这已成为当前形式化验证领域研究的热点和难点.当前的形式化规约提取工作大多针对英文需求,较少针对中文自然语言需求.此外,由于AADL具有强大的表达能力和完善的验证机制,已成为航空航天领域的主要建模语言之一,而现有的工作较少考虑如何从需求中提取AADL模型的验证性质.为了解决上述问题,本文提出一种面向自然语言需求的AADL模型验证性质自动生成方法,从自然语言需求中提取验证的相关性质,并将其转化为AADL模型验证工具AGREE可识别的形式化规约.首先,定义了模式定义语言(Contract Pattern Language,CPL),将需求划分为不同模式,并给出由固定句型和占位符组成的需求模板;其次,通过自然语言处理技术解析需求文本,获取替换需求模板中占位符的原子命题,以便生成完整的形式化规约;最后,设计并实现了相关工具,并将其用于工业界实际案例来说明该方法的可用性和有效性.

关于线状地理特征空间关系的自然语言描述的形式化表达

目前的地理信息系统都使用定量的方法存储和查询空间信息,不能反映人们的定性思维方式,因此它表达地理空间信息的能力受到限制。在关于空间关系的自然语言描述的调查的基础上,本文定义了一组能反映线状物体空间关系的度量指标,结合反映拓扑关系的定量指标,使用决策树的数据挖掘算法,对调查结果进行分析,形式化了描述空间关系的自然语言词汇,建立了模糊的自然语言表达和图形的几何特征之间的联系。自然语言形式化后得到的规则可用于空间关系的自然语言查询系统。

形式语言学在失语症语言康复研究中的应用：复杂性治疗理论述评

失语症研究的一个焦点是以语言学理论为依托提出康复治疗理论,用以制定治疗方案、开发语言测评系统。本文介绍国外一套比较成熟的康复治疗理论———复杂性治疗理论。这一理论以形式语言学理论为依据,遵循由难而易的训练方法,并已证实具有明显临床疗效。本文探讨在开展汉语失语症康复研究中的几个理论及应用问题:如何从心理现实性的角度更加准确地定义语言的复杂性;康复效果是否只会在相关结构中才会出现;CATE理论与语用会话分析理论的综合运用;如何开发测评汉语语法障碍的评估系统。

自然语言处理下的语音形式化研究

论述在自然语言处理进程下,在语言学范畴内,应用数学方法针对语言研究中的语音问题加以形式化研究,辅助实现语音信息的存储、传输、分析和再生。

基于XBRL的自然语言语句的形式化标注研究

为了提高机器对自然语言的理解能力,以语义形式化为切入点,研究了基于可扩展商业报告语言(XBRL)的自然语言语句的形式化标注问题。研究表明,自然语言句子的语义表达模式灵活多样,其语义需要分别从词汇意义、语法意义、其他意义等方面加以理解;XBRL的技术体系结构具有可扩展性,通过扩充基础规范,重构分类标准,增加新元素,基于XBRL技术可对自然语言的语句进行形式化标记,进而提高机器对自然语言的理解能力。

自然语言形式研究的历史演进——从逻辑技术的视角看

自然语言的形式研究对于刻画其语法和语义至关重要。形式研究的观念来自古代和中世纪逻辑学。基于一阶谓词逻辑的形式语法的建构开始了真正的形式研究。蒙太格语法是形式语法的代表,从蒙太格语法发展而来的DRT则是当代主要的动态语义学,而SDRT又使这一理论向前迈进了一步。

自然语言的形式化

本文阐明了自然语言形式化是人工智能领域实现"人机对话"的关键,介绍了与自然语言形式化相关的主要理论并选取了三个典型的个案进行剖析。

自然语言形式化研究中几个基本问题的再认识

针对目前自然语言形式化研究中存在的问题 ,就歧义性、形式化与系统模型等几个基本问题做了进一步的分析与讨论。认为 :歧义性有狭义与广义之分 ,有层次之分 ,又有形式化与非形式化之分 ,确定它们的界线是很重要的。如何使系统体现出自然语言的个性化是目前形式化研究中应引起注意的一个关键问题 ,为此还提出一个系统结构模型。

从吴冠中绘画中的形式美看自然语言在艺术创作中的运用

随着艺术的发展,人们越来越对绘画风格有意识的追求,艺术家们都凭借着鲜明的语言发展了绘画领域,在大自然中也存在各种各样的语言,这种语言通过自然的法则呈现着不同的变化,这种自然的逻辑和语言也无不体现无穷的艺术魅力。

Not在形式逻辑和自然语言中的不一致性

在形式语言学中,Not是逻辑作用词,能将简单命题连接成复合命题,这个复合命题对应的简单命题是不一致的。但是如果认为自然语言中的否定仅仅是对命题真值的否定就不全面了。逻辑中的否定与日常语言中的否定并不对等,因为句子意义的某些方面无法用标准的命题逻辑恰当表示,甚至很多方面不属于命题的范围。

自然语言逻辑研究的对象及其与形式逻辑的关系

自然语言逻辑是现代逻辑的重要内容,近几年来,随着中国逻辑与语言研究会的成立,我国对自然语言逻辑的研究正在不断扩大和加深。但是,自然语言逻辑的研究对象是什么,它与形式逻辑的关系如何?这个对于自然语言逻辑研究“性命攸关”的问题,在逻辑界却存在着重大分歧。本文拟对有关这一问题的一些相当流行的看法作出批评,并提出自己关于这个问题的一些初步的看法,希望能以此引起争论,以推动对此问题的进一步研究。 一 有人认为,自然语言逻辑,顾名思义,就是研究自然语言的逻辑,即它的研究对象是自然语言,而形式逻辑似乎不是以自然语言为研究对象的。其实,这是一种误解,因为,就一定意义来说,任何逻辑都是以自然语言为研究对象的(自然语言逻辑当然也以自然语言为研究对象)。说自然语言逻辑的研究对象就是自然语言,形式逻辑的研究对象不是自然语言。

试论性质判断在自然语言中的表现形式

性质判断就是断定对象是否具有某种性质的一种简单判断。从结构上来说,它由主项、谓项、联项和量项四个部分组成。主项是被断定的对象,谓项是对象的性质,联项表示被断定对象与性质之间的联系,量项表示主项的数量。例如: ①所有的事物都是发展变化的。 ②有的天体不是恒星。

试论性质判断在自然语言中的表现形式

【正】 性质判断就是断定对象是否具有某种性质的一种简单判断。从结构上来说,它由主项、谓项、联项和量项四个部分组成。主项是被断定的对象,谓项是对象的性质,联项表示被断定对象与性质之间的联系,量项表示主项的数量。例如:

面向知觉形式化特征的自然语言理解十年研究进展

首先解释了为什么采用知觉结构进行数据或特征描述以及语义的定义,以此阐明自然语言的机器理解与传统机器理解方法的区别,并通过基于知觉的理解在智能领域的广泛应用来说明知觉表示的普遍性;其次,概述了自然语言的机器真实理解自提出以来的主要理解算法,着重强调最近的研究成果与突破性进展;最后,针对目前的研究现状,提出自然语言的机器理解未来的一些研究方向,并指出一些具体挑战与可能的解决思路。

自然语言处理:方法与技术

无论是作为一项科学前沿研究,还是一门应用学科,自然语言处理已引起人们越来越多的关注与重视。本文讨论了它的理论基础,主要计算模式,系统的实现技术,并扼要介绍了这一领域新的发展动向。

若干限制形式的缺省推理的复杂性(英文)

该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性 .其中 ,D是一集 Horn缺省规则 ,而 W是 definite Horn公式或者 Bi-

中国体育Sports化问题新论——“自然语言逻辑”的哲学阐释

站在"形式逻辑"的立场上,我国一些体育学者提出"中国体育Sports化问题",易使中国体育偏向竞技发展,从而陷入竞技化发展的误区。然而,从"自然语言逻辑"的"约定俗成性"和"多义性"看来,"中国体育Sports化问题"根本不存在。

逻辑与自然语言

一种观点认为,传统逻辑是用自然语言表述的,现代逻辑是用形式语言表述的。这种观点暗示着现代逻辑不能解决自然语言中的问题,而传统逻辑能够解决。这种观点是有问题的。传统逻辑和现代逻辑虽然有形式方面的区别,但最主要的区别还是句法和语义的:前者是主谓结构,后者是谓词结构。由此区别出发,传统逻辑和现代逻辑形成了对自然语言的不同解释,而后者的能力无疑更强。

复杂性组织管理的涵义、特点和形式

复杂性理论引入组织管理是组织管理适应当今时代经济和社会发展的需要 ,也是当代组织管理理论和实践自身发展的必然趋势。复杂性管理指管理对象的复杂性和应用复杂性理论和方法于管理实践。其基本特点是整体性、系统思考、隐喻方法、学习与适应、自主与协调、悖论式领导。混沌有序组织管理是复杂性组织管理的一种典型形式。