专用机床数控系统选型

主要阐述了专用机床数控系统选型的具体方法及一般原则,并佐以实例。     

On the Relationship Between TMS and Logic Programs

The relationship between TMS and general logic programs is an important issue in non-monotonic logic programming.In this paper,we prove that,after we translate the TMS theory into a general logic program,the TMS‘s well-founded assignment (or extension) is equivalent to the corresponding general logic program‘s stable model.It means that TMS can be completely integrated into a non-monotonic logic programming environment.     

An Improved Bottom-up Method for Implementing Equational Programming Language

Equational programming language (EP) is a novel intelligence language.This paper describes our EP system based on equational logic.Its execution mechanism is pattern matching.The paper focuses the discussion on the improvement to bottom-up tree pattern matching.The new bottom-up method shows high execution efficiency.     

逻辑程序的并行性粒度的分析

本文提出了开发逻辑程序ＡＮＤ并行性中的粒度问题，给出了在我们的计算模型下粒度的计算公式，同时还给出了用粒度信息优化执行图表达式的具体例子．     

逻辑程序的Petri网模型

本文探讨了用Ｐｅｔｒｉ网模拟逻辑程序的可能性，给出了用Ｐｅｔｒｉ网来求取逻辑程序的答案的方法，为自动推理提供了依据，并给出了几个实例。     

变量驱动的智能回溯

本文提出了一个逻辑程序与并行智能回溯模型——变量驱动的智能回溯.文字求解失败时,分析其中参数的失败类型,生成回溯文字集。以变量驱动图为基础,回溯仅在回溯文字集中进行.     

A New Integrated System of Logic Programming and Relational Database

Based on the study of the current two methods-interpretation and compilation-for the integration of logic programming and relational database,a new precompilation-based interpretive approach is proposed.It inherits the advantages of both methods,but overcomes the drawbacks of theirs.A new integrated system based on this approach is presented,which has been implemented on Micro VAX Ⅱ and applied to practise as the kernel of the GKBMS knowledge base management system.Also discussed are the key implementation techniques,including the coupling of logic and relational database systems,the compound of logic and relational database languages,the partial evaluation and static optimization of user‘s programs,fact scheduling and version management in problem-solving.