Intelligent assistant for using and operating computer system capabilities to solve problems

• US 4,713,775 A
• Filed: 08/21/1985
• Issued: 12/15/1987
• Est. Priority Date: 08/21/1985
• Status: Expired due to Term

• Current Assignee: Compagnie Generale De Geophysique
• Original Assignee: Compagnie Generale De Geophysique, Teknowledge Corporation
• Inventors: Scott, A. Carlisle, Clayton, Jan E., Garnier, Jacques
• Primary Examiner(s): Ruggiero, Joseph
• Application Number:
  US06/768,012
• Time in Patent Office: 846 Days
• Field of Search: 364/513, 364/148, 364/191-193, 364/194, 364/200, 364/300, 364/900, 364/421, 382/14, 382/15, 367/37, 367/38, 367/73
• US Class Current: 706/45
• CPC Class Codes: G06F 8/10 Requirements analysis; Specification techniques
• CPC Class Codes: G06F 8/30 Creation or generation of source code
• CPC Class Codes: Y10S 706/908 Electronic or computer, internal or network, circuit
• CPC Class Codes: Y10S 706/922 Computer program preparation
• CPC Class Codes: Y10S 706/929 Geological, e.g. seismology

Abstract

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.

Claims

1. 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.

2. The system as claimed in claim 1, further comprising means for generating a diagnosis characterizing the impracticality of designing a computer program for said target computer system when said means for using said predefined knowledge determines that 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.

3. The system as claimed in claim 2, further comprising means for conveying said diagnosis to a designated recipient.

4. The system as claimed in claim 2, further comprising means for conveying said diagnosis to said user.

5. The system as claimed in claim 2, further comprising means for generating an explanation of reasons for said diagnosis.

6. The system as claimed in claim 1, further comprising means for generating a design for a program for using said capabilities of said target computer system to solve said problem when said means for using said predefined knowledge does not determine that 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.

7. The system as claimed in claim 6, further comprising means for storing and retrieving said design in and from memory.

8. The system as claimed in claim 6, further comprising means for generating an explanation of reasons why said design is appropriate for using said capabilities of said target computer system to solve said problem.

9. The system as claimed in claim 6, further comprising means for coding a computer program according to said design for execution on said target computer system.

12. The system as claimed in claim 1, wherein said means for receiving a specification of a problem from a user include means for accepting initial information in response to presenting to the user predetermined initial inquiries, and means for soliciting and accepting information selected in response to the initial information accepted from the user.

13. The system as claimed in claim 1, wherein the capabilities of said computer system include software capabilities defined by a set of predefined programs having respective arguments which specify the operation of the programs, and a set of predetermined modules defining particular sequences of certain ones of the programs for solving certain kinds of problems in said problem area.

14. The system as claimed in claim 13, wherein said modules perform static corrections upon traces of seismic data.

15. The system as claimed in claim 14, wherein said set of modules includes modules for semi-automatic corrections, automatic long-wave corrections, and automatic short-wave corrections.

16. The system as claimed in claim 1, wherein the target computer system capabilities perform data analysis.

17. The system as claimed in claim 16, wherein said data analysis includes analysis of seismic data.

18. The system as claimed in claim 1, wherein said predefined knowledge about methods of solving problems relating to said problem area is stored in the form of distinct rules and wherein said means for using said predefined knowledge include an interpreter having an inference engine for applying said rules to said specification received from said user.

19. The system as claimed in claim 18, wherein said predefined knowledge about methods of solving problems relating to said problem area is stored in a format including if-then rules operating upon the values of predefined parameters, and the control sequence of applying the rules is determined in part by the instantiation of contexts in a predefined context hierarchy.

10. The system as claimed in 9, further comprising means for generating a description of said coded computer program.

11. The system as claimed in claim 10, wherein said means for coding incorporate at least a portion of said description into said computer program as comments.

20. A 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 generating a design for a program for using said capabilities of said target computer system to solve said problem.

21. The system as claimed in claim 20, further comprising means for storing and retrieving said design in and from memory.

