{"title":"On the representation of problems in artificial intelligence","authors":"S. Amarel","doi":"10.1109/ICCL.1988.13060","DOIUrl":null,"url":null,"abstract":"Summary form only. In determining the computer language requirements for implementation of problem solving processes in AI, it is essential to clarify the nature of components that enter in the formulation of problems, solutions, and problem-solving procedures. An abstract formulation of a pattern in AI includes: the specification of a domain of discourse, the characterization of a set of possible solutions, and the specification of problem conditions that a member of the solution set must satisfy for it to be accepted as a solution to the problem. The data structures and process structures of program formulations of problems must be responsive to the characteristics of procedural formulations, which, in turn, depend on features of the key components of abstract problem formulations.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"11 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. 1988 International Conference on Computer Languages","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCL.1988.13060","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Summary form only. In determining the computer language requirements for implementation of problem solving processes in AI, it is essential to clarify the nature of components that enter in the formulation of problems, solutions, and problem-solving procedures. An abstract formulation of a pattern in AI includes: the specification of a domain of discourse, the characterization of a set of possible solutions, and the specification of problem conditions that a member of the solution set must satisfy for it to be accepted as a solution to the problem. The data structures and process structures of program formulations of problems must be responsive to the characteristics of procedural formulations, which, in turn, depend on features of the key components of abstract problem formulations.<>