Patent US4713775A successfully refreshed from Google Patents.
US4713775A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Intelligent assistant for using and operating computer system capabilities to solve problems
Assignee: CGG SA
•
Filing: 1985-08-21
•
Granted: 1987-12-15
•
Expires: 2005-08-21
Abstract
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.
Inventors
- 👤 A. Carlisle Scott
- 👤 Jan E. Clayton
- 👤 Jacques Garnier
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-10-27 08:39
CPC Classifications
G; G06; G06F; G06F8/00; G06F8/30; G06F8/10; Y; Y10; Y10S; Y10S706/00; Y10S706/902; Y10S706/903; Y10S706/908; Y10S706/919; Y10S706/922; Y10S706/928; Y10S706/929
Claims Analysis
Total Claims: 76
Claim 1
Independent Claim
130 words
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.
Claim 2
Dependent Claim
130 words
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.
Claim 3
Dependent Claim
67 words
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.
Claim 4
Dependent Claim
18 words
The system as claimed in claim 2, further comprising means for conveying said diagnosis to a designated recipient.
Claim 5
Dependent Claim
17 words
The system as claimed in claim 2, further comprising means for conveying said diagnosis to said user.
Claim 6
Dependent Claim
19 words
The system as claimed in claim 2, further comprising means for generating an explanation of reasons for said diagnosis.
Claim 7
Dependent Claim
72 words
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.
Claim 8
Dependent Claim
20 words
The system as claimed in claim 6, further comprising means for storing and retrieving said design in and from memory.
Claim 9
Dependent Claim
34 words
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.
Claim 10
Dependent Claim
26 words
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.
Claim 11
Independent Claim
18 words
The system as claimed in 9, further comprising means for generating a description of said coded computer program.
Claim 12
Dependent Claim
26 words
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.
Claim 13
Dependent Claim
54 words
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.
Claim 14
Dependent Claim
59 words
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.
Claim 15
Dependent Claim
18 words
The system as claimed in claim 13, wherein said modules perform static corrections upon traces of seismic data.
Claim 16
Dependent Claim
24 words
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.
Claim 17
Dependent Claim
16 words
The system as claimed in claim 1, wherein the target computer system capabilities perform data analysis.
Claim 18
Dependent Claim
16 words
The system as claimed in claim 16, wherein said data analysis includes analysis of seismic data.
Claim 19
Dependent Claim
56 words
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.
Claim 20
Dependent Claim
58 words
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.
Claim 21
Independent Claim
77 words
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.
Claim 22
Independent Claim
77 words
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.
Claim 23
Dependent Claim
20 words
The system as claimed in claim 20, further comprising means for storing and retrieving said design in and from memory.
Claim 24
Dependent Claim
34 words
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.
Claim 25
Dependent Claim
26 words
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.
Claim 26
Independent Claim
18 words
The system as claimed in 23, further comprising means for generating a description of said coded computer program.
Claim 27
Dependent Claim
26 words
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.
Claim 28
Dependent Claim
54 words
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.
Claim 29
Dependent Claim
59 words
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.
Claim 30
Dependent Claim
18 words
The system as claimed in claim 27, wherein said modules perform static corrections upon traces of seismic data.
Claim 31
Dependent Claim
24 words
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.
Claim 32
Dependent Claim
16 words
The system as claimed in claim 20, wherein the target computer system capabilities perform data analysis.
Claim 33
Dependent Claim
16 words
The system as claimed in claim 30, wherein said data analysis includes analysis of seismic data.
Claim 34
Dependent Claim
56 words
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.
Claim 35
Dependent Claim
60 words
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.
Claim 36
Dependent Claim
113 words
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.
Claim 37
Dependent Claim
113 words
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.
Claim 38
Dependent Claim
26 words
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.
Claim 39
Dependent Claim
19 words
The system as claimed in claim 35, further comprising means for generating a description of said coded computer program.
Claim 40
Dependent Claim
26 words
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.
Claim 41
Dependent Claim
264 words
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.
Claim 42
Dependent Claim
264 words
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.
Claim 43
Dependent Claim
65 words
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.
Claim 44
Independent Claim
41 words
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.
Claim 45
Dependent Claim
54 words
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.
Claim 46
Dependent Claim
62 words
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.
Claim 47
Dependent Claim
18 words
The system as claimed in claim 42, wherein said modules perform static corrections upon traces of seismic data.
Claim 48
Dependent Claim
24 words
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.
Claim 49
Dependent Claim
56 words
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.
Claim 50
Dependent Claim
60 words
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.
Claim 51
Independent Claim
165 words
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.
Claim 52
Independent Claim
165 words
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.
Claim 53
Dependent Claim
58 words
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.
Claim 54
Dependent Claim
68 words
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.
Claim 55
Dependent Claim
25 words
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).
Claim 56
Dependent Claim
21 words
The method as claimed in claim 47, further comprising the step of: (4) coding a computer program from said program design.
Claim 57
Dependent Claim
21 words
The method as claimed in claim 51, further comprising the step of: (5) generating a description of the coded computer program.
Claim 58
Dependent Claim
24 words
The method as claimed in claim 52, wherein at least a portion of said description is included as comments in said coded computer program.
Claim 59
Dependent Claim
59 words
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.
Claim 60
Dependent Claim
68 words
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.
Claim 61
Dependent Claim
28 words
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.
Claim 62
Dependent Claim
27 words
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.
Claim 63
Dependent Claim
40 words
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.
Claim 64
Dependent Claim
20 words
The method as claimed in claim 58, wherein the statics analysis type is one of river-statics, mountain-statics, plain-statics, and dune-statics.
Claim 65
Dependent Claim
36 words
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.
Claim 66
Dependent Claim
59 words
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.
Claim 67
Dependent Claim
44 words
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.
Claim 68
Dependent Claim
66 words
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.
Claim 69
Dependent Claim
44 words
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.
Claim 70
Dependent Claim
259 words
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.
Claim 71
Dependent Claim
259 words
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.
Claim 72
Dependent Claim
132 words
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.
Claim 73
Dependent Claim
61 words
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.
Claim 74
Dependent Claim
66 words
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.
Claim 75
Dependent Claim
81 words
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.
Claim 76
Dependent Claim
32 words
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.
References Cited (Backward Citations)
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 1990-12-14 | 1991-06-15 | 1991-12-15 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 1994-12-14 | 1995-06-15 | 1995-12-15 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 1998-12-14 | 1999-06-15 | 1999-12-15 | $7700.00 | Window Closed / Lapsed |