Left-sorted BPs have the keyword "left-finite" in the OEBP.

How to distinguish between different examples depends on the Bongard Problem. For example, in BPs about little black dots, examples may be considered the same when they have the same number of dots in all the same positions.

Note that this is not just BP516 (right-finite) flipped.

"Left-finite" implies left-narrow.

See left-listable, which is about an infinite left side that can be organized into a neverending list versus infinite left side that cannot be organized into a neverending list.

"Left-finite" BPs are typically precise.

See BP1032 for a version that sorts images of Bongard Problems (miniproblems) instead of links, and which only sorts images of Bongard Problems about numbers.

Adjacent-numbered pages:
BP510 BP511 BP512 BP513 BP514  *  BP516 BP517 BP518 BP519 BP520

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

bp [smaller | same | bigger]
zoom in right (bp_infinite_left_examples)

Aaron David Fairbanks

Bongard Problems sorted left have the keyword "meta" on the OEBP.

Meta Bongard Problems are Bongard Problems that sort Bongard Problems. Sometimes abbreviated MBPs.

The first meta Bongard Problem was BP200.

Some meta BP pages sort images of Bongard Problems (keyword miniproblems), while other meta BP pages sort other BP pages (keyword links).

BPs that sort meta-BPs are labelled metameta.

Adjacent-numbered pages:
BP532 BP533 BP534 BP535 BP536  *  BP538 BP539 BP540 BP541 BP542

meta (see left/right), links, keyword, world, left-self, sideless, metameta, left-full, feedback

bp [smaller | same | bigger]
zoom in left (linksbp)

Aaron David Fairbanks

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

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

Experimental BPs push the boundaries of what makes Bongard Problems Bongard Problems.

Traditional BPs show some simple property of black and white pictures. The OEBP is a place with many wild and absurd Bongard Problems, so it is useful to have an easy way to just find the regular old Bongard Problems.

Adjacent-numbered pages:
BP545 BP546 BP547 BP548 BP549  *  BP551 BP552 BP553 BP554 BP555

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

bp [smaller | same | bigger]

Aaron David Fairbanks

Left-sorted BPs have the keyword "left-full" on the OEBP.

For meta-BPs about solution ideas, left-full only means the BP page hopes to include all fitting BP pages on the OEBP (as opposed to all possible Bongard Problems).

As with applying the keywords left-finite and right-finite, deciding what should count as "different" examples depends on the Bongard Problem.

Note this is not just BP574 (right-full) flipped.

TODO: Maybe this should be changed into two keywords: one for non-meta-BPs and one for meta-BPs. - Aaron David Fairbanks, Feb 11 2021

For non-meta BPs, left-full implies left-finite (at least until the OEBP implements a feature that allows algorithmic generation of infinite examples).

Adjacent-numbered pages:
BP568 BP569 BP570 BP571 BP572  *  BP574 BP575 BP576 BP577 BP578

meta (see left/right), links, keyword

bppage [smaller | same | bigger]

Aaron David Fairbanks

Bongard Problems sorted left have the keyword "impossible" on the OEBP.

"Impossible Bongard Problem" is a loose term, but it roughly means the Bongard Problem solution idea can't be displayed as an image.

BP868, the version of this whose examples are images of Bongard Problems (miniproblems), rather than links to pages on the OEBP, is impossible. - Aaron David Fairbanks, Jul 29 2020

See overriddensolution for solutions that Bongard Problems can have, but that will not be chosen by a reasonable person as the best solution.

Adjacent-numbered pages:
BP816 BP817 BP818 BP819 BP820  *  BP822 BP823 BP824 BP825 BP826

meta (see left/right), links, keyword, right-self

bp [smaller | same | bigger]

Leo Crabbe

Left-sorted BPs have the keyword "notso" on the OEBP.

This meta Bongard Problem is about Bongard Problems featuring two rules that are conceptual opposites.

Sometimes both sides could be seen as the "not" side: consider, for example, two definitions of the same Bongard Problem, "shape has hole vs. does not" and "shape is not filled vs. is". It is possible (albeit perhaps unnatural) to phrase the solution either way when the left and right sides partition all possible relevant examples cleanly into two groups (see the allsorted keyword).

When one property is "positive-seeming" and its opposite is "negative-seeming", it usually means the positive property would be recognized without counter-examples (e.g. a collection of triangles will be seen as such), while the negative property wouldn't be recognized without counter-examples (e.g. a collection of "non-triangle shapes" will just be interpreted as "shapes" unless triangles are shown opposite them).

