登入選單
返回Google圖書搜尋
其他書名
Mapping Back
出版University of Edinburgh, Department of Artificial Intelligence, 1990
URLhttp://books.google.com.hk/books?id=VhElSQAACAAJ&hl=&source=gbs_api
註釋Abstract: "Abstraction is a very powerful heuristic that has often been used in theorem proving (eg. [Pla81, Pla86, Ten87, Imi87, GW89b]). This paper uses the general theory of abstration presented in [GW89a] to consider the problem of how an abstract solution can be 'mapped back' onto a solution of the original problem. We describe the basic ideas and report some experimental results."