{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "3EG3HMEGWC"
    }
  ],
  "body": "\n## Summary\n\nFormal concept analysis studies a binary relation between objects and attributes through the complete lattice of its formal concepts.\nA formal concept is a pair of a set of objects and a set of attributes that determine each other exactly.\nThe resulting concept lattice gives a hierarchy of clusters in the data, and every complete lattice arises in this way.\nIt is used in data analysis and knowledge representation, and it rests on a [[Galois connection|Q5JHEPRYQ6]] between sets of objects and sets of attributes.\n\n## Explanations\n\n### L1 human\n\nStart with a table: rows are objects, columns are attributes, and a cross means that the object has the attribute.\nA formal concept is a block of crosses that cannot be made bigger.\nIt is a set of objects with all the attributes they share, such that no other object has all these attributes.\nFor example, take the objects \"dog\", \"cat\", \"trout\" and the attributes \"has fur\", \"lives in water\", where the dog and the cat have fur and the trout lives in water.\nThen the pair ({dog, cat}, {has fur}) is a formal concept.\nThe formal concepts, ordered by their sets of objects, form a lattice that shows how the concepts of the data are nested.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "06B99",
      "68T30",
      "06A15"
    ],
    "name": "Formal concept analysis",
    "same_as": {
      "wikidata": "Q1437394",
      "wikipedia": "Formal concept analysis"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Formal_concept_analysis"
      }
    ],
    "tag": "G83JY7CY7Q"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/G83JY7CY7Q/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/G83JY7CY7Q.md",
  "msc": [
    "06B99",
    "68T30",
    "06A15"
  ],
  "name": "Formal concept analysis",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/G83/G83JY7CY7Q.md",
  "status": null,
  "tag": "G83JY7CY7Q",
  "uri": "m2://G83JY7CY7Q",
  "url": "https://tamnd.github.io/math2/wiki/formal-concept-analysis/",
  "writing": {
    "tag": "G83JY7CY7Q",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}