IQLISP在IBM PC机上的汉化和在IBM 5550机上的移植

1986年下半年,作者成功地进行了IQLISP在IBM PC机上的汉化和在IBM 5550机上的移植。该LISP系统是Integral Quality公司1985年七月推出的,除了实现一般LISP功能外,还增加基本的绘图功能(画点和线)。IQLISP可以用来开发大型开放系统,而且所需内存少,在一般微机上都能运行。因此,它是人工智能工作者的理想工具,比GCLISP更容易推广。现将我做这项工作的一些体会介绍如下,以供同行们参考。     

XLISP解释系统的分析与研究

一、引言目前,人们对在微机上进行人工智能研究的兴趣正在不断地增长。在微机上已配置了各种版本的 Prolog 语言和 Lisp 语言。就 Lisp 语言而言,在国内流行的有 LISP3.3,LISP-11,IQ LISP,GCLISP 和 XLISP。它们各有优缺点。LISP-11和 LISP3·3分别是 PDP-11/03和 CROMEMCO 微机上配置的 Lisp 语言。这两个系统的共同缺点是:①系统留给用户的自由空间太小,②将其扩展又不方便。实际上,它们仅能用于教学实践,而不能利用它们设计人工智能领域内有实用价值的系统。PC 机上的 IQLISP 具有很强的数学运算能力,而且提供了一些便于处理计算问题的“宏”函数,然而它的输入输出却不方便,整个系统比较庞杂。     

多核系统下并行节点复制垃圾收集算法

为了提高垃圾收集效率,减少用户程序等待时间,提出了一种在多核系统下基于LISP2算法的并行节点复制算法。该算法通过把LISP2算法的4个垃圾收集阶段分别并行化来实现并行垃圾收集。实验结果显示,该算法在多核系统下能有效提高垃圾收集效率。     

GCLISP对其他高级语言的调用方法

目前的GCLISP版本,对用其他高级语言编写的程序交互能力差,这对需要进行复杂计算或想直接调用其他高级语言编写的“标准程序”的用户造成了一定的困难。本文介绍了作者在使用GCLISP调用其他高级语言的一点体会,提出了用高级批处理的方法来解决这种联接调用。这对使用GCLISP的用户可能会有一定的启发。     

建造调试LISP程序的工具系统原理

LISP语言是人工智能程序设计最常用的语言。调试LISP程序的效率是每个使用LISP语言的人所关心的。本文介绍了建造调试LISP程序的工具系统原理,其基本思想是利用LISP语言的特点构造软中断和实时编辑程序使得在程序查错方面能观察程序的动态变化,在程序修改方面能在LISP状态下实时进行。实践表明,使用工具系统可以大幅度地提高调试LISP程序的效率,而该工具系统容易建造,所占内存很少,在微型机上就可以实现。     

NITLISP语言通过鉴定

目前机电部召开的软件鉴定会上通过了东南大学研制的NITLISP语言。这种语言是以GCLISP语言为基础,再进一步加以扩充和改进而成,实现了汉化。该语言除保持了GCLISP     

专家系统开发工具SHELL86-BIIC的设计

CHELL86—BIIC是一个专家系统开发工具。它用GCLISP语言编写,在IBM—PC微机上实现。该系统的实现使专家系统的建造者能够通过一系列的菜单交互方式建立某一领域的专家系统。它具有较强的交互能力,并提供了知识库的维护、推理过程的跟踪、知识确信度的计算以及人工干预的学习系统等重要功能。     

全国计算机软件和资料邮购中心邮购目录

1.AUTOCAD计算机绘图软件包10.0版(中文版,上下册)39元;2.AUTOCAD11.0实体造型实用教程10元;3.AutoCAD10.0参考大全(初级中级高级编程指南)20元;4.AutoCAD10.0版高级绘图技巧与实例20元,5.计算机数字系统的测试技术与实例19元;6.微型机绘图方法与实例9元;7.AUTOCAD11.0计算机绘图软件包应用与实例31元;8.Golden Common LISP使用大全(通用GCLISP,新版,教材)15元;9.AutoCAD10.0高级开发技术20     

LISP-HIMS:一种基于LISP的层次化标识映射系统

针对目前全球路由表规模高速增长的问题,IETF提出可以通过分离主机的身份标识和路由标识地址空间来重新考量互联网寻址体系结构。思科公司提出的LISP(Locator Identity Separation Protocol)是基于该思想提出的主流方案之一。首先提出一种新的基于LISP的层次化标识映射系统,以克服目前其他LISP映射系统的不足,然后详细阐述该系统的模型、工作模式以及主机身份标识的分配方案;最后与其他LISP映射系统进行了分析与比较,结果表明,该系统具有良好的可扩展性以及更低的映射信息查询时延。     

LISP机系统的现状和发展

LISP系统是能够运行LISP语言的计算机系统。本文对LISP系统进行了分类并介绍了一些LISP系统。文中分析了专用LISP机器的体系结构和工作站对LISP机器市场的冲击,并指出专用LISP机将与通用机相结合,以协处理器的方式支持符号处理。     

LISP语言的特点及其文法的BNF描述

