Experiments in automatic learning for a multipurpose hueristic program

DOI10.1145/362515.362560zbMath0214.42602OpenAlexW2062315995WikidataQ128253232 ScholiaQ128253232MaRDI QIDQ5617288

C. D. Farrell, James R. Slagle

Publication date: 1971

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/362515.362560

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (11)

Experiments in the heuristic use of past proof experience ⋮ A new approach to the symbolic factorization of multivariate polynomials ⋮ An analysis of alpha-beta pruning ⋮ Problem representations and formal properties of heuristic search ⋮ Finding resolution proofs and using duplicate goals in AND/OR trees ⋮ Experiments with a heuristic theorem-proving program for predicate calculus with equality ⋮ A program that computes limits using heuristics to evaluate the indeterminate forms ⋮ A comparison and evaluation of three machine learning procedures as applied to the game of checkers ⋮ The \(Q^*\) algorithm - a search strategy for a deductive question-answering system ⋮ Unnamed Item ⋮ MRPPS?An interactive refutation proof procedure system for question-answering

This page was built for publication: Experiments in automatic learning for a multipurpose hueristic program