The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Dec. 15, 1987
Filed:
Aug. 21, 1985
A Carlisle Scott, Palo Alto, CA (US);
Jan E Clayton, Los Altos Hills, CA (US);
Jacques Garnier, Courbevoie, FR;
Teknowledge, Incorporated, Palo Alto, CA (US);
Compagnie Generale de Geophysique, , CO (US);
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.