Loading patent…
AssigneesTeknowledge, Inc., Compagnie Generale de Geophysique
InventorsA. Carlisle Scott, Jan E. Clayton, Jacques Garnier
Estimating the term…
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,
The system as claimed in 9, further comprising means for generating a description of said coded computer program.
A system comprising, in combination,
The system as claimed in 23, further comprising means for generating a description of said coded computer program.
A computer system comprising, in combination,
An automatic programming system for designing a computer program for a target computer system having certain capabilities, said automatic programming system comprising, in combination,
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.
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:
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
Dependencies are inferred from the claim text.