Problem Solving Programs for Mechanized Decision-Making Systems.
Final technical rept. Nov 62-Feb 71,
RUTGERS - THE STATE UNIV NEW BRUNSWICK N J DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
The report presents an overall summary of the research in the project, from 1962 to 1971. The central objective is to build theoretical foundations for the design and study of advanced, computer-based, problem solving systems. After a historical synopsis of the project, the work in the period 1962-1969 is summarized. In this period a wide range of problem solving situations have been studied program formation, theorem proving, syntactic analysis, reasoning about action, question answering, synthesis in threshold logic, and design of floor plans. A taxonomy of problems and a linguistic - logical framework for the analysis of problem solving schemes were developed. The centrality of the problem of representation in problem solving was recognized, and the problem was extensively studied. Results in computer design and other language processing problems were obtained. In the period 1969-1971, significant studies were completed in representations and modeling of formation problems, and in deductive mechanisms for question answering. Also studies in language descriptions, theory of algorithms and data structures were carried out. These studies provide points of contact between work in artificial intelligence and other significant work in computer science. Lists of reports, papers, lectures and conference activities for the entire period of the project are presented. The report ends with a summary of significant accomplishments and impact of the project. Author
- Computer Programming and Software