22. The system as claimed in claim 20, further comprising means for generating an explanation of reasons why said design is appropriate for using said capabilities of said target computer system to solve said problem.

23. The system as claimed in claim 20, further comprising means for coding a computer program according to said design for execution on said target computer system.

26. The system as claimed in claim 20, wherein said means for receiving a specification of a problem from a user include means for accepting initial information in response to presenting to the user predetermined initial inquiries, and means for soliciting and accepting information selected in response to the initial information accepted from the user.

27. The system as claimed in claim 20, wherein the capabilities of said computer system include software capabilities defined by a set of predefined programs having respective arguments which specify the operation of the programs, and a set of predetermined modules defining particular sequences of certain ones of the programs for solving certain kinds of problems in said problem area.

28. The system as claimed in claim 27, wherein said modules perform static corrections upon traces of seismic data.

29. The system as claimed in claim 28, wherein said set of modules includes modules for semi-automatic corrections, automatic long-wave corrections, and automatic short-wave corrections.

30. The system as claimed in claim 20, wherein the target computer system capabilities perform data analysis.

31. The system as claimed in claim 30, wherein said data analysis includes analysis of seismic data.

32. The system as claimed in claim 20, wherein said predefined knowledge about methods of solving problems relating to said problem area is stored in the form of distinct rules and wherein said means for using said predefined knowledge include an interpreter having an inference engine for applying said rules to said specification received from said user.

33. The system as claimed in claim 32, wherein said predefined knowledge about methods of solving problems relating to said problem area is stored in a format including if-then-rules operating upon the values of predefined parameters, and the control sequence of applying the rules is determined in part by the instantiation of context types in a predefined hierarchy of context types.

24. The system as claimed in 23, further comprising means for generating a description of said coded computer program.

25. The system as claimed in claim 24, wherein said means for coding incorporate at least a portion of said description into said computer program as comments.

34. A computer system comprising, in combination,

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,

means for storing and retrieving a design for a computer program for said target computer system that uses said capabilities of said target computer system to solve a problem relating to said problem area, and

means for applying said knowledge stored in said memory to generate an explanation of reasons why said design is appropriate for using said capabilities of said target computer system to solve said problem.

35. The system as claimed in claim 34, further comprising means for coding a computer program according to said design for execution on said target computer system.

36. The system as claimed in claim 35, further comprising means for generating a description of said coded computer program.

37. The system as claimed in claim 36, wherein said means for coding incorporate at least a portion of said description into said computer program as comments.

38. An automatic programming system for designing a computer program for a target computer system having certain capabilities, said automatic programming system comprising, in combination,

means for receiving a specification of a problem,

a memory having stored therein predefined knowledge about methods of solving problems relating to a certain problem area including knowledge about methods of employing said capabilities of said target computer system to solve problems relating to said problem area,

means for using said predefined knowledge to determine whether it is impractical to generate a computer program for said target computer system that uses said capabilities of said target computer system to solve the specified problem, so that the specified problem is rejected as inappropriate when it is impractical to generate a computer program for using the capabilities of said target computer system to solve the specified problem,

means for generating a computer program for using said capabilities of said target computer system to solve the specified problem when said means for using said predefined knowledge does not determine that it is impractical to generate a computer program for said target computer system that uses said capabilities of said target computer system to solve the specified problem, and

means for generating an explanation of reasons why said computer program is appropriate for using said capabilities of said target computer system to solve said problem when said means for using said predefined knowledge does not determine that it is impractical to generate a computer program for said target computer system that uses said capabilities of said target computer system to solve the specified problem.

39. The system as claimed in claim 38, further comprising means for generating an explanation of why it is impractical to generate a computer program for said target computer system when said means for using said predefined knowledge determines that it is impractical to generate a computer program for said computer system that uses said capabilities of said target computer system to solve the specified problem.

41. The system as claimed in claim 38, wherein said means for receiving a specification of a problem include means for accepting initial information from a user in response to presenting to the user predetermined initial inquiries, and means for soliciting and accepting information selected in response to the initial information accepted from the user.

