TY - GEN
T1 - INTEGRATING KNOWLEDGE IN PROBLEM SOLVING SEARCH PROCEDURES.
AU - Kumar, Vipin
PY - 1984
Y1 - 1984
N2 - With the help of a model for discrete optimization problems, we show that a large number of heuristic search procedures (for searching state-space graphs, AND/OR graphs, game trees, etc. ) of artificial intelligence (AI), and dynamic programming (DP) and branch-and-bound (B&B) procedures of operations research use problem-specific knowledge in a framework based upon context-free grammar. The model reveals the true nature of these procedures, and aids in synthesizing new variations as well as generalizations and parallel implementations of these procedures. The paper concludes by commenting upon how this model may be generalized and made more powerful to encompass a greater variety of problems, and to help synthesize more efficient search procedures.
AB - With the help of a model for discrete optimization problems, we show that a large number of heuristic search procedures (for searching state-space graphs, AND/OR graphs, game trees, etc. ) of artificial intelligence (AI), and dynamic programming (DP) and branch-and-bound (B&B) procedures of operations research use problem-specific knowledge in a framework based upon context-free grammar. The model reveals the true nature of these procedures, and aids in synthesizing new variations as well as generalizations and parallel implementations of these procedures. The paper concludes by commenting upon how this model may be generalized and made more powerful to encompass a greater variety of problems, and to help synthesize more efficient search procedures.
UR - http://www.scopus.com/inward/record.url?scp=0021666323&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0021666323&partnerID=8YFLogxK
U2 - 10.1145/800171.809596
DO - 10.1145/800171.809596
M3 - Conference contribution
AN - SCOPUS:0021666323
SN - 089791144X
SN - 9780897911443
T3 - Proceedings of the Annual Conference of the Association for Computing Machinery
SP - 5
EP - 10
BT - Proceedings of the Annual Conference of the Association for Computing Machinery
PB - ACM (Order n 401840)
ER -