函数式面向对象语言FOPL的指称语义

函数式面向对象程序设计语言ＦＯＰＬ是笔者设计并实现的一种合成语言，本文在一个全称的抽象域上描述了ＦＯＰＬ语言的指称语义。     

ODMG''93的ODL、OQL语言到F-logic程序的转换

为了分析ＯＤＭＧ’９３数据对象模型的语义,本文给出了一套转换规则,将ＯＤＭＧ’９３的对象定义语言ＯＤＬ、对象查询语言ＯＱＬ转换到Ｆ－ｌｏｇｉｃ程序,并结合面向对象数据库管理系统Ｏ２,通过具体的实例陈述了该转换规则是完全的。     

合成语言FOPL基于方程逻辑的语义

程序设计语言ＦＯＰＬ是一种同时支持函数式程序设计风洛和面向对象程序设计风格的合成语言．本义介绍了ＦＯＰＬ的类型思想，并讨论了表达式纯洁性判断规则、表达式附类型规则及表达式等价判断规则，这些规则描述了ＦＯＰＬ基于方程逻辑的语义．     

动态模糊逻辑程序设计语言的指称语义

文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构.在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义.最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程.     

函数式语言中的赋值语句

文章探讨了怎样在纯函数式语言中加入赋值操作,而又不丧失引用透明性特征的问题,给出了这些操作的指称语义,并用这些赋值操作定义了一个简单的命令式语言的解释程序.     

PROLOG的指称语义和操作语义

PROLOG程序的语义通常是根据一阶逻辑的模型论给出的。但是,这并不足以刻划PROLOG程序的计算特性。PROLOG的实现主要采用了以程序中子句和字面的正文出现次序为基础的顺序计算策略,并用到诸如“Cut”之类的非逻辑成份。在本文中提出了一种指称语义,它能刻划PROLOG的计算特性。我们给出了不含“Cut”的PROLOG的语义,然后,将其推广到含“Cut”的pROLOG。在两这情况下,我们分别证明了该语义与标准操作式解释程序的等价性。作为这一指称语义的应用,还证明了有关PROLOG程序变换的一些标准的“常用”定理的正确性。     

智能神经网络程序设计语言中规则的指称语义*

就语言的指称语义分别讨论了智能神经网络程序设计语言NIPL中有关规则的动、静态语义,从而建立了NIPL中规则的数学模型。     

一个面向对象的实时分布式语言的指称语义

本文给出了一个面向对象的实时分布式语言的指称语义，在不同层次Ｌ给出了语句、对象和程序的清晰描述．提出了实时状态的概念．借助于它，在指称语义的框架内，简洁地刻画了语言的实时特性．     

小型机器人语言ROBOT—L

在对机器人语言进行分析和研究的基础，以一个基于规则的二维路径规划系统为核心实现了一个小型机器人语言系统ＲＯＢＯＴ－Ｌ，该语文除具有一般程序设计语言所必需的顺序，循环，分支结构和子程序概念外，还有规划系统所必需的各种机器人语句，由于我们将推理机功能用一个机器人语句来激发，使得ＲＯＢＯＴ－Ｌ有一定的智能和实时能力，为实现机器人语言，我们构造了一个栈式虚拟计算机，并编制了与之有关的虚拟机指令格式和虚拟机     

合成语言FOPL实现注记

合成语言ＦＯＰＬ是笔者设计并实现的一种同时支持函数式程序设计风格和面向对象程序设计风格的语言。本文主要讨论ＦＯＰＬ语言的实现技术。     

DFA模型及其语言的结构化代数规约

本文首先阐述了利用ＤＦＡ模型技术进行状态转换系统描述存在的主要问题,提出了利用代数规约技术解决这些问题的可行性,然后介绍了新一代具有松散语义的代数规约语言ＳＰＥＣＴＲＵＭ及其主要规约操作符的语法和语义,并根据ＤＦＡ模型及其语言的数学定义,给出了它们的结构化代数规约,为基于ＤＦＡ模型的状态转换系统的形式化设计和开发奠定了基础。     

