The \(Q^*\) algorithm - a search strategy for a deductive question-answering system

DOI10.1016/0004-3702(73)90013-1zbMath0282.68044OpenAlexW2017239856MaRDI QIDQ1844090

Daniel H. Fishman, Jack Minker, James R. McSkimin

Publication date: 1973

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

Full work available at URL: https://doi.org/10.1016/0004-3702(73)90013-1

Mathematics Subject Classification ID

Related Items

Concurrent competitive wave approach to hyper-distributed hyper-parallel AI processing, Jack Minker --- A profile, Weighting strategy for non-clausal resolution, \(\Pi\)-representation: A clause representation for parallel search, Non-resolution theorem proving, Problem representations and formal properties of heuristic search, MRPPS?An interactive refutation proof procedure system for question-answering

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear resolution with selection function
• A Semantically Guided Deductive System for Automatic Theorem Proving
• MRPPS?An interactive refutation proof procedure system for question-answering
• A Machine-Oriented Logic Based on the Resolution Principle
• Automatic Theorem Proving With Renamable and Semantic Resolution
• Experiments in automatic learning for a multipurpose hueristic program
• The Specialization of Programs by Theorem Proving