JPH03252816A - Expert system for development of lisp education system - Google Patents

Abstract

PURPOSE:To improve the debugging efficiency for development of a LISP education system by transforming the knowledge necessary for a LISP language and the construction of an expert system using the LISP language into a base and applying an artificial intelligence method. CONSTITUTION:A storage means 1 stores the knowledge described in a frame necessary for the education of a LISP language and the construction of an expert system using the LISP language into a knowledge base 2. The base 2 stores stores the knowledge concerning the LISP languages via the means 1. An input means 3 inputs the functions having the ambiguous meanings and the name of a function desiring the display of an executing tree structure. An inference means 4 performs the detailed inference of the subject function inputted by the means 3. Then an output means 6 outputs the detailed explanation of the function which is generated with conversion of a format by a generating means 5 together with the executing tree structure. Thus the debugging efficiency is improved for development of a LISP education system.

Description

DETAILED DESCRIPTION OF THE INVENTION [Industrial Field of Application] The present invention is a system for education and system development regarding the LISP language. It dynamically displays function explanations, usage examples, and execution structure between functions on the interpreter without reference to manuals, supports the optimal LISP language description method, and is an expert system using the LISP language. It relates to a knowledge base system that has a function to support system creation work based on the LISP language, such as teaching builders how to create a good system.

[Conventional technology]

It is desirable to teach LISP, which is a language suitable for artificial intelligence, interactively by actually sitting at a workstation and starting up an interpreter.

Traditionally, in the process of education using the LISP language and building expert systems, students referred to manuals for unclear LISP functions, and checked the operation of the functions by actually typing in usage examples into an interpreter. It was not a very efficient method.

[Problem to be solved by the invention]

It is extremely troublesome to refer to a manual or the like on a LISP interpreter, type in a usage example, and check the execution. Furthermore, typographical errors or the like may cause malfunctions during execution or may overly occupy the HEAP area of LISP, which is a problem.

By expressing various know-how of the LISP language using artificial intelligence techniques, it is possible to provide detailed explanations of system standard functions and new functions by users. That is, LIS
From the programming style of the P function to the display of the tree structure that is the content of the execution process, it is possible to do it without compressing the HEAP area.
Streamline education and system development work related to the LISP language.

[Means to solve the problem]

The configuration of the expert system for developing a LISP educational system of the present invention includes a storage means for storing the knowledge necessary for teaching the LISP language and constructing an expert system using the LISP language in a knowledge base, and a storage means for storing the knowledge necessary for teaching the LISP language and constructing an expert system using the LISP language, and for storing meaningless functions while using the interpreter. a means for inputting a character string; an inference means for analyzing the input character string and making an inference while comparing it with knowledge in the stored knowledge base; and a list format that is an intermediate hypothesis detected by the inference means. The present invention is characterized in that it includes a generating means for converting and generating a format, and a means for outputting a detailed explanation of the LISP function obtained as a result of the generating means and an execution tree structure between the functions.

〔Example〕

Next, the present invention will be explained with reference to the drawings.

FIG. 1 is a detailed illustrative representation of the invention. This represents the execution result of the execution tree structure.

In FIG. 1, reference numeral 1 denotes a storage means that stores knowledge described in a frame necessary for teaching the LISP language and constructing an expert system using the LISP language in a knowledge base. Reference numeral 2 denotes a knowledge base in which knowledge regarding the LISP language is stored in the storage means. 3, input the function name of the meaningless function and the function whose execution structure is to be displayed using the input means. Reference numeral 4 denotes an inference means, which performs inference using frames such as inheritance, default, and demon, and performs detailed inference regarding the target function inputted by the input means; 5, a generation means, which detects the results of the inference means; 6 is an output means which outputs the detailed explanation of the function and the execution tree structure generated by the format conversion by the generation means to an output device. .

FIG. 2 shows a block diagram of an embodiment of the above processing, and shows an example in which the present invention is applied to LISP language education and system development. system 9, reasoning mechanism 10, user interface 12, and frame editor 11
, a display device 13a, and an input/output device 13b.

The knowledge base file 7 includes a frame storage section 8, which includes not only detailed explanatory knowledge regarding the LISP language but also knowledge such as Beccara's know-how in a plurality of frame groups. For important user functions and the like that are frequently used by the user, the frames are reflected in the frame storage section 8 in the knowledge base file 7 using the frame editor 11.

FIG. 3 shows an example of knowledge base search and development in the inference mechanism 10. In the figure, after selecting the target knowledge base file, pattern matching is performed with the function name inputted at the input/output device 13b, and the necessary Bekara's know-how and detailed explanation of the LISP language are selected and expanded. There is. In this method, the interpreter's HEAP
Control is performed so as not to overwhelm the area.

FIG. 4 shows an example of an explanation frame in the frame storage section 8 included in the knowledge base file 7.

In the figure, the first keyword is the target function name, and the second and subsequent keywords are defined in the form of functions for detailed explanations for format conversion and generation.

FIG. 5 shows the result of one execution in this system, and shows the output result of the execution tree structure in addition to a detailed explanation of the function whose meaning has become unclear. Thereby, the call sequence of the execution control function of the unknown function can be easily grasped.

〔Effect of the invention〕

As explained above, the present invention improves the efficiency of debugging system development by creating a knowledge base necessary for teaching the LISP language and constructing an expert system using the LISP language, and applying artificial intelligence techniques. Also,
It supports the optimal language description method and has the educational effect of teaching LISP system creators the know-how for good language description.

In this way, this system can be used to teach LISP language and
By using it when constructing an expert system using the ISP language, it can be used efficiently and effectively, and it can also be effective as an educational system in creating a LISP system.

[Brief explanation of drawings]

Fig. 1 is a detailed explanatory diagram of the present invention, Fig. 2 is a diagram showing the structure of an embodiment of the present invention, Fig. 3 is a diagram showing an example of knowledge base search and expansion in the inference means, and Fig. 4 is a diagram showing the knowledge base. FIG. 5 is a diagram showing an example of an explanatory frame in the base, and FIG. 5 is a diagram showing an output result of the execution tree structure. DESCRIPTION OF SYMBOLS 1...Storage means, 2...Knowledge base, 3...Input means, 4...Inference means, 5...Generation means, 6...
Output means, 7...Knowledge base management file, 8...
Frame storage unit, 9...Knowledge base management means, 10.
... Reasoning 11111 ... Frame editor, 12.
... User interface, 13a... Display device, 13b... Input/output device, 14... Auxiliary storage device.

Claims (1)

[Claims] a storage means for storing knowledge necessary for teaching the LISP language and constructing an expert system using the LISP language in a knowledge base; a means for inputting character strings of meaningless functions while using the interpreter; and means for inputting the input character strings. an inference means for analyzing and inferring while comparing it with knowledge in the stored knowledge base; a generation means for converting and generating a list format that is an intermediate hypothesis detected by the inference means; and a result of the generation means. An expert system for developing a LISP educational system, comprising means for outputting a detailed explanation of the obtained LISP functions and an execution tree structure between the functions.