面向对象的约束逻辑程序设计

本文介绍了面向对象技术和约束逻辑程序设计方法在人工智能中应用的基本思想，通过二者的结合使现有逻辑程序设计在逻辑的清晰性和执行的高效性上都得以提高，这样就引入了一个新的研究方向：面向对象的约束逻辑程序设计     

面向对象的逻辑图示语言

本语言介绍了图示语言基本概念及其特点，在事件驱动机制的基础上提出了逻辑驱动机制和多表达式结构，对函数式语言、逻辑语言和面向对象语言进行了理论上的分析，提出了它们在本质相容性和统一性并阐述了这三种技术在我们开发的逻辑图示语言Ｖｉｌｏｇ中的结合。     

面向对象XML数据库的逻辑基础

XML正在成为Internet上数据描述和交换的标准.面向对象的方法具有很强的建模能力,例如继承、非单调继承、多态性、复杂数据结构等.将面向对象的特征引入到XML中,可以提高XML语言的建模能力.用继承扩展XML的模式语言DTD支持元素继承、非单调多重继承、重载、阻断、多态和冲突处理机制. XML-RL是基于高级数据模型的以规则为基础的XML查询语言,用面向对象的特征扩展XML-RL支持多态元素、包含元素.系统地给出面向对象的XML数据库的基于逻辑的语法和语义.     

面向对象逻辑语言SCKE中的限制推理

限制理论是形式化常识知识并进行常识推理的一种重要方法．本文主要研究将限制理论转化为面向对象逻辑语言的可能性，并实现了完成这个转换的编译器．按面向对象逻辑语言的语义运行编译后的程序，可得到与原限制理论相同的结果．将该编译器嵌入面向对象逻辑语言解释器中，可以大大提高该语言的表达能力，特别是可以实现对常识知识表示和常识推理的支持．     

面向对象逻辑语言LKO的类型系统

文中主要介绍面向对象逻辑语言ＬＫＯ中基于声明和推理的有序类型系统，在谓词声明中，类型由有序的构子构造而成，子句中变量类型由类型推理决定，对象类型由方法声明决定，独立于便于代码复用，它可作为基类型参与项类型构造。     

类型化面向对象逻辑语言LKO的元级解释

本文介绍类型化面向对象逻辑语言ＬＫＯ的元级解释技术，主要包括对象约束、状态、方法的继承算法，以及子句解释、类型推理和检查的多种合一算法。     

模糊面向对象数据模型的描述逻辑表示与推理

通过分析描述逻辑与面向对象数据模型之间的关系,研究了基于描述逻辑的模糊面向对象数据(fuzzy object-oriented data,简称FOOD)模型的表示与推理.首先,进一步研究了FOOD模型,提出了FOOD模型的形式化定义和语义定义,以便更好地在FOOD模型与模糊描述逻辑之间建立对应关系;然后,针对FOOD模型的特点和推理需求,介绍了模糊描述逻辑f-ALCIQ.在此基础上,研究了基于f-ALCIQ的FOOD模型的表示与推理,包括:实现了从FOOD模型到f-ALCIQ知识库在结构层和实例层上的转化,即实现了从FOOD模型到f-ALCIQ TBox的转化,以及从FOOD模型相应的数据库实例到f-ALCIQ ABox的转化;进而,基于转化得到的f-ALCIQ知识库,研究了如何利用f-ALCIQ的推理机制对FOOD模型的推理问题(一致性、包含性和冗余性等)进行推理;最后,设计并实现了基于f-ALCIQ的模糊描述逻辑推理机(FRsQ推理机),实现了对FOOD模型和f-ALCIQ模糊概念知识的自动推理.     

POOPL合成逻辑与面向对象的程序设计语言

为了描述知识信息处理系统,人们提出了许多新的程序设计风格,如逻辑程序设计风格、函数程序设计风格、面向规则程序设计风格、面向对象的程序设计风格。但是,没有一种程序设计风格能够完全满足知识信息处理的要求。于是,人们着手探讨合成许多风格的语言。本文论述了合成面向对象与逻辑程序设计两种风格的必要性与可能性以及有关的技术难题,并且简单地介绍了我们研制的合成面向对象与逻辑程序设计两种风格的知识程序设计语言POOPL。它继承了面向对象程序设计对知识库的组织能力和逻辑程序设计对知识的表达能力,并且严格地区别面向对象与逻辑程序设计的语义,以求最大限度地挖掘面向对象程序设计与逻辑程序设计的全部优越性。     

