Skip to content


Subversion checkout URL

You can clone with
Download ZIP
100644 61 lines (58 sloc) 3.39 KB
139aa31 @akkartik 1
1 /* Here is a list of people who have implemented the heuristics so far.
2 adam = Adam Farquhar
3 annanya = Annanya ? (ask adam)
4 bruce = Dr. Bruce Porter
5 ken = Ken Murray
6 kim = Kim Matocha
7 marcos = M.V. LaPolla
8 martin = Dr. Martin Purvis
9 ray = Ray Bareiss
10 todd = Todd Stock
11 */
13 descr(h1,'Boost worth of recently referenced concepts',adam).
14 descr(h6,'C is interesting if refered to in interesting conjectures',martin).
15 descr(h12,'Fillin all blank facets -go get some coffee',adam).
16 descr(h14,'After dealing with C, boost Cons that use C',adam).
17 descr(h17,'C is interesting if C.conjecs has interesting entries',martin).
8d3e9ba @akkartik 3
18 descr(h20,'C is interesting if its boundary corresponds another con', martin).
139aa31 @akkartik 1
19 descr(h23,'C is interesting if it satisfies some rare predicate',martin).
20 descr(h28, 'Same idea as 114',marcos).
21 descr(h29,'Find exs of X by looking at exs of more gen cons',ken).
22 descr(h31,'Find exs of X by unfolding its definition',adam).
23 descr(h34a,'Find exs of X by looking at ops whose range is X',ken).
24 descr(h34b,'Find exs of X by looking at ops whose domain is X',ken).
25 descr(h36, 'h36',marcos).
26 descr(h40,'Find exs of X by looking at first cousins of X',ken).
8d3e9ba @akkartik 3
27 descr(h43,'If X and Y share many examples, then create their intersection', adam).
139aa31 @akkartik 1
28 descr(h44,'If there are very few exs of C, then generalize it',adam).
29 descr(h45,'If there are very many exs of C, then specialize it',adam).
30 descr(h46,'If there are no exs of C, then find some',adam).
31 descr(h50,'After filling in exs of C, check them',adam).
32 descr(h56,'If a gen of C has same exs as C, they may be the same',ken).
33 descr(h57,'If a spec of C has same exs as C, they may be the same',ken).
34 descr(h59a,'Check exs of C against the defn of C',anonymous).
35 descr(h59c,'Prune the exs slot of C to a size reflecting its worth',anonymous).
36 descr(h61a,'Move typical exs to as specific a con as possible',ken).
37 descr(h61b,'Move bnd exs to as specific a con as possible',ken).
38 descr(h89,'Generalize C by dropping conjuncts',bruce).
39 descr(h92,'Specialize C by dropping disjuncts',bruce).
40 descr(h110,'Make sure that no specs of S are the same',annanya).
8d3e9ba @akkartik 3
41 descr(h111,'If a gen & spec of C have a common elem, they may be the same', annanya).
42 descr(h114, 'If C1 is a genl of C2 if C2 is a fenl of C3 ... if Ck is a genl of Cn then merge and increase the value of the highest value to begin with',marcos).
139aa31 @akkartik 1
43 descr(h114a, 'Same idea as 114 with a few mods',marcos).
44 descr(h116,'Fillin in_dom_of by finding what can be run on C',annanya).
45 descr(h117,'Fillin in_ran_of by finding ops that yield Cs',annanya).
46 descr(h123,'Fillin exs of op by running it on domain exs',adam).
47 descr(h124,'Fillin dom_range of C by finding where C is defined',annanya).
48 descr(h174,'Create the composition FoG',ray).
49 descr(h180,'Fillin exs of FoG by using exs of F and G',ray).
50 descr(h183,'Check that FoG is different than F or G',ray).
51 descr(h199,'Coalesce C',annanya).
52 descr(h204,'Creating f-itself',annanya).
8d3e9ba @akkartik 3
53 descr(h240,'Find exs of mult elem by repeating elems of no-mult-elem', annanya).
139aa31 @akkartik 1
54 descr(h300,'Generalize concept definition by generalizing a predicate',todd).
55 descr(h301,'Specialize concept definition by specializing a predicate',kim).
57 descr(h402, 'If number of examples are between 5 and 30 incr worth',marcos).
58 descr(h407, 'If a concept is worthwhile then compose it with itself',marcos).
59 descr(h408, 'If a concept if worthwhile do it again',marcos).
60 descr(h409, 'If a concept is ww then invert it',marcos).
Something went wrong with that request. Please try again.