Skip to content
This repository
branch: master
Fetching contributors…

Octocat-spinner-32-eaf2f5

Cannot retrieve contributors at this time

file 38 lines (31 sloc) 1.393 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37
/********************************************************
 * h23 *
 * Concept C is interesting if each example of C *
 * accidentally seems to satisfy the otherwise- *
 * rarely satisfied predicate P, or (equivalently) *
 * if there is an unusual conjecture involving C. *
 ********************************************************/

/* I am going to take "unusual" conjecture to mean any
 * conjecture -- conjectures aren't made unless they are
* interesting and unusual anyway.
*/

/* Note also that I do not know what is going to be the format
* of the conjecs slot. For the present, I am going to presume
* that it is a list of elements, one member of which may be
* the concept Con that we are dealing with.
*/

h23(Con) :-
allconcepts(All_cons),
collect(conjecs,All_cons,Jecs_list),
h23_aux(Con,Jecs_list).

h23_aux(X,[]) :- fail.
h23_aux(X,[A|B]) :-
(member(X,A) ; h23_aux(X,B)).

/* If in the [examples,bnd] slot of the concept 'Predicate'
* we were to store those predicates that are rarely satisfied,
* then we could easily access rarely-satisfied predicates and
* deal with the first part of this heuristic. Failing this
* slot, it doesn't seem worth it to searching through ALL
 * predicate evaluations and seeing which ones aren't satisfied
 * very often.
 */

Something went wrong with that request. Please try again.