Building Expert Systems. (9999)
Lenat,Douglas B, Hayes-Roth,Fredrick, Waterman,Donald Arthur
This book is a compilation of articles written by expert systems researchers and developers. It presents an overview of expert systems, an analysis of how expert systems differ from artificial...
Knowledge-Based Systems in Artificial Intelligence. (9999)
Davis,Randall, Lenat,Douglas B.
This book details two major research projects in the area of artificial intelligence. These projects explore the methodology and technology of designing, constructing, and operating a system. The...
Abstract ON THE THRESHOLDS OF KNOWLEDGE (2008)
We articulate the three major fmdings of AI to date: (1) The Knowledge Principle: if a program is to perform a complex task well, it must know a great deal about the world in which it operates. (2) A...
Cooperation for DAI through Common-Sense Knowledge (2008)
Michael N. Huhns, Larry M. Stephens, Douglas B. Lenat
The goal of the Antares Project at MCC is to develop methods that enable separately developed knowledge-based systems to cooperate in solving problems beyond the capabilities of any one of the...
ARTIFICIAL INTELLIGENCE 269 Why AM and EURISKO Appear to Work* (2008)
Douglas B. Lenat, John Seely Brown, Recommended Daniel, G. Bobrow
The AM program was constructed by Lenat in 1975 as an early experiment in getting machines to learn by discovery. In the preceding article in this issue of the AI Journal, Ritchie and Hanna focus on...
AN EXPERT SYSIEM FOR INDICATIONS & WARNING ANALYSIS (2008)
Douglas B. Lenat, Albert Clarkson, Garo Kircmidjian
An expert system was constructed to aid the military intelligence analyst in performing the Indications & Warning task: assimilating hundreds of incoming reports, and predicting where and when an...
AUTOMATED THEORY FORMATION IN MATHEMATICS 1 (2008)
A program called "AM " is described which cairies on simple mathematics research: defining, and studying new concepts under the guidance of a large body of heuiistic rules. The 250...
Designing a Rule System That Searches for Scientific Discoveries. (2002)
Lenat,Douglas B., Harris,Gregory
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...
RLL-1: A Representation Language Language. Supplement. Details of RLL-1. (2002)
Greiner,Russell, Lenat,Douglas B.
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...
Progress Report on Program-Understanding Systems. (1998)
Green,C. Cordell, Waldinger,R. J., Barstow,David R., Elschlager,Robert, Lenat,Douglas B.
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...
Panel Review of the Semi-Automated Forces. (1998)
Brooks, Rodney A., Buchanan, Bruce G., Lenat, Douglas B., McKeown, David M., Fletcher, J. D.
This report documents a review of the technical approach used to develop the semi-automated forces (SAFOR) portion of DARPA's Advanced Simulation Technology Program. The review was conducted in...
Leveraging Cyc for the High Performance Knowledge Base (HPKB) Program (1998)
Lenat, Douglas B., Shepherd, Mary A.
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...
CYC: A large-scale investment in knowledge infrastructure (1995)
Since 1984, a person-century of effort has gone into building CYC, a universal schema of roughly 10 5 general concepts spanning human reality. Most of the time has been spent codifying knowledge...
Machine Learning: Challenges of the Eighties (1986)
Michalski, Ryszard S., Amarel, Saul, Lenat, Douglas B., Michie, Donald, Winston, Patrick H.
Hayes-Roth, Frederick, Lenat, Douglas B
Incluye bibliografía e índice