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

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

一种缺省推理方法及其应用

DFSES系统采用了一种缺省推理方法,大大地提高了该系统的决策能力,本文介绍了DFSES系统中的缺省理论及其扩张,并阐述了基于这些思想和类树形知识结构的特点缺省推理的实现。     

对象式逻辑语言LKO的实现技术

本文首先介绍对象逻辑程序设计语言ＬＫＯ的基本概念，然后讨论其转换系统的系统结构，主要数据结构及关键算法。     

Agent的行为自信度及其修改规则

在多Ａｇｅｎｔ系统中，个体Ａｇｅｎｔ除了具有自治性，应激性，主动性外，还应当具社会性以完成只有协作才能解决的问题。这种社会性要求Ａｇｅｎｔ能及时响应其它Ａｇｅｎｔ的服务请求，对自己的行为作出承诺。但是，，有能力和意图并不一定有信心。     

用C^＋＋绘制多种二维曲线

二维曲线在计算机应用中是经常使用的。本文介绍用Ｃ＾＋＋及其面向对象方法实现各种参数化曲线的技术，并给出了主要的Ｃ＾＋＋源程序。     

我国高层建筑中施工技术的几个问题

<正> 高层建筑在我国大中城市中日益增多,其规模与数量是以往任何时期所不能比拟的,同时也出现了以往所没有碰到过的新问题。本文拟在我国近几年实践的基础上,提出高层建筑施工中若干技术问题,并对解决问题的途径,提出不成熟的看法,以便共同讨论,俾有助于我国高层建筑施工技术水平的提高。     

一种用于基于知识系统开发的形式化模型

ＬＫＯ是一个新面向对象和逻辑范型相结合用于基行知识的系统的形式化开发模型，其中逻辑对象是集状态，约束，行为，继承于一体的抽象实体，它支持框架，规则，语义网络，黑板等多种知识表示，因而可用来形式地描述基于知识系统的需求规范。在知识获了过程中通过对形式规范反复地修改，验证及确认而形成软件原型。／     

智能决策支持系统NUIDSS的设计与实现

本文介绍将ＡＩ技术和ＤＳＳ相结合而研制的一个智能支持决策系统ＮＵＩＤＳＳ及其在能源决策管理中的应用，目前，ＡＩ与ＤＳＳ结合的系统正在以很快的速度开发和实现，然而如何将ＤＳＳ与ＡＩ，特别是ＥＳ进行集成仍存在许多问题，该系统对此作了一些探讨。本文将阐述系统的设计与实现并着重介绍模型描述语言，知识库以及推理，最后给出了江苏省能源决策的应用实例。