采用面向对象技术设计实现逻辑链路控制和适配协议

逻辑链路控制和适配协议是蓝牙协议栈中数据链路层的一部分。利用面向对象的分析和设计思想,应用标准建模语言的建模技术,对L2CAP协议进行了设计和实现。     

Web Agent中的对象逻辑知识库技术

Web Agent技术是近年来互联网领域研究的热点。以国防科研项目“基于multi-Agent的分布式决策支持系统”及其后勤保障应用为背景,介绍了一个基于语义Web与Web服务的多Agent系统,并通过后勤保障原型应用实例描述了对象逻辑知识库的构造。     

Using Many-Sorted Logic in the Object-Oriented Data Model for Fast Robot Task Planning

Search space explosion is a critical problem in robot task planning. This problem limits current robot task planners to solve only simple block world problems and task planning in a real robot working environment to be impractical. This problem is mainly due to the lack of utilization of domain information in task planning. In this paper, we describe a fast task planner for indoor robot applications that effectively uses domain information to speed up the planning process. In this planner, domain information is explicitly represented in an object-oriented data model (OODM) that uses many-sorted logic (MSL) representation. The OODM is convenient for the management of complex data and many-sorted logic is effective for pruning in the rule search process. An inference engine is designed to take advantage of the salient features of these two techniques for fast task planning. A simulation example and complexity analysis are given to demonstrate the advantage of the proposed task planner.     

Replicated Case Studies for Investigating Quality Factors in Object-Oriented Designs

Thispaper aims at empirically exploring the relationships betweenmost of the existing design coupling, cohesion, and inheritancemeasures for object-oriented (OO) systems, and the fault-pronenessof OO system classes. The underlying goal of this study is tobetter understand the relationship between existing design measurementin OO systems and the quality of the software developed. in addition,we aim at assessing whether such relationships, once modeled,can be used to effectively drive and focus inspections or testing.The study described here is a replication of an analogous studyconducted in a university environment with systems developedby students. In order to draw more general conclusions and to(dis)confirm the results obtained there, we now replicated thestudy using data collected on an industrial system developedby professionals. Results show that many of our findings areconsistent across systems, despite the very disparate natureof the systems under study. Some of the strong dimensions capturedby the measures in each data set are visible in both the universityand industrial case study. For example, the frequency of methodinvocations appears to be the main driving factor of fault-pronenessin all systems. However, there are also differences across studies,which illustrate the fact that, although many principles andtechniques can be reused, quality does not follow universal lawsand quality models must be developed locally, wherever needed.     

数理逻辑中范式教学探讨

命题公式范式是命题逻辑中的一个重要内容，也是计算机学科中人工智能、软件工程等多门核心课程的重要数学基础。本文作者对此内容进行了深入的研究，在结合教学实践的基础上，提出了一个完整的教学案例。     

在面向对象程序设计教学过程中培养学生面向对象编程思想

面向对象程序设计方法是一种新颖的、更符合人类思维习惯的解题方法。本文阐述了面向对象思想的重要性,强调面向对象程序设计课程的重点应该定位在"方法论教学"方面。在教学过程中要通过实例的分析帮助学生树立起面向对象程序设计的新思维,掌握运用面向对象程序设计技术解决实际问题的方法。     

一种基于柔性逻辑的控制方法研究

模糊控制是基于领域专家所给出的模糊控制规则来实现对系统的控制,这些模糊控制规则粗略地描述了控制器输入和输出之间的关系.模糊控制采用的是一种分段逼近的思想,因此在对高阶和多输入等实际复杂系统控制过程中,模糊控制存在控制规则组合爆炸和控制精度不高两大问题.从常规二维模糊控制器的输入变量误差E和误差变化率EC的基本物理意义出发,深入分析它们之间所蕴含的逻辑关系,指出这种关系的本质就是泛逻辑学中的泛组合关系,可用简单的泛组合运算代替复杂的模糊规则推理过程.据此提出了一种柔性逻辑控制方法,可实现对复杂系统的精确控制.最后,一级倒立摆的实物实验结果证明了该方法的可行性和有效性.