WorldCat Identities

Lenat, Douglas B.

Overview
Works: 58 works in 125 publications in 3 languages and 2,028 library holdings
Genres: Case studies  Conference papers and proceedings  Instructional films  Nonfiction films 
Roles: Author, Editor, Interviewee
Classifications: QA76.9.E96, 001.642
Publication Timeline
.
Most widely held works about Douglas B Lenat
  • by Louis G Robinson( )
 
moreShow More Titles
fewerShow Fewer Titles
Most widely held works by Douglas B Lenat
Building expert systems by Frederick Hayes-Roth( Book )

16 editions published between 1983 and 1987 in English and held by 939 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 )

16 editions published between 1980 and 1982 in English and held by 633 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 )

14 editions published between 1989 and 1990 in English and held by 305 WorldCat member libraries worldwide

Cognitive economy by Douglas B Lenat( Book )

5 editions published in 1979 in English and held by 70 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 )

5 editions published between 1980 and 1981 in English and held by 7 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
Jinkō chinō ni okeru chishiki bēsu shisutemu( Book )

2 editions published in 1991 in Japanese and held by 3 WorldCat member libraries worldwide

Postroenie ėkspertnykh sistem( Book )

1 edition published in 1987 in Russian and held by 3 WorldCat member libraries worldwide

Leveraging Cyc for the High Performance Knowledge Base (HPKB) Program( Book )

2 editions published in 2002 in English and held by 2 WorldCat member libraries worldwide

This work was part of the DARPA High Performance Knowledge Base (HPKB) program. The work described in this final report has focused on providing to the HPKB program the robustness and effectiveness of common sense knowledge as embodied in the Cyc knowledge base. Its objective was to provide intermediate level knowledge necessary to tie together high level, abstract knowledge and low level application specific knowledge to ease integration of knowledge bases and provide more efficient and more powerful inferencing mechanisms. The pre-existing Cyc KB had tens of thousands of useful rules for HPKB Integrated Knowledge Base (IKB) to inherit, and the Cyc team had already analyzed the "perennial conceptual issues" for thirteen years prior to HPKB. Early adoption of Cyc's Public Upper Ontology as the "HPKB Jumpstart Ontology" gave both the Cycorp and SAIC teams a uniform, convenient, and reliable environment to add knowledge, ask questions and gather measurements
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 Stanford University( Book )

3 editions published in 1980 in English and held by 2 WorldCat member libraries worldwide

Knowledge representation by Douglas B Lenat( Visual )

1 edition published in 1988 in English and held by 2 WorldCat member libraries worldwide

This series of videocassettes comprise a full-length course presented at the 1987 Linguistic Institute held at Stanford University
Postroenie ėkspertnych sistem( Book )

2 editions published in 1987 in Russian and held by 2 WorldCat member libraries worldwide

Progress report on program-understanding systems by Stanford Artificial Intelligence Laboratory( Book )

3 editions published in 1974 in English and held by 2 WorldCat member libraries 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
Theory formation by heuristic search by Douglas B Lenat( Book )

2 editions published in 1982 in English and held by 2 WorldCat member libraries worldwide

Efficient Pathfinding in Very Large Data Spaces( Book )

2 editions published in 2007 in English and held by 2 WorldCat member libraries worldwide

This project created a corpus of large test problems relevant to the Intelligence Community (IC). These problems required bringing together only facts and rules from the unclassified OpenCyc knowledge base. Because many current theorem provers are unable to a reason with (or even load) an IC-sized knowledge base, six different levels of problems were created, each containing progressively larger theories. Dozens of Automatic Theorem Proving (ATP) researchers are now heavily engaged in attacking more and more of these six new TPTP problem sets. In addition to challenging the theorem-proving community, this project contained a series of experiments to assess and, where possible, improve the efficiency of Cyc s general inference engine. These experiments identified areas for immediate improvement, and approximately one full factor of 10 speedup was obtained just in the course of carrying them out and analyzing their results
Terrorism Knowledge Base (TKB)( Book )

2 editions published in 2008 in English and held by 2 WorldCat member libraries worldwide

The objective of this project was to support intelligence analysts by developing a comprehensive Terrorism Knowledge Base (TKB) which included information about terrorist events and terrorist groups and their members and activities, as well as information captured by the analyst's use of the tool. Using that knowledge base, plus the knowledge base and inference engine of our company's Cyc(r) technology, the TKB was to exhibit sophisticated reasoning using domain knowledge, externally-stored data, common sense knowledge and knowledge about what the analyst has considered relevant or irrelevant and templated question-answering with explanations. Analysts were to be able to use the TKB to pose terrorism-related queries, and to help them derive answers to those questions, integrate data, correlate observations, compose explanations, and, in general, augment their ability to effectively complete the reasoning tasks that they need to perform
Commonsense knowledge : papers from the AAAI Fall Symposium by Association for the Advancement of Artificial Intelligence( 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
Computers vs. common sense( Visual )

1 edition published in 1990 in English and held by 1 WorldCat member library 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.56 (from 0.43 for Three wind ... to 1.00 for CYC: A Mid ...)

Alternative Names
Douglas B. Lenat US-amerikanischer Forscher im Bereich der Künstlichen Intelligenz

Douglas Lenat Amerikaans kunstmatige intelligentie-onderzoeker

Douglas Lenat Amerikaans n/a

Lenat, D.

Lenat, Doug

Lenat, Douglas

Дуглас Ленат

Ленат, Дуглас

داگلاس لنات

ダグラス・レナート

レナート, ダグラス・B

道格拉斯·莱纳特

Languages