New Programming Languages for Artificial Intelligence Research
ACM Computing Surveys (CSUR)
A Computer Model of Skill Acquisition
A Computer Model of Skill Acquisition
Understanding Simple Picture Programs
Understanding Simple Picture Programs
The application of theorem proving to question-answering systems
The application of theorem proving to question-answering systems
MU: a development environment for prospective reasoning systems
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
MU: a development environment for prospective reasoning systems
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
This paper describes the basic strategies of automatic problem solving, and then focuses on a variety of tactics for improving their efficiency. An attempt is made to provide some perspective on and structure to the set of tactics. Finally, some new directions for problem-solving research are discussed, and a personal perspective is provided on where the work is headed: toward greater flexibility of control and more intimate integration of plan generation, execution, and repair.