42. The system as claimed in claim 38, wherein the capabilities of said computer system include software capabilities defined by a set of a plurality of predefined programs having respective arguments which specify the operation of the programs, and a set of predetermined modules defining particular sequences of certain ones of the programs for solving certain kinds of problems in said problem area.

43. The system as claimed in claim 42, wherein said modules perform static corrections upon traces of seismic data.

44. The system as claimed in claim 43, wherein said set of modules include modules for semi-automatic corrections, automatic long-wave corrections, and automatic short-wave corrections.

45. The system as claimed in claim 38, wherein said predefined knowledge about methods of solving problems relating to said problem area is stored in the form of distinct rules and wherein said means for using said predefined knowledge include an interpreter having an inference engine for applying said rules to said specification received from said user.

46. The system as claimed in claim 45, wherein said predefined knowledge about methods of solving problems relating to said problem area is stored in a format including if-then-rules operating upon the values of predefined parameters, and the control sequence of applying the rules is determined in part by the instantiation of context types in a predefined hierarchy of context types.

40. The system as claimed in 38, wherein said means for generating a computer program further comprises means for generating a description of said coded computer program and incorporating at least a portion of said description into the computer program as comments.

47. A method of operating a digital computer for designing a computer program to be executed on a target computer for using predefined capabilities of the target computer to solve a specified problem, said digital computer having a memory storing predefined knowledge about methods of solving problems relating to a certain problem area including knowledge about employing said capabilities of said target computer system to solve problems relating to said problem area, said method comprising the steps of:

(1) receiving a definition of the specified problem;

(2) applying said knowledge stored in said memory to said definition of the specified problem to generate an indication of whether it is practical to design a computer program for said target computer system that uses said capabilities of said target computer system to solve the specified problem, and

(3) when step (2) indicates that it is practical to design such a computer program, applying said knowledge stored in said memory to generate a design for such a computer program.

48. The method as claimed in claim 47, wherein step (2) further comprises storing in said memory a record of the particular knowledge that is applied and which results in said indication, and wherein said method further comprises the step of interpreting said record to generate an explanation of why it was impractical to design such a computer program.

49. The method as claimed in claim 47, wherein step (3) further comprises storing in said memory a record of the particular knowledge that is applied and results in said design that is generated, and wherein said method further comprises the step of interpreting said record to generate an explanation of why said design is appropriate for using said capabilities of said target computer system to solve said problem.

50. The method as claimed in claim 47, further comprising the step of storing and retrieving in and from memory the design generated in step (3).

51. The method as claimed in claim 47, further comprising the step of:

(4) coding a computer program from said program design.

52. The method as claimed in claim 51, further comprising the step of:

(5) generating a description of the coded computer program.

53. The method as claimed in claim 52, wherein at least a portion of said description is included as comments in said coded computer program.

54. The method as claimed in claim 47, wherein said predefined capabilities of the target computer include a predefined set of computer program modules, and said step (2) of applying said knowledge to generate an indication includes selecting appropriate program modules, and indicating whether the set of selected modules is sufficient for generating a design for such a computer program.

55. The method as claimed in claim 54, wherein said modules include predefined sequences of certain programs having respective arguments that are determined for specifying the operation of the programs;

and said step (3) of generating a design for such a computer program includes expanding the selected modules into ordered lists of their component programs, and applying said knowledge stored in memory to determine appropriate arguments for the programs.

56. The method as claimed in claim 55, further comprising applying said knowledge in said memory to determine an explanation of why certain arguments for the programs were determined.

57. The method as claimed in claim 55, wherein said set of modules includes modules for performing semi-automatic, automatic long-wave, and automatic short/wave static connections to seismic data.

58. The method as claimed in claim 57, wherein said step (2) of generating an indication includes applying said knowledge in said memory to determine the appropriate statics analysis type based on the geographical area where the seismic data were collected.