BP513 (keyword left-narrow) is about Bongard Problems whose left side can be recognized without the right side. When a Bongard Problem is left-narrow and not "right-narrow that usually makes the property on the left seem positive and the property on the right seem negative.

The OEBP by convention has preferred the "positive-seeming" property (when there is one) to be on the left side.

All in all, the keyword "notso" should mean:

1) If the Bongard Problem is "narrow" on at least one side, then it is left-narrow.

2) The right side is the conceptual negation of the left side.

If a Bongard Problem's solution is "[Property A] vs. not so", the "not so" side is everything without [Property A] within some suitable context. A Bongard Problem "triangles vs. not so" might only include simple shapes as non-triangles; it need not include images of boats as non-triangles. It is not necessary for all the kitchen sink to be thrown on the "not so" side (although it is here).

See BP1001 for a version sorting pictures of Bongard Problems (miniproblems) instead of links to pages on the OEBP. (This version is a little different. In BP1001, the kitchen sink of all other possible images is always included on the right "not so" side, rather than a context-dependent conceptual negation.)

Contrast keyword viceversa.

"[Property A] vs. not so" Bongard Problems are often allsorted, meaning they sort all relevant examples--but not always, because sometimes there exist ambiguous border cases, unclear whether they fit [Property A] or not.

Adjacent-numbered pages:
BP862 BP863 BP864 BP865 BP866  *  BP868 BP869 BP870 BP871 BP872

notso, meta (see left/right), links, keyword, left-self, funny

everything [smaller | same]
zoom in left

Aaron David Fairbanks

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

Right-sorted Bongard Problems have the keyword "presentationinvariant" on the OEBP.

Meta Bongard problems that sort Bongard Problems purely based on their solutions usually have two versions in the database: one that sorts images of Bongard Problems and one that sorts links to pages on the OEBP. If both versions exist, users should make them cross-reference one another. (Meta Bongard Problems that sort images of Bongard Problems have the keyword miniproblems, whereas meta Bongard Problems that sort links to OEBP pages have the keyword links.)

For meta-pages on the OEBP that sort other pages on the OEBP (keyword links), "presentationmatters" means factoring in content like the BP number, the currently uploaded examples, the wording of the title, the description, and so on, rather than just the solution (that is, how the page would sort all potential examples). This is unusual.

"One solution vs. multiple solutions" (BP828) seems like a border-case. - Aaron David Fairbanks, Aug 01 2020

See BP1010 (projectionmatters versus 3d) for a similar idea: there 2D representations are to 3D objects as here Bongard Problems are to Bongard Problem solutions.

Adjacent-numbered pages:
BP890 BP891 BP892 BP893 BP894  *  BP896 BP897 BP898 BP899 BP900

fuzzy, meta (see left/right), links, keyword, right-self, sideless, metameta, right-it, dependence, presentationinvariant

metabp [smaller | same | bigger]

Jago Collins

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

Adjacent-numbered pages:
BP995 BP996 BP997 BP998 BP999  *  BP1001 BP1002 BP1003 BP1004 BP1005

less, subjective, culture, meta (see left/right), links, keyword, left-self, left-it, feedback, funny

bp [smaller | same | bigger]

Aaron David Fairbanks

Bongard Problems sorted left have the keyword "example" on the OEBP.

Plea to the reader: We need a good counterexample for this Problem. Could you please make a good example of a Problem this meta BP would sort on its right? Don't forget to tag it appropriately. - Leo Crabbe, Dec 13 2021

Adjacent-numbered pages:
BP1116 BP1117 BP1118 BP1119 BP1120  *  BP1122 BP1123 BP1124 BP1125 BP1126

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

Aaron David Fairbanks

Bongard Problems sorted left have the keyword "links" on the OEBP.

Bongard Problems sorted right have the keyword "miniproblems" on the OEBP.

The keyword "links" is automatically added to a Bongard Problem on the OEBP if a BP number is added as an example.

Meta Bongard problems that sort Bongard Problems purely based on their solutions (keyword presentationmatters) usually have two versions in the database: one that sorts images of Bongard Problems and one that sorts links to pages on the OEBP. If both versions exist, users should make them cross-reference one another.

All the examples of miniature Bongard Problems within any meta Bongard Problem tagged "miniproblems" would fit left on BP1080 (which is a showcase of the various formats for images of Bongard Problems).

Adjacent-numbered pages:
BP1121 BP1122 BP1123 BP1124 BP1125  *  BP1127 BP1128 BP1129 BP1130 BP1131

meta (see left/right), links, keyword, world, left-self, metameta

metabp [smaller | same | bigger]

Aaron David Fairbanks