Un treillis est un graphe muni d’une ou plusieurs relations d’ordre. Un treillis dans lequel tous les nœuds (appelés atomes) sont ordonnés est dit « complet » par rapport a la relation d’ordre concernée.

Il existe plusieurs sortes de treillis complets (treillis de Galois, treillis de Boole, treillis de Young…) et incomplets (treillis de Tamari, …). Il s’agit de treillis présentant des régularités et des caractéristiques particulières.

En IA on utilise des treillis qui sont rarement complets, les relations d’ordre étant généralement partielles.

On trouvera par exemple des treillis contextuels, des treillis situationnels, des treillis cognitifs. Parmi les treillis cognitif on trouve notamment des treillis d’induction et d’abduction.