WorldCat Identities

Lenat, Douglas B.

Overview
Works: 51 works in 98 publications in 3 languages and 2,113 library holdings
Genres: Case studies  Conference proceedings 
Roles: Editor, Interviewee
Classifications: QA76.9.E96, 001.642
Publication Timeline
Key
Publications about  Douglas B Lenat Publications about Douglas B Lenat
Publications by  Douglas B Lenat Publications by Douglas B Lenat
Most widely held works about Douglas B Lenat
 
moreShow More Titles
fewerShow Fewer Titles
Most widely held works by Douglas B Lenat
Building expert systems by Frederick Hayes-Roth ( Book )
14 editions published in 1983 in English and held by 996 WorldCat member libraries worldwide
Building an expert system; Evaluating and expert system; Expert system tools; A typical problem for expert systems
Knowledge-based systems in artificial intelligence by Randall Davis ( Book )
12 editions published between 1980 and 1982 in English and held by 663 WorldCat member libraries worldwide
AM: discovery in mathematics as heuristic search. Example: discovering prime numbers. Agenda. Heuristics. Concepts. Results. Evaluating AM. Appendixes. Concepts. Heuristics. Trace. Bibliography. Teiresias: applications of meta-level knowledge. Explanation. Knowledge acquisition. Strategies. Conclusions. References
Building large knowledge-based systems : representation and inference in the Cyc project by Douglas B Lenat ( Book )
9 editions published between 1989 and 1990 in English and held by 309 WorldCat member libraries worldwide
Cognitive economy by Douglas B Lenat ( Book )
3 editions published in 1979 in English and held by 71 WorldCat member libraries worldwide
AM : an artificial intelligence approach to discovery in mathematics as heuristic search by Douglas B Lenat ( Book )
5 editions published between 1976 and 1986 in English and Undetermined and held by 10 WorldCat member libraries worldwide
Designing a rule system that searches for scientific discoveries by Douglas B Lenat ( Book )
4 editions published in 1977 in English and held by 10 WorldCat member libraries worldwide
Some scientific inference tasks (including mass spectrum identification medical diagnosis, and math theory development have been successfully modelled as rule-directed search processes. These rule systems are designed quite differently from 'pure production systems'. By concentrating upon the design of one program (AM), we shall show how 13 kinds of design deviations arise from the level of sophistication of the task that the system is designed to perform, the inherent nature of the task, and the designer's view of the task. The limitations of AM suggest even more radical departures from traditional rule system architecture. All these modifications are then collected into a new, complicated set of constraints on the form of the data structures, the rules, the interpreter, and the distribution of knowledge between rules, and data structures. These new policies sacrifice uniformity in the interests of clarity, efficiency and power derivable from a thorough characterization of the task. Rule systems whose architectures conform to the new design principles will be more awkward for many tasks than would 'pure' systems. Nevertheless, the new architecture should be significantly more powerful and natural for building rule systems that do scientific discovery tasks
The nature of heuristics by Douglas B Lenat ( Book )
3 editions published between 1980 and 1981 in English and held by 5 WorldCat member libraries worldwide
The bottleneck of building expert systems is knowledge acquisition, and one long-range solution is for the program to learn via discovery. New domains of knowledge can be developed by using heuristics, yet as they emerge new heuristics are needed. They in turn can be discovered by using a body of heuristics for guidance. How exactly does this process work? Must there be a separate body of 'meta-heuristics'? How intertwined are heuristics with Representation of knowledge? In trying to find new heuristics, is it cost- effective to try to improve the existing representation of knowledge, and if so how can this be automated? What is the nature of heuristics, their 'first-order theory'? What are the implications of such a theory upon the design of a program which discovers new heuristics? These questions are among those that our research -- and this paper -- address
Computers vs. common sense ( Visual )
1 edition published in 1990 in English and held by 3 WorldCat member libraries worldwide
Dr. Lenat, principal scientist at MCC, a large consortium of computer and computer-related companies engaged in research on expert systems and similar topics discusses the "brittleness" of software now in use. He proposes solutions, and methodology drawing from a CYC project he and others at MCC are working on. He also draws parallels and contrasts with special libraries and databases
Postroenie ėkspertnych sistem ( Book )
2 editions published in 1987 in Russian and held by 3 WorldCat member libraries worldwide
Jinkō chinō ni okeru chishiki bēsu shisutemu ( Book )
2 editions published in 1991 in Japanese and held by 3 WorldCat member libraries worldwide
Knowledge representation by Douglas B Lenat ( Visual )
1 edition published in 1988 in English and held by 3 WorldCat member libraries worldwide
AI versus common sense the case for inelegance by Douglas B Lenat ( Visual )
1 edition published in 1989 in English and held by 2 WorldCat member libraries worldwide
Lenat discusses two key issues in achieving artificial intelligence: how to represent knowledge and how to control its' use in drawing new inferences. He goes on to deal with some of the important attempts to put these together into intelligent systems. Also addressed are the mechanisms by which machines could be given general knowledge and the ability to analogize, select and apply appropriate knowledge, represent substances, and access, compute, deduct, or guess answers
Details of RLL-1 by R Greiner ( Book )
3 editions published in 1980 in Undetermined and English and held by 2 WorldCat member libraries worldwide
Commonsense knowledge : papers from the AAAI Fall Symposium by AAAI Fall Symposium ( Book )
1 edition published in 2010 in English and held by 2 WorldCat member libraries worldwide
The Plausible Mutation of DNA ( )
1 edition published in 1980 in English and held by 1 WorldCat member library worldwide
DNA may be regarded as a program for constructing and maintaining an organism. The field of Automatic Programming studies computer programs which synthesize new and different programs, or which modify and improve themselves. When DNA molecules do this, we call it Evolution. Biological research has to date identified several mechanisms which change DNA (substitution, insertion, deletion, translocation, inversion, recombination, segregation, transposition, etc.) Current theories assume the basic process of evolution to be random mutation (using these mechanisms) followed by natural selection. Early automatic programming systems were also built to work via this same Random Generate and Test process. But that mechanism failed, and we now recognize the reasons for that reason for that failure and the prescription for success. These results lead us to hypothesize that the generation of mutations may be highly non-random, that the dominant process of evolution in higher organisms is Plausible-Generate and Test. Long before our three billion line genetic program evolved randomly, Nature may have happened upon a more powerful method of automatic programming, such as heuristic search: the accretion and use of knowledge to guide the mutation process
A knowledge-based approach to network security: applying Cyc in the domain of network risk assessment ( )
1 edition published in 2005 in Undetermined and held by 1 WorldCat member library worldwide
RLL-1: A Representation Language Language ( )
1 edition published in 1980 in English and held by 1 WorldCat member library worldwide
This paper includes many implementation level details about the RLL-1 system, described in a companion paper, RLL-1: A Representation Language Language (Heuristic Programming Project Working Paper HPP-80-9, October 1980, at Stanford University, by Russell Greiner). The contents are as follows: Special Units, Naming conventions, Legend, Actual units, Index of Units, Environment, Top level Functions, Functions needed to Bootstrap RLL-1, Convenience Functions, Advised Functions, and Global Variables
CYC: A Midterm Report by Douglas B Lenat ( )
1 edition published in 1990 in English and held by 1 WorldCat member library worldwide
After explicating the need for a large commonsense knowledge base spanning human consensus knowledge, we report on many of the lessons learned over the first five years of attempting its construction. We have come a long way in terms of methodology, representation language, techniques for efficient inferencing, the ontology of the knowledge base, and the environment and infrastructure in which the knowledge base is being built. We describe the evolution of Cyc and its current state and close with a look at our plans and expectations for the coming five years, including an argument for how and why the project might conclude at the end of this time
Theory formation by heuristic search by Douglas B Lenat ( Book )
1 edition published in 1982 in English and held by 1 WorldCat member library worldwide
Program-Understanding Systems ( )
1 edition published in 1974 in English and held by 1 WorldCat member library worldwide
This progress report covers the first year and one half of work by the automatic-programming research group at the Stanford Artificial Intelligence Laboratory. Major emphasis has been placed on methods of program specification, codification of programming knowledge, and implementation of pilot systems for program writing and understanding. List processing has been used as the general problem domain for this work
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.65 (from 0.00 for CYC: A Mid ... to 1.00 for Commonsens ...)
Alternative Names
Lenat, D.
Lenat, Doug
Lenat, Douglas
レナート, ダグラス・B
Languages
English (65)
Russian (2)
Japanese (2)