LISP是最早和最重要的符号处理编程语言之一,Scheme语言是LISP的方言。本文总结了LISP语言的特点,并根据LISP语言的特点,用BNF范式完整的描述了Scheme语言的文法,这为用编译方法实现LISP语言提供了思路。     

人工智能系统的程序设计语言——LISP

人工智能系统所以能够处理大量复杂问题并能很好地解决,主要是靠其强有力的软件工具与硬件工具,也就是靠LISP程序设计语言和采用这种程序的专用处理机。LISP是一种专门用表格形式处理数据集的程序设计语言,主要用于信息检索、模拟、符号处理、系统程序设计以及信息交换。其优点是在处理数据采集时能发挥高度的互换性,可以改变各项逻辑顺序但不改变其物理位置。LISP可以为交互程序设计进行联机     

基于Visual LISP的压力中心计算机速求系统(CAD)

本文基于Visual LISP for AutoCAD2000和确定压力中心的新方法,成功地开发了压力中心计算机速求系统。应用该系统可以用计算机快速准确地求得压力中心。本文阐述了系统的设计实现、总体模型、模块构成、系统界面、执行流程和使用方法,说明了系统的实际应用效果。该系统具有实用性和先进性,实现了压力中心的准确求解,用计算机技术提升了传统产业工艺设计的科技水平。     

模拟Boyer-Moore定理证明器

SBMTP(Simulate Boyer-Moore Theorem Prover)系统是在IBM-PC-386微机上用GCLISP语言实现的一个定理证明系统。该系统采用的思想方法和理论基础是Boyer-Moore的计算逻辑理论. SBMTP主要由三部分组成:知识库管理部分、定理证明部分及中断恢复部分。 知识库管理部分包括一个基本知识库和一系列知识库构造工具。用户可根据具体问题 灵活地组织自己所需要的知识库,定理证明部分采用启发式方法逐步推演,完成证明。中断恢复部分在证明产生中断的情况下提供了较强的恢复能力,提高了证明效率。     

一个“函数＋逻辑”程序设计语言的解释—编译系统

我们设计了一个主要支持知识程序设计的“函数+逻辑”语言。它利用LISP丰富的语言环境,以LISP的S—表达式形式把LISP和Prolog有机统一起来,兼备函数和逻辑混合的或独立的编程风格,具有计算策略丰富、编程方式灵活多样、问题表达能力强等特点。为克服解释实现中逻辑部分执行效率远慢于函数部分等缺陷,我们实现了该“函数+逻辑”语言的解释一编辑系统。本文介绍了该系统的设计思想、内部结构及实现原理等。     

函数式语言并行化的方法

Lisp作为一个表处理语言.有着悠久的历史,而COMMON LISP提供一r丰富的数据集和多程序设计模式:函数的,强制的和面向对象的〔“·幻。我们以COMMON LISP为蓝本完成T XJD一LISP/CLOS,它是为我国曙光一号机配备的.现已通过国家教委组织的鉴定。最近我们正在开发COMMON LISP的并行版本,作为863计划资助项目,这个工作很有意义。该并行系统将加速计算,并且还能对XJD一 LISP/CLOS提供支持。本文就函数式语言并行化的方法进行了探讨。     

程序验证中的简化技巧

作者已在PDP-11-03微型机上用LISP语言设计调试成功Boyer-Moore程序验证系统,并用之证明了一些递归程序的正确性。本文给出对该系统中简化技巧的实现算法。 1.子句简化算法 文献[1]曾对Boyer-Moore程序验证系统的总体设计作过介绍,下面给出系统中调用较为频繁的子句简化算法SIMPLIFYCLAUSE。该算法送回对入口子句CL中各文字作     

模拟Boyer-Moore定理证明器

SBMTP(Simulate Boyer-Moore Theorem Prover)系统是在IBM-PC-386微机上用GCLISP语言实现的一个定理证明系统。该系统采用的思想方法和理论基础是Boyer-Moore的计算逻辑理论. SBMTP主要由三部分组成:知识库管理部分、定理证明部分及中断恢复部分。 知识库管理部分包括一个基本知识库和一系列知识库构造工具。用户可根据具体问题 灵活地组织自己所需要的知识库,定理证明部分采用启发式方法逐步推演,完成证明。中断恢复部分在证明产生中断的情况下提供了较强的恢复能力,提高了证明效率。     

逻辑程序设计语言LOGLISP

逻辑程序设计语言LOGLISP是LISP语言和Prolog语言两者优点的结合。由LISP和嵌套在LISP中的表示LOGIC的新函数的集合组成。鼓励读者把LOGLISP想成 LOGLISP=LOGIC+LISP 该语言是由J.A.Robinson等人于1983年设计实现的。     

运输调度专家系统

本文介绍了用人工智能方法建立的货运汽车调度系统,给出了运输调度的组合图式、局 部最优和全局满意求解算法,建立了启发式组合函数以及运输交通图上的最短路径的启发式 算法.系统使用过程法表示知识.该系统是用LISP和PASCAL语言实现的可实用的有明 显经济效益和易于推广的程序系统.