李智勇
- 作品数：8 被引量：5H指数：1
- 供职机构：华中理工大学计算机科学与技术学院计算机科学与工程系更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- LISP-ELP语言的实现技术
- 1991年
- LISP-ELP语言是作者设计的一种支持专家系统程序设计的函数/逻辑型程序设计语言,本文介绍LISP-ELP语言的特点及其解释系统的实现技术.该解释系统用C语言编写,并在IBM-PC机上实现.
- 张运桢李智勇
- 关键词：专家系统重写规则
- 演绎数据库系统LEDDB
- 1991年
- 本文给出了建立在函数/逻辑型语言LISP-ELP基础上的一个演绎数据库系统模型.该系统比之于建立在PROLOG基础上的演绎数据库系统具有以下优点:有更灵活的控制求解策略、更丰富的查询方式,可与更多的知识表达方式相联系.文中还提出了一种新的知识库管理策略,即多键散列的存取策略,使系统的效率大幅度提高.
- 李智勇张运桢
- 关键词：数据库系统知识库
- ELNF演算的解释技术
- 1994年
- ＥＬＮＦ演算是我们在ＬＮＦ演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言ＲＦＵＮＬＯＧ的基础．本文介绍ＥＬＮＦ演算的解释实现技术，包括数据结构、系统结构以及各个模块的设计思想．最后给出了在此解释系统下，几个典型程序的运行时间．
- 金海李智勇张运桢阳富民银海
- 关键词：逻辑程序程序设计
- 并行函数/逻辑程序设计语言PRFUNLOG
- 1992年
- PRFUNLOG语言是基于顺序RFUNLOG语言基础之上开发的一种并行函数/逻辑型程序设计语言,本文介绍了PRFUNLOG系统的设计思想、系统结构、系统流程以及PRFUNLOG系统较之其他并行系统的特点。
- 金海李智勇张运桢
- 关键词：并行程序设计程序设计语言
- “函数+逻辑”程序设计编译-解释系统
- 1991年
- 本文在“函数+逻辑”程序设计语言LISP-ELP的基础上,介绍了作者设计并实现的一个“函数+逻辑”编译-解释系统.文中阐述了该系统的设计原则、内部结构、实现技术和结果分析.
- 张运桢李智勇成岗
- 关键词：程序设计
- 多规范语言LIPS
- 1991年
- LIPS是作者设计的一种兼有LISP,PROLOG,SMALLTALK语言功能的“函数+逻辑+目标”程序设计语言.本文阐述LIPS的设计思想、LIPS中的面向对象程序设计功能、LIPS的多规范程序设计风格及LIPS的实现技术,提出了“逻辑变量作用域”、“狭义归约”和“广义合一”等概念.
- 李智勇张运桢柳渝
- 关键词：计算机语言LIPS
- 电镀咨询系统ECES
- 1989年
- 我们与武汉市材料保护研究所合作,针对湿热环境下机电产品的主要防护层之一——电镀层的选择和指导问题,设计了腐蚀专家系统的一个子系统——电镀咨询系统ECES.ECES采用我们研制成功的新型函数/逻辑程序设计语言LISP-ELP编制.目前,该系统运行顺利,基本上达到了预期的效果.本文阐述该系统的结构、功能、实现策略和应用情况.1 设计目标产品表面防护涂层的选择,是产品设计和生产制造部门普遍关心和重视的问题.ECES的研制目的是把电镀方面的专家知识融合到计算机技术中,为用户提供专家级的辅助决策意见和指导.作为腐蚀专家系统的一个部分——ECES的设计目标是:
- 李智勇张运桢
- 关键词：EXPERTELECTROPLATINGCOATINGSLANGUAGE
- LISP-ELP的设计和应用被引量：5
- 1989年
- 1.引言 在本文中描述了LISP-ELP的特性、实现和应用。LISP-ELP是作者设计的一种支持专家系统程序设计的逻辑程序设计语言,它继承了LISP和Prolog两者的优点,改进了Prolog的控制结构,并具有极强的知识表达能力,该语言已经在IBM-PC微机上用C语言实现。 在“函数+逻辑”型语盲的研究中有[1,2]的工作.为了推进“函数+逻辑”
- 张运桢李智勇
- 关键词：逻辑程序设计专家系统