基于支持向量规则的运动控制器自然语言构造方法

本文介绍了一种基于支持向量规则的运动控制器自然语言构造方法，提出利用 支持向量机理论，对通过自然语言构造的模糊控制规则进行支持向量规则抽取，从而获得一 个在指定控制精度下的支持向量规则运动控制器．这种方法可以在给定任务精度下抽取真正 有效的控制规则完成控制任务，使控制规则数及控制器形式得到简化，为未来将基于语言构 造的控制器推向实用奠定了基础．所提控制方法在一个轮式移动机器人系统上进行了语言训 练实验．     

基于VRML的手语合成系统中人体模型的运动实现

人体建模技术是实现手语合成系统的前提,采用VRML(V irtualRealityModeling Language)三维人体建模技术可以提高人体建模的性能,为手语合成系统打下良好的基础。在基于VRML三维人体模型的设计中,分析了人体模型的控制变化原理及仿射变换方法;采用线框模型实现了三维人体模型的建立,运用仿射变换方法实现人体模型的手臂控制运动。实验结果证明该方法可行有效。     

Agent规范与编程语言SPLAW的语法和语义

本文描述了Ａｇｅｎｔ规范与编程语言ＳＰＬＡＷ的语法，为ＳＰＬＡＷ中的各种语言成分提供了操作语义，并基于标记转换系统给出Ａｇｅｎｔ性质的证明规则。由于ＳＰＬＡＷ的通信部分采用不依赖于具体应用的Ａｇｅｎｔ交互语言ＫＱＭＬ，使遵循同一标准的Ａｇｅｎｔ之间能进行协作问题求解。ＳＰＬＡＷ首次为Ａｇｅｎｔ提供继承支持，使其可以实现具有面向对象特征的多线程系统。ＳＰＬＡＷ屏了为语言引入内部模态词的缺陷，试图从外     

EVOLUTIONARY SHALLOW NATURAL LANGUAGE PARSING

Identifying syntactical information from natural‐language texts requires the use of sophisticated parsing techniques mainly based on statistical and machine‐learning methods. However, due to complexity and efficiency issues many intensive natural‐language processing applications using full syntactic analysis methods may not be effective when processing large amounts of natural‐language texts. These tasks can adequately be performed by identifying partial syntactical information through shallow parsing (or chunking) techniques. In this work, a new approach to natural‐language chunking using an evolutionary model is proposed. It uses previously captured training information to guide the evolution of the model. In addition, a multiobjective optimization strategy is used to produce unique quality values for objective functions involving the internal and the external quality of chunking. Experiments and the main results obtained using the model and state‐of‐the‐art approaches are discussed.     

自然语言训练的机器人基本行为控制器

本文探索了一种直接利用自然语言进行机器人运动技能训练的控制方法， 提出了利用模糊神经网络结构作为基本行为控制单元，通过教师的自然语言指令完成针对某 一特定行为的运动经验获取和控制器训练，这是一种更加自然的控制器构造方式，以基本运 动单元为基础，可以进一步实现机器人复杂任务的语言编程与控制．所提控制方法最终在一 个轮式移动机器人系统上进行了语言训练实验．     

虚拟实体对象建模语言SCPL

本文给出一种新的虚拟实体对象建模语言ＳＣＰＬ。这种语言以基于控制论的行为模型ＳＣＰ为中心组织虚拟实体对象的建模,具有实现连连续和更复杂行为的能力,适用领域广。     

采用自然语言的移动机器人任务编程

本文在机器人具备基本运动技能的基础上［1］，采用基于指令教导的学习方法．通 过自然语言教会机器人完成抽象化任务，并以程序体方式保存所学知识，也即通过自然语言 对话自动生成程序流．通过让机器人完成导航等任务，验证所提自然语言编程方法的可行性 ．