Extension (Informatik)

Eine Extension (engl. Erweiterung) ist in der Informatik, speziell im Bereich wissensbasierter Systeme, eine Menge von Beispielen, die ein (von einer Maschine zu erlernendes) Konzept erfüllen. Ein Konzept wird dabei als einstellige Funktion betrachtet, die für jedes gegebene Beispiel entscheidet, ob es zum Konzept gehört oder nicht. Die Menge aller Beispiele, die ein Konzept c erfüllt, heißt Extension von c.