scientific article

zbMath0479.68093MaRDI QIDQ3938537

Douglas B. Lenat, Randall Davis

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

knowledge engineeringcomputer programsscientific discoverymeta-knowledgeAMdesign of expert systemsdiscovering in mathematical researchhandling, aquisition and maintenance of a large knowledge baseheuristic search in space of conceptshigh performance programsproblem- oriented knowledgeTEIRESIASunderstanding reasoning activities

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Software, source code, etc. for problems pertaining to computer science (68-04)

Related Items (26)

Induction of inference rules for expert systems ⋮ Multi-layer logic - a predicate logic including data structure as knowledge representation language ⋮ Some results and experiments in programming techniques for propositional logic ⋮ Control metaphors in the modelling of economic learning and decision-making behaviour ⋮ MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics ⋮ Model construction operators ⋮ Explaining evidential analyses ⋮ Unnamed Item ⋮ Automated conjecturing. III. Property-relations conjectures ⋮ Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited ⋮ Computer algebra and artificial intelligence ⋮ Mathematical applications of inductive logic programming ⋮ Theory construction in psychology: The interpretation and integration of psychological data ⋮ Conjecture synthesis for inductive theories ⋮ Verisimilitude based on concept analysis ⋮ IDSCA: An intelligent direction selector for the controller's action in multiloop control systems ⋮ Automated conjecture making in number theory using HR, Otter and Maple ⋮ Knowledge base refinement: A bibliography ⋮ Semantic networks ⋮ DESIGN AND IMPLEMENTATION OF A REASONING ENGINE USING GENERALIZED META-RULES TO EXPRESS CONTROL KNOWLEDGE ⋮ On Approximation of Classifications, Rough Equalities and Rough Equivalences ⋮ Leader-independent nonparametric consistent algorithms for incremental learning ⋮ A skill refinement learning model for prioritized rule-based expert systems ⋮ Principles of human-computer collaboration for knowledge discovery in science ⋮ Aggregating evidence using quantified statements ⋮ Expert control

This page was built for publication: