Whittle, J. (1995). Analogy in clam. Unpublished M.Sc. thesis, Department of Artificial Intelligence, Edinburgh. 18  @ NUS  Home/Search   Document Details and Download   Summary   Related Articles

.... an example of a source theorem S, a target theorem T , the rewrite rules associated with S and T , and the source proof plan of S: Source theorem S: length(x y) length(y x) 1) Target theorem T : half (x y) half (y x) 2) 1 For more detailed information, the reader is referred to [Whittle, 1995]. Also, the initial ideas for the use of analogy in theorem proving are presented in [Melis, 1995] 4 Source rewrite rules: X : Y ) Z ) X : Y Z) 3) length(X : Y ) s(length(Y ) 4) length(X (Y : Z) s(length(X Z) 5) Target rewrite rules: s(Y ) Z ) s(Y Z) 6) half ....

....1 . Other additional constraints are : 2 = 3 , 5 = 4 and s 1 = s 2 . In order to make the basic and extended mappings ABALONE uses a form of matching referred to as restricted second order mapping. For more information on the algorithm implementing this mapping, the reader is referred to [Whittle, 1995]. The basic mapping m b maps the source theorem S to the target theorem T by using labelled fragments [Hutter, 1994] The intricacies of this heuristic technique are not central to this paper. In the case of S and T , the basic mapping yields m b (length) half and m b ( The extended ....

[Article contains additional citation context not shown here]

Whittle, J. (1995). Analogy in clam. Unpublished M.Sc. thesis, Department of Artificial Intelligence, Edinburgh. 18

Online articles have much greater impact   More about CiteSeer.IST at NUS   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.