Why AM and EURISKO Appear to Work

Keywords

Heuristics, Computer science, Artificial intelligence, Vocabulary, Meaning (existential)

References

• Theory Formation by Heuristic SearchDouglas B. Lenat — 1983
• A Representation Language LanguageRussell Greiner, Douglas B. Lenat — 1980
• Foundations of EnvisioningJohan de Kleer, John Seely Brown — 1982
• RLL-1: A Representation Language LanguageRussell Greiner — 1980
• Progress report on program-understanding systems.C. C Green, Richard Waldinger, D Barstow — 1974
• Building expert systemsF. Hayes-Roth — 1983
• Competitive Argumentation in Computational Theories of Cognition.Kurt VanLehn, Brown,John Seely, James G. Greeno — 1982
• AM, an artificial intelligence approach to discovery in mathematics as heuristic searchDouglas B. Lenat — 1976
• The Nature of HeuristicsDouglas B. Lenat — 1982
• BEINGS: Knowledge as Interacting ExpertsDouglas B. Lenat — 1975
• Realization of a geometry theorem proving machineH. Gelernter — 1995

Cited by

• Substantial Constructive Induction Using Layered Information Compression: Tractable Feature Formation in SearchLarry Rendell — 1985
• Concepts and Autonomous AgentsPaul Davidsson, Lu–Cs–Tr, Christian Balkenius — 1997
• Machine discovery of effective admissible heuristicsArmand Prieditis — 1991
• Use of Domain Knowledge in Constructive InductionJames P. Callan — 1990
• Survey on special purpose computer architectures for AIBenjamin W. Wah, Guojie Li — 1986
• Il: an artificial intelligence approach to theory formation in mathematicsMichael H. Sims, Saul Amarel — 1990
• Learning and representation: Tensions at the interfaceSteven José Hanson — 1990
• Conflict-Oriented Requirements RestructuringWilliam N. Robinson, Slav Volkov — 2007
• Computational Creativity: Three Generations of Research and BeyondDebasis Mitra — 2008
• Beyond the metaphorHan L. J. van der Maas — 1995
• Algorithm Synthesis: A Comparative StudyDavid Steier, A.P. Anderson — 1989
• EUCLID: A System for the Exploratory Discovery of Geometrical Properties of TrianglesGaurav Pandey, Ankit Anand, Harish Karnick — 2005
• On the Discovery of Mathematical TheoremsSusan L. Epstein — 1987
• Artificial Intelligence in Music Education: A Critical ReviewSimon Holland — 2000
• A Framework for Autonomously Performing Knowledge Discovery In DatabasesGary Livingston, John M. Rosenberg, Bruce G. Buchanan — 2007
• Neural trust model for multi-agent systemsJoan Lu — 2011
• Constructive Induction on Domain InformationJames P. Callan, Paul E. Utgoff — 1991
• The problem of storing common sense in artificial intelligence. Context in cycTelford Geroges Mark — 2000
• Learning to Learn Decision TreesVlad G. Dabija, Katsuhiko Tsujino, Shogo Nishida — 1992
• Intentional systems and the artificial intelligence (ai) hermeneutic network: agency and intentionality in expressive computational systemsD. Fox Harrell, Jichen Zhu — 2009

Related papers

• Theory Formation by Heuristic SearchDouglas B. Lenat — 1983
• Heuristics: The Foundations of Adaptive BehaviorGerd Gigerenzer, Ralph Hertwig, Thorsten Pachur — 2015
• Deciphering the Enigma of Human Creativity: Can a Digital Computer Think?Têmis Maria Félix — 2013
• Bridging over Problems of Learning in Finding Strongly Connected ComponentsMohammad Iqbal, Yasser Hashmi — 2005