Mechanical Discovery of Classes of Problem-Solving Strategies

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Mechanical Discovery of Classes of Problem-Solving Strategies

Full text

Pdf (1.11 MB)

Source

Journal of the ACM (JACM) archive
Volume 29 , Issue 1 (January 1982) table of contents

Pages: 1 - 23

Year of Publication: 1982

ISSN:0004-5411

Authors

George W. Ernst	Computer Engineering and Science Department, Case Western Reserve University, Cleveland, Ohio
Michael M. Goldstein	Government Research Corporation, 1730 M Street, NW, Washington, DC and Case Western Reserve University, Cleveland, Ohio

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 26, Citation Count: 6

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/322290.322291 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	AMAREL, S On the representataon of problems and goal-d~rected procedures for computers In Theorettcat Approaches to Non-Numemcal Problem Solwng, Lecture Notes m Operations Research and Mathematical Systems 28, R Banerfi and M.D Mesarovic, Eds, Sprmger-Verlag, Berhn, Heidelberg, New York, 1970, pp. 179-244
	2	BANERJI, R B, AND ERNST, G.W Strategy construction using homomorplusms between games Art~ lnwll. 3 (1972), 223-249.
	3	BANERJI, R B, AND ERNST, G W A theory for the complete mechamzatlon of a GPS type problem solver. Proc 5th Int Joint Conf. on Artificial Intelligence, Tblhsa, U S S.R, 1977, pp. 450--456
	4	BERGE, C.The Theory of Graphs and its Agphcatwns Wiley, New York, 1962.
	5	DERKSEN, J., R ULIFSON, J F, AND W ALDINGER, R J The QA4 language applied to robot planning Proc 1972 Fall Joint Computer Conf, AFIPS Press, Arlington, Va, 1972, pp 1181-1192.
	6	Charles Alexander Dunning, Jr., Some applications of graph theory to game analysis, 1972
	7	EAVARONE, D A program that generates difference ordermgs for GPS Tech. Rep SRC-69-6, Systems Research Center, Case Western Reserve Umv, Cleveland, Ohio, 1969.
	8	ERNST, G W., AND NEWELL, A. GPS. A Case Study tn Generahty and Problem Solving, ACM Monograph Series, Academic Press, New York, 1969
	9	GOLDSTEIN, M.M The mechanical discovery of problem solvmg strategaes Tech Rep, Computer Engineering Dep., Case Western Reserve Umv., Cleveland, Ohio, 1978.
	10	Kenneth E. Iverson, A Programming Language., John Wiley & Sons, 1962
	11	Donald E. Knuth, The art of computer programming, volume 3: (2nd ed.) sorting and searching, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1998
	12	LAURIERE, J.L A language and a program for stating and solving combinatorial problems. Arttf lntell I0, 1 (Feb 1978), 29-126.
	13	McKEEMAN, W.M A formal model for space filling puzzles In Machine lntell, 8, Halstead Press, New York, 1977, pp 86-93
	14	OYEN, R A Mechanical discovery of invanances for problem solving Tech Rep 1168, Computer Engineering Dep., Case Western Reserve Umv., Cleveland, Ohio, 1975
	15	SACERDOTI, E D Planning an a hierarchy of abstraction spaces Arof lntetl 5 (Summer 1974), 115-135
	16	SIMON, H A. The structure of all-structured problems Art~ lnteli 4, 3, 4 (Winter 1973), 181-203

CITED BY 6

	R B Banerji, Self-improvement in problem-solving, Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems, p.343-365, October 22-24, 1986, Knoxville, Tennessee, United States
	Jack Mostow , Armand E. Prieditis, Discovering admissible heuristics by abstracting and optimizing: a transformational approach, Proceedings of the 11th international joint conference on Artificial intelligence, p.701-707, August 20-25, 1989, Detroit, Michigan
	Jie Cheng , Keki B. Irani, Ordering problem subgoals, Proceedings of the 11th international joint conference on Artificial intelligence, p.931-936, August 20-25, 1989, Detroit, Michigan
	Keki B. Irani , Jie Cheng, Subgoal ordering and goal augmentation for heuristic problem solving, Proceedings of the 10th international joint conference on Artificial intelligence, p.1018-1024, August 23-28, 1987, Milan, Italy
	Larry Rendell, Substantial constructive induction using layered information compression: tractable feature formation in search, Proceedings of the 9th international joint conference on Artificial intelligence, p.650-658, August 18-23, 1985, Los Angeles, California
	Armand E. Prieditis, Machine discovery of effective admissible heuristics, Proceedings of the 12th international joint conference on Artificial intelligence, p.720-725, August 24-30, 1991, Sydney, New South Wales, Australia