基于谓词逻辑的Prolog程序设计

一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性。本文从Horn逻辑和Prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论了如何在计算机中实现数学函数、定理证明等自动推理的一些应用。     

说汉语儿童早期指代错误现象个案研究

通过对两名说汉语儿童1～3岁跟踪观察获得的语料进行分析,发现在儿童早期语言习得过程中,对词义的理解出现了很多指代错误现象。运用了个案研究法、数理统计法、文献资料法对儿童早期话语中的指代错误做研究,认为其产生的主要原因有儿童对词义的泛化、窄化和特化。借助原型理论分析了儿童语言习得过程、特点及规律,以更好地帮助儿童理解词义,学习语言。     

一个多值逻辑的一阶谓词系统

鞠实儿曾提出一个开放类三值命题逻辑系统,这一逻辑也可以推广到任意m值逻辑情形,成为一个联结词函数完全的逻辑.本文将对推广的命题逻辑系统L*建立一种一阶谓词系统,并证明其可靠性、完全性.     

谓词逻辑教学策略的优化

本文以谓词的导入、导出为例．探讨离散数学中谓词逻辑教学策略的优化。通过导入抽象概念的实际应用背景、强化概念的详细分析和解读、设计教学过程等．并且在教学过程中采用启发式教学和双语教学．对提高教学质量、实现培养抽象思维和逻辑推理能力的课程教学目的进行创新探索。     

谈谈汉语国际音标记音的信息处理

在汉语国际音标记音的信息处理中,音质音标需要注意音标符号的形体区别并安装专门的文字处理软件；超音质音标需要用数字表调值。这两种处理方式都存在输入技巧问题,熟悉计算机操作,也可以提高信息处理的效率。     

UML状态图的逻辑语义及自动推理

针对UML缺乏精确语义的不足,利用一阶谓词逻辑研究了UML状态图的逻辑语义,以及基于OWL本体的UML状态图自动推理问题,分析了基于一阶谓词逻辑的UML状态图的静态语义和动态语义.对UML状态图自动推理问题和UML状态图向OWL本体转换的映射方法,给出了UML状态可达性、可终止性判断方法及其推理规则,并利用Jena推理机实现了UML状态图可达性、可终止性推理.     

指代消解的主要方法及其机制

指代消解是人工智能研究领域的重点和难点内容之一,因而产生了各种各样的指代消解的方法。从逻辑学的角度介绍了十四种指代消解的方法,通过研究和对比发现,指代消解的机制包括:中介机制、动态约束机制、加标机制、复合机制、范畴机制。围绕这五种机制重点研究话语表现理论、动态谓词逻辑、动态蒙太格语法、增量动态逻辑、范畴类型逻辑。     

汉语亲属称谓词泛化现象及其在对外汉语教学中的思考

汉语亲属称谓词在使用过程中,有部分词语产生了泛化现象,文章指出,亲属称谓词泛化的原因,在表达上体现了口语化功能、亲和功能、秩序化功能,文章结合对外汉语的教学实际,提出教学原则：本土化原则、随堂性原则和实用性原则。     

《汉语大词典》的称谓词编纂与常见书中的称谓词研究

《汉语大词典》是一部代表中国20世纪历史性语文辞书最高编纂水平的词典,但由于缺乏对常见书的考察,在处理称谓词方面存在许多问题,主要是：收词立目不全、义项收录不全、释义不确、书证有误。以此说明要做好词典的编纂工作,必须重视常见书的词语研究。     

从谓词逻辑的观点看传统词项逻辑推理中的空词项

传统词项逻辑推理有许多不适用于空词项,性质命题之间的对当关系和9个直言三段论有效式只有预设主项或谓项存在才成立。传统词项逻辑用自然语言进行描述,常常使人们知其然而不知其所以然。如果用谓词逻辑理论将其形式化一步一步地进行演算,人们就会感到豁然开朗。     

试论汉语谓词性短语的语法结构界定问题

针对汉语动宾短语和连动短语的辨识问题立论,结合汉语教学中难以界定的实例,将其相关的纠葛问题逐一阐释,剖析了若干彼此难分的情形,特别是对于那些处于中介状态的语法现象,给予了理性的界定。     

基于认知逻辑的模态逻辑运用的实在性分析

基于认知逻辑分析了模态逻辑在运用方面具有与一阶逻辑不同的特点,它不仅可以通过系统演绎论证来刻画具体的概念和实质对象,还能够解决许多领域中的现实问题,并指出了模态逻辑具有特殊性的两大基本原因。     

从弗雷格理论探讨汉语谓词成分的陈述与指称

弗雷格的“涵义”和“指称”理论对汉语谓词性成分的“陈述”和“指称”研究具有重大且根本的影响。借鉴此理论基础并基于前人研究成果,文章总结了汉语谓词性成分（包括谓词性主语和宾语）的陈述和指称功能,指出了谓词性主语在容器语句中的指称作用尤其突出,以及谓词性宾语的指称作用与谓词的叙实性之间的关系。     

描述逻辑ALC的公理化方法研究

描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识。描述逻辑的各语言背后的逻辑是什么,能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究。本文首先通过描述逻辑ALC与一阶逻辑的一个可判定片段之间的关系试图揭示描述逻辑的本质。最后给出了描述逻辑ALC的公理化方法及其演绎定理的证明。     

网络时代汉语亲属称谓的变异现象

称谓是人们交际活动顺利展开的必不可少的语言因素,人际关系的亲疏状态决定了人们使用不同的称谓。随着互联网的普及,各种网络媒体的兴起,原本用于亲属之间的称谓发生了变异现象,亲属称谓的泛化使用现象也成了汉语区别于英语的一个显著标志。     

近代汉语词语的羡余现象

本文探讨近代汉语词语的羡余现象。在列举大量的证的基础上,进一步分析其成因和功用,并指出研究此种现象对近代汉语词汇研究、文献整理等方面都有重要意义。     

浅析经典数学的逻辑基础

目前,对于经典数学的逻辑基础,很多学者持有不同的意见,主要有两个分支:一部分学者认为经典数学的逻辑基础为一阶逻辑,还有一部分学者认为经典数学的逻辑基础是二阶逻辑。这两种观点之间没有得到统一。经典数学的逻辑基础不仅与一阶逻辑有关,同时也离不开二阶逻辑,一阶逻辑和二阶逻辑作为经典数学的逻辑基础不存在矛盾性。     

论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统

在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎系统与公理化系统之间等价转化的方法论意义及局限性.这些工作有助于从理论和实践上客观地分析和评价这两种证明演算,为同一逻辑的矢列式自然演绎系统与公理化系统之间的等价转化提供方法论上的借鉴意义.     

基于DRT的汉语驴子句处理

“驴子句”作为自然语言中的一种语言现象,不仅出现在英语中,汉语中也同样存在.借鉴“话语表现理论”(简称DRT)对英语驴子句处理的思想和方法,结合国内对汉语驴子句分类的研究成果,在已有的DRT框架上增添相应的内容,对汉语驴子句进行处理和解释.     

汉语省略现象的发展趋势

作为典型的语言现象,省略一直以来都受到语言学家们的关注。它是语言中一种构句谋篇的手段,在语言研究中占有重要的地位。语言的省略既是语言使用者的要求,也是语言自身发展的要求。每一时期的语言都有它自身的特点,词语省略现象的大致发展趋势是多元化与规范化。主要为：数量逐渐减少,类别增多;适用语体变广;修饰作用明显。