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

Call a rule "narrow" if it is likely to be noticed in a large collection of examples, without any counterexamples provided.

A collection of triangles will be recognized as such; "triangles" is a narrow rule. A collection of non-triangular shapes will just be seen as "shapes"; "not triangles" is not narrow.

Intuitively, a narrow rule seems small in comparison to the space of other related possibilities. Narrow rules tend to be phrased positively ("is [property]"), while non-narrow rules opposite narrow rules tend to be phrased negatively ("is not [property]").

Both sides of a BP can be narrow, e.g. BP6.

Even a rule and its conceptual opposite can be narrow, e.g. BP20.

What seems like a typical example depends on expectations. If one is expecting there to be triangles, the absence of triangles will be noticeable. (See the keyword assumesfamiliarity for Bongard Problems that require the solver to go in with special expectations.)

A person might notice the absence of triangles in a collection of just polygons, because a triangle is such a typical example of a polygon. On the other hand, a person will probably not notice the absence of 174-gons in a collection of polygons.

Typically, any example fitting a narrow rule can be changed slightly to no longer fit. (This is not always the case, however. Consider the narrow rule "is approximately a triangle".)

It is possible for a rule to be "narrow" (communicable by a properly chosen collection of examples) but not clearly communicated by a particular collection of examples satisfying it, e.g., a collection of examples that is too small to communicate it.

Note that this is not just BP514 (right-narrow) flipped.

Is it possible for a rule to be such that some collections of examples do bring it to mind, but no collection of examples unambiguously communicates it as the intended rule? Perhaps there is some border case the rule excludes, but it is not clear whether the border case was intentionally left out. The border case's absence would likely become more conspicuous with more examples (assuming the collection of examples naturally brings this border case to mind).

See BP830 for a version with pictures of Bongard Problems (miniproblems) instead of links.

Adjacent-numbered pages:
BP508 BP509 BP510 BP511 BP512  *  BP514 BP515 BP516 BP517 BP518

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

bp [smaller | same | bigger]

Aaron David Fairbanks

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

Left-sorted BPs have the keyword "left-self" on the OEBP. Right-sorted BPs have the keyword "right-self."

These keywords are added to pages automatically.

Rhetorical questions: Where does this BP sort itself? Where does this BP sort the flipped version of itself?

See BP793 for the version sorting pictures of Bongard Problems (miniproblems) instead of links to pages on the OEBP.

See BP1075 for an example of a BP that is tagged "left-self" but would still be tagged "left-self" after the sides in the title were flipped. (This is unusual; a "left-self" BP after being flipped is typically "right-self" and vice versa.)

Adjacent-numbered pages:
BP512 BP513 BP514 BP515 BP516  *  BP518 BP519 BP520 BP521 BP522

nice, dual, meta (see left/right), links, keyword, side, metameta, feedback

Multiple options:
linksbp [smaller | same | bigger],
bp_in_own_world [smaller | same | bigger]
zoom in left | zoom in right

Aaron David Fairbanks

Bongard Problems that break the rules or spirit of Bongard Problems but are interesting enough to keep in the database.

See BP829 and BP968 (flipped) for versions with pictures of Bongard Problems (miniproblems) instead of links to pages on the OEBP.

Adjacent-numbered pages:
BP517 BP518 BP519 BP520 BP521  *  BP523 BP524 BP525 BP526 BP527

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

bp [smaller | same | bigger]

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

Adjacent-numbered pages:
BP686 BP687 BP688 BP689 BP690  *  BP692 BP693 BP694 BP695 BP696

meta (see left/right), links, metaconcept, primitive, left-it, feedback

bp [smaller | same | bigger]

Harry E. Foundalis

See keyword arbitrary.

Adjacent-numbered pages:
BP768 BP769 BP770 BP771 BP772  *  BP774 BP775 BP776 BP777 BP778

meta (see left/right), links, metaconcept, primitive

bp [smaller | same | bigger]

Harry E. Foundalis

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