Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction

Ellman, Thomas

doi:10.1007/3-540-44914-0_23

Cited by 1 publication

(1 citation statement)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The reader may nd a more extensive description of past results in the works of Knoblock 1993, Giunchiglia and Walsh 1992 well as in the textbook by Russell and Norvig 1995 . A good source of recent results is the Proceedings of the Symposium on Abstraction, Reformulation and Approximation Lowry, 1992;Van Baalen, 1994;Levy and Nayak, 1995;Ellman andGiunchiglia, 1998 . Newell andSimon 1961;1972 introduced abstraction in their work on gps, the rst AI problem solver.…”

Section: History Of Abstractionmentioning

confidence: 99%

Automatic Representation Changes in Problem Solving

Fink

1999

View full text Add to dashboard Cite

Public reporting burden for the collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comments regarding this burden estimate or any other aspect of this collection of information, including suggestions for reducing this burden, to Washington Headquarters Services, Directorate for Information Operations and Reports, 1215 Jefferson Davis Highway, Suite 1204, Arlington VA 22202-4302. Respondents should be aware that notwithstanding any other provision of law, no person shall be subject to a penalty for failing to comply with a collection of information if it does not display a currently valid OMB control number. REPORT DATE JUN 19992. REPORT TYPE 3. DATES COVERED 00-00-1999 to 00-00-1999 TITLE AND SUBTITLE Automatic Representation Changes in Problem Solving5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ELEMENT NUMBER 6. AUTHOR (S) 5d. PROJECT NUMBER 5e. TASK NUMBER 5f. WORK UNIT NUMBER PERFORMING ORGANIZATION NAME(S) AND ADDRESS(ES)Carnegie Mellon University,School of Computer Science,Pittsurgh,PA,152138. PERFORMING ORGANIZATION REPORT NUMBER SPONSORING/MONITORING AGENCY NAME(S) AND ADDRESS(ES) 10. SPONSOR/MONITOR'S ACRONYM(S) SPONSOR/MONITOR'S REPORT NUMBER(S) DISTRIBUTION/AVAILABILITY STATEMENTApproved for public release; distribution unlimited SUPPLEMENTARY NOTES ABSTRACTThe purpose of our research is to enhance the e ciency of AI problem solvers by automating representation changes. We have developed a system that improves description of input problems and selects an appropriate search algorithm for each given problem. Motivation Researchers have accumulated much evidence of the importance of appropriate representations for the e ciency of AI systems. The same problem may be easy or di cult, depending on the way we describe it and on the search algorithm we use. Previous work on automatic improvement of problem description has mostly been limited to the design of individual learning algorithms. The user has traditionally been responsible for the choice of algorithms appropriate for a given problem. We present a system that integrates multiple description-changing and problem-solving algorithms. The purpose of our work is to formalize the concept of representation, explore its role in problem solving, and con rm the following general hypothesis An e ective representation-changing system can be constructed out of three parts a library of problem-solving algorithms a library of algorithms that improve problem description by static analysis and learning a top-level control module that selects appropriate algorithms for each given problem. Representation-changing system We have supported this hypothesis by building a system that improves representations in the prodigy problem-solving architecture. The purpose of our research is to enhance the e ciency of AI problem solvers by automating representation change...

show abstract

Section: History Of Abstractionmentioning

confidence: 99%

Automatic Representation Changes in Problem Solving

Fink

1999

View full text Add to dashboard Cite

show abstract

Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction

Cited by 1 publication

References 4 publications

Automatic Representation Changes in Problem Solving

Automatic Representation Changes in Problem Solving

Contact Info

Product

Resources

About