Acquisition and representation of knowledge on the level of programming language for automatic programming

ABSTRACT

This paper explores the representation of a knowledge necessary for a computer to achieve the ability to perform the automatic synthesis of user programs. It is assumed that the knowledge demanded for this synthesis can be acquired by the computer from user programs written in a high-level programming language. This arises from the fact that user programs consist of a finite number of components, which being treated as some pieces of the knowledge, should be incorporated into the knowledge base (KB). A method is presented of acquiring knowledge from user programs. It is shown that knowledge being acquired from a user program, on the level programming language, is divided by the computer into three kinds associated with, respectively, algorithm structures, operation codes and declaration statements. In this paper formal representation of each kind of knowledge in the KB is introduced and the retrieval of knowledge belonging to each kind is described.

REFERENCES

• 1: Cooke D.E., Gates A., "On the Development of a Method to Synthesize Programs form Requirement Specifications", Internation- al Journal of Software Engineering and Knowledge Engineering 1 (March 1991), pp. 21-38, World Scientific Publishing Co, New Jersey, 1991.
• 2: Karen A. Frenkel, Toward automating the software-development cycle, Communications of the ACM, v.28 n.6, p.578-589, June 1985 [doi>10.1145/3812.3813]
• 3: Cordell Green, What is program synthesis?, Journal of Automated Reasoning, v.1 n.1, p.37-48, 1985
• 4: Jan Kazimierczak, An approach to natural language processing in the rule-based expert system, Proceedings of the 1990 ACM annual conference on Cooperation, p.215-222, February 20-22, 1990, Washington, D.C., United States [doi>10.1145/100348.100381]
• 5: Kazimierczak J., "Knowledge Representation Processing Automatic Synthesis of User Program", Proceedings of 3rd Intern. Conference "Software Engineering and Knowledge Engineering'91", Skokie, illinois, U.S.A., pp. 149-154, Knowledge Systems institute Press, Skokie 1991.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.2 Automatic Programming
          Subjects: Program synthesis

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Pascal

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Representations (procedural and rule-based)
      I.2.6 Learning
          Subjects: Knowledge acquisition

General Terms:
Algorithms, Languages