江明德 作品数:15 被引量:11 H指数:3 供职机构: 电子科技大学计算机科学与工程学院计算机系 更多>> 发文基金: 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 理学 更多>>
面向对象程序设计的思维科学基础 被引量:3 1992年 本文用马克思主义的思维科学的理论,为面向对象程序设计奠定科学认识论和方法论上的基础.为掌握一种程序设计语言,理解它所特有的体裁或观点的理论基础,常常能生事半功倍之效.面向对象观点,与其说接近于数学,不如更接近于物理学;它的理论基础是思维科学。 江明德 菊燕关键词:面向对象 程序设计 思维科学 面向对象多层次多体裁人工智能语言J—Lyusia的设计:纯一型结构 被引量:1 1991年 在Lyusia这一多层次多体裁人工智能语言的基础上,构成类,各类之间以(单)继承关系相联系.象A—Little—Smalltalk那样规模,不采用元类.主程序也是一个类,起动主程序意味着“生成一个主程序的实例(对象),并与之进行消息传递”;由此,动态地形成“变动着的各对象及其间消息传递”的网,开展计算.本文概略地介绍Lyusia语言,以此描述类的构造.提出主程序作为一个类,及其起动机制,并举例说明.统观之,作为类的实例的对象,是一种多层次多体裁的微观胞腔,类是这些胞腔的模板.程序及其计算的开展则是“相互地以消息传递联系起来的纯一的各微观胞腔(对象)的、动态地变更其构形的宏观网”. 江明德 艾健生关键词:面向对象 人工智能 高阶谓词演算向一阶数学理论■_(γω)的转化及其与编程语言的牵连 1991年 ■_(γω)理论是一种一阶数学理论,它融合γω 演算与经典的谓词演算于一体。本文论述“经典的高阶谓词演算可直接转化成_(γω)理论”,并讨论此种转化与程序设计语言之间的牵连。 江明德 柳达夫关键词:语言 编程 ML核心语言的同式多型类型检验的推理系统 1989年 ML 语言的同式多型类型检验(含推导)是颇成功的,具有典型意义;它属于参变的、基本上是寅式的同式多型。本文中 ML 核心语言的同式多型类型检验被表达成“推理法则系统”这样的形式系统。在类型的语义模型与类型检验算法,之间,它起着一种简明而又基本的媒介作用。 江明德 甬剡关键词:ML语言 泛函 程序语言 用面向对象程序设计模拟神经网络计算 1992年 本文用C^(++)这一面向对象程序设计(OOP)语言来模拟神经网络计算:模拟多层感知机。初步表明,用C^(++)作神经计算的规范语言,或作为某种描述神经计算的规范语言的中间语言,是实际可能的。 江明德 健生关键词:面向对象 程序设计 神经网络 多体裁语言Lyusia:状态转移程序设计体裁 被引量:4 1989年 本文继[1]的工作之后,在泛函编程体裁,逻辑编程体裁与集合论编程体裁的基础上,再融入一种编程体裁——状态转移体裁。设计了状态转移编程体裁语法的基本部分;讨论了具此四种体裁(泛函,逻辑,集合论,状态转移)的语言(Lyusia的主体)的操作语义学。并且,阐明了状态转移编程体裁与基于法则(rule-based)编程体裁的关系,状态转移编程体裁与(面向对象编程语言中的)“属性/性能(attributes contained in behavior)”格律的关系。 江明德 祥珠关键词:人工智能 广义元合成法则 江明德关键词:计算机系统 程序设计 数理逻辑 面向对象编程体裁中继承机制语义的Γ_(γω)理论描述:多重继承 1992年 _(γω)理论是一种一阶数学理论,它融合γω演算与谓词演算于一体.本文运用_(γω)理论来描述面向对象编程体裁(00PP)中一种多重继承机制的语义,它象公理语义一样抓住了(语义)问题的本质._(γω)理论在这里起了公理语义学的作用.这种语义描述简明得象Prolog程序一样,并且可望得到多层次多体裁编程语言Lyusia的支持,变得可执行的,从而可用作验证程序正确性. 江明德 奥契塔 山岭关键词:面向对象 程序设计 Lyusia语言中状态转移编程体裁的谓词/事件网语义学 被引量:3 1989年 Lyusia语言是一种多体裁的人工智能语言,它由五种编程体裁(泛函的,逻辑的,集合论的,状态转移的,数据流的)有机地协调地统一而成,其中有状态转移编程体裁。而状态转移编程体裁实质上又是过程编程体裁与基于法则的编程体裁的结合,并且,还蕴含着数据流(Petri网的一种特殊形式)编程体裁。本文从谓词/事件网的角度,为Lyusia语言中的状态转移编程体栽奠定一种逻辑网的语义学。 江明德 向月梅关键词:人工智能 γω演算与谓词演算融合于一阶数学理论中 被引量:3 1990年 本文提出一种一阶数学理论——(?)_(γω)理论,其中融合γω演算与谓词演算于一体。(?)_(γω)理论将成为泛函·方程·逻辑三种编程体裁融合成一体的程序设计语言的“简单、统一、精确的”理论基础。文中还阐明了在(?)_(γω)理论的基础上如何演化出几种典型的有关语言。 江明德关键词:谓词演算 数学