Controlling backward inference

DOI10.1016/0004-3702(89)90025-8zbMath0676.68059OpenAlexW1982722043MaRDI QIDQ1123001

David E. Smith

Publication date: 1989

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(89)90025-8

zbMATH Keywords

backward inference strategiescontrol of inferencedomain-dependent control

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Sequential testing of complex systems: a review ⋮ Controlling recursive inference ⋮ A Polynomial-Time Approximation Scheme for Sequential Batch Testing of Series Systems ⋮ PALO: a probabilistic hill-climbing algorithm ⋮ Speeding up inferences using relevance reasoning: a formalism and algorithms ⋮ Probably approximately optimal satisficing strategies ⋮ Finding optimal satisficing strategies for and-or trees ⋮ Embedding decision-analytic control in a learning architecture ⋮ Finding optimal derivation strategies in redundant knowledge bases ⋮ Computer science and decision theory ⋮ Testing systems of identical components ⋮ Ordering conjunctive queries

Cites Work

• Unnamed Item
• Ordering conjunctive queries
• Controlling recursive inference
• Optimal problem-solving search: All-or-none solutions
• Optimal task sequencing with precedence constraints