초록 ▼

To help a user program a computer target system to solve problems, the computer system is provided with predefined capabilities and the user is provided with a knowledge system that includes knowledge about applying the capabilities to effectively and efficiently solve the user\s problems. The knowl

To help a user program a computer target system to solve problems, the computer system is provided with predefined capabilities and the user is provided with a knowledge system that includes knowledge about applying the capabilities to effectively and efficiently solve the user\s problems. The knowledge system provides automatic programming for solving problems within a particular domain, rejects problems that cannot be solved using the available capabilities of the target computer, and explains how and why a certain program was generated or why a program cannot be generated to solve a given problem. The knowledge system preferably collects information about the user\s problem, designs a program that exploits the capabilities of the target computer system effectively to address the user\s problem, encodes the program into a form suitable for execution on the computer system, conveys the program to the computer system, explains to the user why particular elements of the program are included, and justifies its reasoning to the user. A specific embodiment pertaining to reflection seismology is described for advising a user on how to apply a set of program modules for performing static corrections on seismic data, and for generating a job deck for execution on a general-purpose digital computer.

대표청구항 ▼

A computer system comprising, in combination, means for receiving a specification of a problem from a user, a memory having stored therein predefined knowledge about methods of solving problems relating to a certain problem area including knowledge about methods of employing certain capabilities of

A computer system comprising, in combination, means for receiving a specification of a problem from a user, a memory having stored therein predefined knowledge about methods of solving problems relating to a certain problem area including knowledge about methods of employing certain capabilities of a target computer system to solve problems relating to said problem area, and means for using said predefined knowledge to determine whether it is impractical to design a computer program for said target computer system that uses said capabilities of said target computer system to solve the problem specified by said user, so that said problem specified by said user is rejected as inappropriate when it is impractical to design a computer program for using the capabilities of said target computer system to solve said problem.