59. The method as claimed in claim 58, wherein the statics analysis type is one of river-statics, mountain-statics, plain-statics, and dune-statics.

60. The method as claimed in claim 57, wherein said step (2) of generating an indication includes applying said knowledge in said memory to determine an appropriate statics analysis type based on the extent of an anomaly.

61. The method as claimed in claim 47, wherein said predefined capabilities of said target computer include a plurality of kinds of data processing operations upon data received by said target computer, and said step (2) includes applying said knowledge in said memory to determine the appropriate kind of data processing operations that should be performed by said target computer.

62. The method as claimed in claim 61, wherein said step (2) of generating an indication further includes the step of generating a list of things to check that could be responsible for an indication that it is impractical to design such a computer program.

63. The method as claimed in claim 61, wherein said step (1) of receiving a definition of the specified problem includes the steps of soliciting and accepting predetermined initial information from a user upon which the appropriate kind of data processing operation is determined, and soliciting and accepting more specific information from said user in response to the appropriate kind of data processing operations that is determined.

64. The method as claimed in claim 47, wherein said step (2) of generating an indication further includes the step of generating a list of things to check that could be responsible for an indication that it is impractical to design such a computer program.

65. A process of operating a general purpose data processor having a storage area, to generate a computer job to be executed on a target computer to perform static corrections to seismic data, said computer job comprising an ordered list of predefined component programs having respective arguments which are selected to specify the operation of the component programs, said process comprising the steps of

(a) loading into the storage area of the data processor

(1) a predetermined data base including a set of inference rules encoding knowledge about applying static corrections to seismic data and concluding a sequence of appropriate ones of the predefined component programs and appropriate arguments in said sequence of programs in response to information about the seismic data including geological and geophysical data about the area in which the seismic data were collected, how the seismic data were collected, and information obtained by earlier processing steps performed on the seismic data, and

(2) rule interpreter means for chaining together a subset of the inference rules to establish an inference from specified information about the seismic data and concluding an appropriate sequence of programs and appropriate arguments for the programs,

(b) inputting said specified information about the seismic data,

(c) executing the rule interpreter to chain together a corresponding subset of the inference rules to establish an inference from said specified information about the seismic data and conclude an appropriate sequence of programs and appropriate arguments for the programs in said sequence, and

(d) outputting from said data processor the concluded sequence of programs and their arguments.

66. The process of operating a general purpose data processor as claimed in claim 65, wherein rule interpreter means include means for generating in the storage area a list of the inference rules chained together to establish said inference from said specified information about the seismic data and concluding said sequence of programs and appropriate arguments and means for generating an explanation of the basis for concluding said sequence of programs and appropriate arguments by interpreting the rules in said list of inference rules, and wherein the process further comprises a step (e) of executing the rule interpreter means to generate said list of inference rules chained together and to generate a corresponding explanation by interpreting said list of rules, and a step (f) of outputting from said data processor said corresponding explanation.

67. The process of operating a general purpose data processor as claimed in claim 65, wherein said inference rules include a subset of rules to determine checks, warnings, and recommendations regarding the processing of the seismic data, and wherein said process further comprises a step of outputting from said data processor the checks, warnings, and recommendations concluded by rules in said subset.

68. The process of operating a general purpose data processor as claimed in claim 65, wherein said inference rules include a subset of rules to determine explanations of why certain arguments are appropriate for their respective programs, and wherein said process further comprises a step of outputting from said data processor the concluded explanations of why certain of the concluded arguments are appropriate for their respective programs.

69. The process of operating a purpose data processor as claimed in claim 65, wherein said inference rules include rules to find a statics analysis type based on information about the geographical area where the data was collected, rules to determine the appropriate type of processing method based on the statics analysis type and information obtained by earlier processing steps, rules to determine the appropriate programs for performing respective types of processing methods, and rules for determining appropriate arguments for respective programs.

70. The process of operating general purpose data processor as claimed in claim 69, wherein the statics analysis types include plain-statics and river-statics, and the types of processing methods include semi-automatic and automatic.