面向机体的人工智能语言Ein的抽象模型

为了使人工智能语言具有下述各项特征: ·出现于面向对象(object-oriented)程序设计及诸如此类语言中的各种各样概念和设施予以统一化。 ·使语言具有“计算反思(computational reflection)”的能力,从而达到语言与其支撑环境的一体化,并从而赋予语言系统以表达学习和进化的机能。 ·使语言既适用于小规模程序设计,又适用于大规模程序设计。 ·使语言能成为多体裁(paradigms)的知识表示语言的核心语言。 ·有可能为语言找到严格的数学基础。本文提出了“机体(organism)”这一概念。在机体的基础上,塑造了“面向机体的人工智能语言Ein”的抽象模型。文中阐明了此抽象模型及其各组成部分的功能以及达成上述各项特征的可能性。     

进程作为泛函

一、前言在计算机科学中,自动机这一概念既是十分陈旧的,又是渐趋丰富、与日俱新的概念。不论在硬件或在软件中,也不论在传统的程序设计或在智能的程序设计中,自动机若明若暗、直接间接地几乎无处不在。     

Lyusia语言中状态转移编程体裁的谓词/事件网语义学

Lyusia语言是一种多体裁的人工智能语言,它由五种编程体裁(泛函的,逻辑的,集合论的,状态转移的,数据流的)有机地协调地统一而成,其中有状态转移编程体裁。而状态转移编程体裁实质上又是过程编程体裁与基于法则的编程体裁的结合,并且,还蕴含着数据流(Petri网的一种特殊形式)编程体裁。本文从谓词/事件网的角度,为Lyusia语言中的状态转移编程体栽奠定一种逻辑网的语义学。     

高阶谓词演算向一阶数学理论■_(γω)的转化及其与编程语言的牵连

■_(γω)理论是一种一阶数学理论,它融合γω 演算与经典的谓词演算于一体。本文论述“经典的高阶谓词演算可直接转化成_(γω)理论”,并讨论此种转化与程序设计语言之间的牵连。     

面向对象多层次多体裁人工智能语言J—Lyusia的设计：纯一型结构

在Lyusia这一多层次多体裁人工智能语言的基础上,构成类,各类之间以(单)继承关系相联系.象A—Little—Smalltalk那样规模,不采用元类.主程序也是一个类,起动主程序意味着“生成一个主程序的实例(对象),并与之进行消息传递”;由此,动态地形成“变动着的各对象及其间消息传递”的网,开展计算.本文概略地介绍Lyusia语言,以此描述类的构造.提出主程序作为一个类,及其起动机制,并举例说明.统观之,作为类的实例的对象,是一种多层次多体裁的微观胞腔,类是这些胞腔的模板.程序及其计算的开展则是“相互地以消息传递联系起来的纯一的各微观胞腔(对象)的、动态地变更其构形的宏观网”.     

真空管放大器与半导体放大器的理论比较以及统一它们的可能性

本文比较了真空管放大器和半导体放大器线路的基本理论,从它们差别的原因找出统一化的可能性。系全苏无线电工学与电信科学技技术协会在纪念1955年的无线电日的科学常会上宣读过的报告的扩充提纲。     

M6800微机族配备以系统程序设计语言Modula的探讨:设备模块的实现问题

本文提出一种优先级硬件线路方案,以扩充M6800的中断优先级处理功能,使之适应Modula的应用环境所要求的实时多道程序设计。在此基础上探讨了Modula所特有的设备模块(device module)这一语言成分在实际中的一些问题,主要是设备进程中doio、wait、send等诸语句的实现以及与此有关问题。图2幅,附录2个,参考文献5种。     

属性文法在函数式程序设计系统中的表示

本文探讨LL(1)/L—属性文法在函数式程序设计(FP)系统中表示的可能性,提出“将此类属性文法转换成FP程序”的法则,从而,属性文法实现成为FP系统中可执行的程序。本文工作的意义之一在于:它开拓了“使数据制导的程序设计方法在FP系统中得以自动化”这样一个领域,并作了初步工作。