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

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

一种构造Prolog程序子句本体的方法

为了使Prolog推理引擎可以从一定程度的语义上来区分子句,通过概念图的形式对Prolog程序的子句建立本体.子句本体的概念模型通过其谓词参数和头子目标来建立,而头子目标是指出现在规则体首部并且位于任何谓词调用之前的子目标集合.所提出的方法把一个Prolog程序转换成包含其子句本体的Prolog CG程序.实验表明,通过对Prolog子句建立本体,可以尽早地去除与当前目标明显不匹配的子句,从而使得目标求解树的规模减小.在概念图的描述形式下,子句本体使得Prolog程序的语义更清晰可读,在某些情况下能明显加快程序的求解过程.     

知识库语言—Prolog与Datalog

知识库语言是一类适应人工智能和知识工程领域的、具有符号处理和逻辑推理能力的计算机程序设计语言。它能够用来编写程序求解非数值技术、知识处理、推理、规划、决策等具有智能的各种复杂问题。论述了知识库语言Prolog与Datalo语言的语句结构、特点,并且给出了程序设计的实例加以说明。     

基于Prolog的函数语言解释执行

通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。     

基于Prolog的人工智能课程教学探索

本文分析了Prolog语言对于"人工智能初步"选修模块的意义以及它与该模块"知识及其表达""推理与专家系统""人工智能语言与问题求解"三个主题间的联系,提出以Prolog语言为主线开展人工智能课程的教学思想,给出案例佐证了其可行性,并提出教师素养是其推广的重要影响因素。     

基于问题解决的Prolog教学：案例分析

一、从问题解决视角看Prolog 问题就是一种情境。在这个情境中，一个人希望达到一定的目标，但是又不能即刻知道如何才能达到。人们的任务是运用某种策略，寻找由问题的初始状态达到目标状态的一条路径。因此，问题解决就是人们面临着问题情境时所产生的一系列有目的指向的认知操作过程。     

从乔姆斯基语言层级看一阶语言

通常的逻辑学教材都会讲到一阶语言是一种形式语言,但是所讲的形成规则一般都是规定什么是公式,而非如何构造公式。而本文从乔姆斯基的形式文法的观点重新理解一阶语言的形成过程。首先由于一阶语言是递归的,因此它一定是递归可枚举语言,从而存在一套形式文法生成它。本文就找到了一套可以生成一阶语言的形式文法,而且这套文法是上下文无关的,因此一阶语言不止是递归可枚举语言,还是上下文无关语言。更进一步地,借助哥德尔编码还可以构造一套生成一阶语言的正则文法,从而可以得出更强的结论:一阶语言是正则语言。     

Prolog与Gdel语言元程序设计的对比研究

元程序设计是许多逻辑程序语言具有的重要特点。研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义。Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能。通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,通过比较分析,表明Gdel语言具有更好的说明性语义和执行效率。     

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

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

Prolog与G(o)del语言元程序设计的对比研究

元程序设计是许多逻辑程序语言具有的重要特点。研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义。Prolog语言与Godel语言分别支持使用非基本表示与使用基本表示的元程序设计功能。通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,通过比较分析,表明Godel语言具有更好的说明性语义和执行效率。     

项的代入定理

引入两个引理分析了一阶语言中赋值的性质,简化了项的代入定理的证明,新的证明过程更能反映一阶语言的结构和等价的赋值之间的关系.     

基于问题解决的Prolog教学：类型与过程

1．问题解决与人工智能 问题解决是所面对的问题得以解决的一个认知活动过程。人们在学习和生活中会遇到各种各样的问题，因此学会解决问题是每个人都不可缺少的能力。在学校教育和教学中，培养学生的问题解决能力，促进其思维发展，已经成为各国教育改革中备受关注的重大课题。我国颁布的《普通高中技术课程标准(实验)》也特别强调，要“结合高中学生的生活和学习设计问题，     

谓词中心法:语言结构规律的凸显 -《古代汉语》教学优化研究之二

运用谓词中心法。着重考察谓词与各种相关成分的关系，从句子成分的语法地位和语法作用出发，在语言结构规律的凸显中研究语言现象，可以快捷有效地解决词类活用、虚词语法、以及古文标点等教学的难点问题。     

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

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

详析SQL语言的WHERE子句与HAVING子句

SQL语言（结构化查询语言）是关系数据库的标准语言,各学校选择其作为数据库教学语言,其突出的优点在于集数据定义、数据查询、数据操纵和数据控制四大功能于一体．先论述了SQL语言的发展历史,列举其特点,以实例形式讨论了SQL语言中的where子句和having子句的异同,并详细阐述了它们的用途．     

基于动态谓词逻辑的汉语指代现象的信息处理

组合性是对自然语言进行信息处理时考虑问题的出发点。动态谓词逻辑主要是从语言信息的可计算性和组合语义的角度,使用标准一阶谓词逻辑的正统句法,通过对话语表现理论等逻辑理论进行改进而得到的。动态谓词逻辑的提出本质上是为了处理两类问题:跨语句的指代消解和表示语句内部约束关系的"驴子句"中的指代消解。动态谓词逻辑的核心思想是使用逐渐递增信息的动态方法对句子或者句子序列进行分析,并对于变项的指派进行扩展,或者对作为模型参照物的状态进行流动更新。     

托儿语言能力的开发与引导

托儿期是儿童语言发展的关键期。为此,根据托儿的年龄特点和认知规律,我们尝试从以下几个方面对托儿语言能力进行开发与引导。     

人类语言称谓词“[mama]”的语音共性

人类语言称谓具有非常普遍的共性。纵观印欧语系、汉藏语系、阿尔泰语系、亚非语系、南亚语系等语言中主要称谓词"[mama]"的发音及其变迁,从生理学、发音学、心理学、儿童语言学、社会学等角度对人类语言中称谓词发音的相似性进行解释,可以进一步探讨人类语言的普遍现象和发展趋势。     

儿童语言中亲属称谓词泛化标记及其习得顺序的理论解释

儿童语言中亲属称谓词泛化标记成分有“大 /小 /老 /姓 /姓名”等 ,儿童对亲属称谓词的理解和运用 ,对称谓词泛化标记成分的习得 ,与其认知水平相关 ,具有一定的顺序。     

少数民族语言资源开发及其产业化发展研究

语言是一种具有潜在经济价值的绿色资源。发展少数民族语言产业对于少数民族地区的经济发展、濒危语言保护都具有重要促进作用。目前,产业化发展意识薄弱、人才缺乏、研究滞后等是制约少数民族语言产业化发展的瓶颈。大力发展少数民族语言文化旅游与艺术产业,注重少数民族语言产业人才的培养与扶持,促进政府、企业与研究结构的官产研整合可以更好地推进少数民族语言资源的产业化发展。