{
  "content": {
    "icon": "bi-signpost-split",
    "id": "the-pattern-types",
    "intro": "Each pattern type is listed with the mathematical viewpoint it takes.",
    "subsections": [
      {
        "blocks": [
          {
            "kind": "text",
            "text": "formal systems and equations"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every ground that names the pattern type",
                "term": "Checked by"
              },
              {
                "description": "Every construct and record that grounds the pattern type",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the pattern types or a record that names one changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a ground that names a pattern type that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a pattern type is a viewpoint on structure, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a ground whose kind exists and whose id does not, and a ground filed under the wrong kind, and passes a well-formed one",
                "term": "Evidence"
              },
              {
                "description": "The pattern type list, which every ground that names a type cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-pattern-type-symbolic",
        "title": "symbolic"
      },
      {
        "blocks": [
          {
            "kind": "text",
            "text": "quantity and arithmetic"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every ground that names the pattern type",
                "term": "Checked by"
              },
              {
                "description": "Every construct and record that grounds the pattern type",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the pattern types or a record that names one changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a ground that names a pattern type that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a pattern type is a viewpoint on structure, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a ground whose kind exists and whose id does not, and a ground filed under the wrong kind, and passes a well-formed one",
                "term": "Evidence"
              },
              {
                "description": "The pattern type list, which every ground that names a type cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-pattern-type-number",
        "title": "numerical"
      },
      {
        "blocks": [
          {
            "kind": "text",
            "text": "operations and transformations"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every ground that names the pattern type",
                "term": "Checked by"
              },
              {
                "description": "Every construct and record that grounds the pattern type",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the pattern types or a record that names one changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a ground that names a pattern type that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a pattern type is a viewpoint on structure, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a ground whose kind exists and whose id does not, and a ground filed under the wrong kind, and passes a well-formed one",
                "term": "Evidence"
              },
              {
                "description": "The pattern type list, which every ground that names a type cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-pattern-type-algebra",
        "title": "algebraic"
      },
      {
        "blocks": [
          {
            "kind": "text",
            "text": "shape and space"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every ground that names the pattern type",
                "term": "Checked by"
              },
              {
                "description": "Every construct and record that grounds the pattern type",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the pattern types or a record that names one changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a ground that names a pattern type that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a pattern type is a viewpoint on structure, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a ground whose kind exists and whose id does not, and a ground filed under the wrong kind, and passes a well-formed one",
                "term": "Evidence"
              },
              {
                "description": "The pattern type list, which every ground that names a type cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-pattern-type-geometry",
        "title": "geometric"
      },
      {
        "blocks": [
          {
            "kind": "text",
            "text": "connectivity and invariance"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every ground that names the pattern type",
                "term": "Checked by"
              },
              {
                "description": "Every construct and record that grounds the pattern type",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the pattern types or a record that names one changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a ground that names a pattern type that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a pattern type is a viewpoint on structure, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a ground whose kind exists and whose id does not, and a ground filed under the wrong kind, and passes a well-formed one",
                "term": "Evidence"
              },
              {
                "description": "The pattern type list, which every ground that names a type cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-pattern-type-topology",
        "title": "topological"
      },
      {
        "blocks": [
          {
            "kind": "text",
            "text": "truth and implication"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every ground that names the pattern type",
                "term": "Checked by"
              },
              {
                "description": "Every construct and record that grounds the pattern type",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the pattern types or a record that names one changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a ground that names a pattern type that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a pattern type is a viewpoint on structure, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a ground whose kind exists and whose id does not, and a ground filed under the wrong kind, and passes a well-formed one",
                "term": "Evidence"
              },
              {
                "description": "The pattern type list, which every ground that names a type cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-pattern-type-logic",
        "title": "logical"
      },
      {
        "blocks": [
          {
            "kind": "text",
            "text": "possible arrangements"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every ground that names the pattern type",
                "term": "Checked by"
              },
              {
                "description": "Every construct and record that grounds the pattern type",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the pattern types or a record that names one changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a ground that names a pattern type that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a pattern type is a viewpoint on structure, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a ground whose kind exists and whose id does not, and a ground filed under the wrong kind, and passes a well-formed one",
                "term": "Evidence"
              },
              {
                "description": "The pattern type list, which every ground that names a type cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-pattern-type-combinatorics",
        "title": "combinatorial"
      },
      {
        "blocks": [
          {
            "kind": "text",
            "text": "distribution and variation"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every ground that names the pattern type",
                "term": "Checked by"
              },
              {
                "description": "Every construct and record that grounds the pattern type",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the pattern types or a record that names one changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a ground that names a pattern type that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a pattern type is a viewpoint on structure, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a ground whose kind exists and whose id does not, and a ground filed under the wrong kind, and passes a well-formed one",
                "term": "Evidence"
              },
              {
                "description": "The pattern type list, which every ground that names a type cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-pattern-type-statistical",
        "title": "statistical"
      },
      {
        "blocks": [
          {
            "kind": "text",
            "text": "randomness and uncertainty"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every ground that names the pattern type",
                "term": "Checked by"
              },
              {
                "description": "Every construct and record that grounds the pattern type",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the pattern types or a record that names one changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a ground that names a pattern type that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a pattern type is a viewpoint on structure, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a ground whose kind exists and whose id does not, and a ground filed under the wrong kind, and passes a well-formed one",
                "term": "Evidence"
              },
              {
                "description": "The pattern type list, which every ground that names a type cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-pattern-type-probability",
        "title": "probabilistic"
      },
      {
        "blocks": [
          {
            "kind": "text",
            "text": "compression and complexity"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every ground that names the pattern type",
                "term": "Checked by"
              },
              {
                "description": "Every construct and record that grounds the pattern type",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the pattern types or a record that names one changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a ground that names a pattern type that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a pattern type is a viewpoint on structure, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a ground whose kind exists and whose id does not, and a ground filed under the wrong kind, and passes a well-formed one",
                "term": "Evidence"
              },
              {
                "description": "The pattern type list, which every ground that names a type cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-pattern-type-information",
        "title": "information"
      },
      {
        "blocks": [
          {
            "kind": "text",
            "text": "change over time"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every ground that names the pattern type",
                "term": "Checked by"
              },
              {
                "description": "Every construct and record that grounds the pattern type",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the pattern types or a record that names one changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a ground that names a pattern type that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a pattern type is a viewpoint on structure, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a ground whose kind exists and whose id does not, and a ground filed under the wrong kind, and passes a well-formed one",
                "term": "Evidence"
              },
              {
                "description": "The pattern type list, which every ground that names a type cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-pattern-type-dynamical-systems",
        "title": "dynamical"
      },
      {
        "blocks": [
          {
            "kind": "text",
            "text": "procedures and algorithms"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every ground that names the pattern type",
                "term": "Checked by"
              },
              {
                "description": "Every construct and record that grounds the pattern type",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the pattern types or a record that names one changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a ground that names a pattern type that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a pattern type is a viewpoint on structure, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a ground whose kind exists and whose id does not, and a ground filed under the wrong kind, and passes a well-formed one",
                "term": "Evidence"
              },
              {
                "description": "The pattern type list, which every ground that names a type cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-pattern-type-computation",
        "title": "computational"
      },
      {
        "blocks": [
          {
            "kind": "text",
            "text": "relationships between structures"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every ground that names the pattern type",
                "term": "Checked by"
              },
              {
                "description": "Every construct and record that grounds the pattern type",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the pattern types or a record that names one changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a ground that names a pattern type that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a pattern type is a viewpoint on structure, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a ground whose kind exists and whose id does not, and a ground filed under the wrong kind, and passes a well-formed one",
                "term": "Evidence"
              },
              {
                "description": "The pattern type list, which every ground that names a type cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-pattern-type-category-theory",
        "title": "categorical"
      },
      {
        "blocks": [
          {
            "kind": "text",
            "text": "recursive self-similarity"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over every ground that names the pattern type",
                "term": "Checked by"
              },
              {
                "description": "Every construct and record that grounds the pattern type",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the pattern types or a record that names one changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a ground that names a pattern type that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a pattern type is a viewpoint on structure, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a ground whose kind exists and whose id does not, and a ground filed under the wrong kind, and passes a well-formed one",
                "term": "Evidence"
              },
              {
                "description": "The pattern type list, which every ground that names a type cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-pattern-type-fractal",
        "title": "fractal"
      }
    ],
    "title": "The pattern types"
  },
  "graph": {
    "narrative": true,
    "requires": [],
    "teaches": [],
    "traces": []
  },
  "href": "https://banes-lab.com/ontology/reasoning#the-pattern-types",
  "number": "206",
  "page": "ontology",
  "ref": "chapter:/ontology/reasoning#the-pattern-types",
  "relations": [],
  "route": null,
  "section": "the-pattern-types",
  "summary": "Each pattern type is listed with the mathematical viewpoint it takes.",
  "tab": "reasoning",
  "title": "The pattern types",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology/reasoning#the-models",
      "json": "https://banes-lab.com/json/ontology/reasoning/the-models",
      "label": "The models",
      "markdown": "https://banes-lab.com/ontology/reasoning/the-models.md",
      "ref": "chapter:/ontology/reasoning#the-models"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology/reasoning#the-representations",
      "json": "https://banes-lab.com/json/ontology/reasoning/the-representations",
      "label": "The representations",
      "markdown": "https://banes-lab.com/ontology/reasoning/the-representations.md",
      "ref": "chapter:/ontology/reasoning#the-representations"
    }
  },
  "up": {
    "href": "https://banes-lab.com/ontology/reasoning",
    "json": "https://banes-lab.com/json/api/pages/ontology/reasoning",
    "label": "Ontology · Reasoning",
    "markdown": "https://banes-lab.com/api/pages/ontology/reasoning.md",
    "ref": "api:/ontology/reasoning"
  }
}