Left-sorted Bongard Problems have the keyword "creativeexamples" on the OEBP.

Be encouraged to contribute new interesting examples to Bongard Problems with this keyword.

There is much overlap with the keyword hardsort.

This is what it usually means to say examples fit on (e.g.) the left of a Bongard Problem in various creative ways: there is no (obvious) general method to determine a left-fitting example fits left.

There is a related idea in computability theory: a "non recursively enumerable" property is one that cannot in general be checked by a computer algorithm.

But keep in mind the tag "creativeexamples" is supposed to mean something less formal. For example, it requires no ingenuity for a human being to check when a simple shape is convex or concave (so BP4 is not labelled "creativeexamples"). However, it is not as if we use an algorithm to do this, like a computer. (It is not even clear what an "algorithm" would mean in this context, since it is ambiguous both what class of shapes the Bongard Problem sorts and how that would be encoded into a computer program's input. There are usually many options and ambiguities like this whenever one tries to formalize the content of a Bongard Problem.)

Adjacent-numbered pages:
BP861 BP862 BP863 BP864 BP865  *  BP867 BP868 BP869 BP870 BP871

notso, meta (see left/right), links, keyword

bp [smaller | same | bigger]

Aaron David Fairbanks

Left examples have keyword "distractingworld" on the OEBP.

This is different than the kind of distraction mentioned at noisy, which means there are details that are irrelevant to the solution changing between examples.

To label a BP "distractingworld" is to judge that the type of examples are more specific than should have been necessary to communicate the same general solution idea--this involves separating out which ideas are the nice ideas the BP really ought to have been about, and which ideas seem unimportant and irrelevant. On the other hand, to label a BP "noisy" is just to notice there are extra properties varying that are independent of the solution property.

Distractingworld BPs are often arbitrary.

Adjacent-numbered pages:
BP860 BP861 BP862 BP863 BP864  *  BP866 BP867 BP868 BP869 BP870

BP1105 was created as an extreme example of this. All images in that BP show the same distractingly detailed background, irrelevant to the solution.

stub, fuzzy, abstract, subjective, meta (see left/right), links, keyword

bp [smaller | same | bigger]

Aaron David Fairbanks

Right examples have the keyword "hardsort" on the OEBP.

Contrast "hardsort" to infodense, where examples have a high amount of information, but perhaps after parsing all the information in the examples it is easy to sort them.

BPs labelled "hardsort" are likely to be labelled hard, but perhaps not--e.g. in BP323 the answer is easy to guess, but laborious to verify.

Adjacent-numbered pages:
BP859 BP860 BP861 BP862 BP863  *  BP865 BP866 BP867 BP868 BP869

subjective, meta (see left/right), links, keyword

bp [smaller | same | bigger]

Aaron David Fairbanks

Left examples have the keyword "teach" on the OEBP.

Sometimes instead of gauging somebody's ability to guess the pattern, a Bongard Problem might teach the pattern.

Consider a Bongard Problem whose left examples are images of a specific person's face; after seeing that Problem, one might be able to recognize that person.

A "teach" Bongard Problem (with a huge number of examples) could be taken as a training set for machine learning.

"Teach" BPs tend to be convoluted, arbitrary, cultural-knowledge-based (keyword culture), or they illustrate some insight that might be overlooked, perhaps mathematical (keyword math).

Adjacent-numbered pages:
BP853 BP854 BP855 BP856 BP857  *  BP859 BP860 BP861 BP862 BP863

meta (see left/right), links, keyword

bp [smaller | same | bigger]

Aaron David Fairbanks

Left-sorted Bongard Problems have the keyword "consistentsymbols" on the OEBP.

A most extreme "consistentsymbols" Bongard Problem is BP121: the solution is about codes consistently symbolizing objects. However, "consistentsymbols" Bongard Problems may have solution unrelated to the symbolism; the symbolism may just be implicit, e.g. always meaning dots as numbers, always meaning stacked dots as fractions, repeatedly using the same simple drawings as shorthand to represent platonic solids. Most BPs have some symbolism in this sense; a Bongard Problem should only be labelled "consistentsymbols" if there is a relatively high amount of varied symbolism, particularly if it is visual symbolism not all people would naturally understand.

A Bongard Problem featuring a real language would be another extreme example of "consistentsymbols".

A Bongard Problem with many varied images meant to be interpreted in unique ways is not necessarily "consistentsymbols," since there is no specific-to-this-Bongard-Problem vocabulary of symbols that must be known to understand it. (Even so, some might say that how people intuitively interpret images is a vocabulary on its own.)

Sometimes, the symbolism isn't an important part of the Bongard Problem, and it just helps make the Bongard Problem easier to read (see the help keyword). For example, a Bongard Problem may include many clumps of dots, and the solution of the Problem may have to do with counting the number of dots in each clump; the Bongard Problem might build up a symbolic context by always arranging each number of dots in a consistent way (e.g. how they conventionally appear on dice faces).

"Consistentsymbols" is related to the keyword structure, a format that all examples fit that the solver needs to know how to read. In "consistentsymbols" Bongard Problems, not all examples need to fit a rigid format; instead there may be various smaller structures of meaning that only appear in some examples.

"Consistentsymbols" is related to assumesfamiliarity, BPs that require the solver to take certain assumptions about what the examples are for the solution to seem simple. A "consistentsymbols" Bongard Problem may have a very convoluted solution that involves explaining the meaning of each appearing object; however, the solution can become simple given correct interpretations of all objects. This effect works best when each object must be interpreted the same way across all boxes in order for the simple solution to fit. The comments sections of "consistentsymbols" BP pages on the OEBP ought to explain the symbolism used.

Adjacent-numbered pages:
BP833 BP834 BP835 BP836 BP837  *  BP839 BP840 BP841 BP842 BP843

meta (see left/right), links, keyword, wellfounded

visualbp [smaller | same | bigger]

Aaron David Fairbanks

Left examples have the keyword "collective" on the OEBP.

Some Bongard Problems are "collective" in a more extreme way than others. Perhaps there are absolutely no individual examples that anyone would confidently sort on either side, and the solver can only be expected to get a vague gist by seeing them all together. Or perhaps in practice most people agree about where most examples should fit, even though a stretch of an argument could conceivably be made for each one fitting on the other side.

In some collective Bongard Problems, each example admits a number of possible interpretations, and the correct choice of interpretation is only clear once the solution is known. The group of examples together improve the solver's confidence about having understood each individual one right. This is common in rules Bongard Problems), where each example communicates its own rule.

Collective Bongard Problems are borderline invalid Bongard Problems (see https://www.oebp.org/invalid.php ). There is no one rule dividing the sides; the solution is not a method to determine whether an arbitrary example fits left or right. It is a less strict kind of Bongard Problem.

Collective implies fuzzy.

Collective Bongard Problems are often abstract".

Subjective Bongard Problems are often collective.

In some Bongard Problems, each example has a corresponding slightly different twin example on the other side (keyword contributepairs), and it is necessary to see both examples together in order to be able to sort either of them. This is related to "collective" but not quite the same. It becomes unambiguous where an example fits once its twin is seen.

Adjacent-numbered pages:
BP832 BP833 BP834 BP835 BP836  *  BP838 BP839 BP840 BP841 BP842

meta (see left/right), links, keyword

bp [smaller | same | bigger]

Aaron David Fairbanks

Left examples have the keyword "solved" on the OEBP.

Right examples have the keyword "challenge" on the OEBP.

Adjacent-numbered pages:
BP821 BP822 BP823 BP824 BP825  *  BP827 BP828 BP829 BP830 BP831

meta (see left/right), links, keyword, time

Aaron David Fairbanks

Left examples have the keyword "concept" on the OEBP.

Each concept has a corresponding metaconcept page, which describes that concept and catalogues Bongard Problems featuring that concept.

Adjacent-numbered pages:
BP809 BP810 BP811 BP812 BP813  *  BP815 BP816 BP817 BP818 BP819

meta (see left/right), links, keyword

bppage [smaller | same | bigger]

Aaron David Fairbanks

Adjacent-numbered pages:
BP803 BP804 BP805 BP806 BP807  *  BP809 BP810 BP811 BP812 BP813

meta (see left/right), links, metaconcept

bp [smaller | same | bigger]

Aaron David Fairbanks

The solution for BP797^left is image related to this concept.

Adjacent-numbered pages:
BP795 BP796 BP797 BP798 BP799  *  BP801 BP802 BP803 BP804 BP805

meta (see left/right), links, metaconcept

bp [smaller | same | bigger]

Aaron David Fairbanks