Volume 1,Issue 1,1990 Table of Contents

微信服务号

微信订阅号

Volume 1,Issue 1,1990 Table of Contents

Display Type:

1 SYNTHESIS OF NONDETERMINISTIC LOGIC PROGRAMS

WangLiguo

1990, 1(1):1-15.

[Abstract](4014) [HTML](0) [PDF 757.65 K](5912)

Abstract:
A constructive proving system and the method of combining deduction with knowledge are presented for program synthesis. The synthesis of nondeterministic logic programs is discussed. An example of synthesis of Prolog program "append" is given to illustrate our method.

2 A TEXT DATA BASE ACCESS METHOD FOR CHINESE DYNAMIC OFFICE ENVIRONMENT

Liu Yi

1990, 1(1):17-25.

[Abstract](4143) [HTML](0) [PDF 610.41 K](5163)

Abstract:
With the rapid growth of text database applications, the research of text access methods has become one of the most interesting topics in database area. According to the characters of Chinese office environment, this paper proposes a new text data base retrieval method which organizes the word signature file in the light of their superimposed coding signature. The method has no false drop that is unavoidable in other signature file methods. So it does not need to scan the full text obtained by searching the signature index .When aqiery is processed,only range scan to the signature file is required.Therefore,within a rather wide scope,the performance of our method is approximate to the inversion which is the fastest one among all the text access methods.In the meantime,it also maintains the merit of fitting dynamic information retrieval environment,that can not be found in other kinds of text access method.

3 λ-IMPLYING AND λ-STRONG IMPLYING IN OPERATOR FUZZY LOGIC

Liu Xuhua

1990, 1(1):26-30.

[Abstract](3982) [HTML](0) [PDF 269.02 K](4804)

Abstract:
In this paper, we introduce the concepts of λ-implying, λ-strong implying, λ-weak logical consequence and λ-logical consequence. We prove that λ-resolvent of C₁ and C₂ is a λ-logical consequence of (C₁∧C₂) and compleieness theorem of λ-resolution.

4 AN UNDERSTANDABILITY ORIENTED METHOD FOR REUSABLE SOFTWARE DEVELOPMENT

Dong Yunmei , Li Kaide

1990, 1(1):31-38.

[Abstract](4155) [HTML](0) [PDF 491.07 K](5463)

Abstract:
A programming method for supporting software understanding and reusing is presented in this paper, and a prototype system URS-1 to implement this method is also outlined.

5 A SIMULATE BOYER-MOORE THEOREM PROVER

Ma Suxia , Zheng Renjie

1990, 1(1):39-45.

[Abstract](4827) [HTML](0) [PDF 468.93 K](5270)

Abstract:
SBMTP(Simulate Boyer-Moore Theorem Prover) system is a theorem proving system which is implemented on microcomputer IBM-PC-386 by GCLISP language. The concepts and theoretical basis of the system are computational logic by Boyer and Moore. SBMTP is made up of three parts mainly: knowledge base management subsystem, theorem proving subsystem and interrupt recovery subsystem. Knowledge base management subsystem includes a fundamental knowledge base and a series of knowledge base construction tools. User can organize flexibly his knowledge base in accordance with specific requirements. Theorem proving subsystem employs a heuristic method for reasoning to complete proof. Interrupt recovery subsystem provides powerful recovery ability when proof process gets interrupted. This subsystem improves proof efficiency of the system.

6 THE DESIGN PHILOSOPHY OF XYZ SYSTEM

Tang Zhisong

1990, 1(1):47-55.

[Abstract](4246) [HTML](0) [PDF 741.48 K](5444)

Abstract:
XYZ System is a CASE environment based on temporal logic and conforming to various ways of programming such as programming with HLL, hierarchical specification or production rules, sequential or concurrent, textual or graphical, etc. All these programming paradigms can be unified with a uniform framework of a temporal logic language. The system is designed with the idea to keep good balance between the theoretical rationalism and the engineering pragmatism. In this paper, this idea is illustrated from philosophical point of view.

7 ON THE DESIGN OF AN INDUCTIVE PROGRAM SYNTHESIZER NDIPS

Xu Jiafu , Dai Min , Wang Zhijian

1990, 1(1):57-62.

[Abstract](4171) [HTML](0) [PDF 428.46 K](5014)

Abstract:
This paper discusses the approaches and problems of inductive program synthesis in software automation. The design background and implementation methods of an inductive program synthesizer NDIPS are proposed and the key techniques of automatic program induction adopted in the system are emphasized.

Current Issue

Volume , No.

Table of Contents