ConImp - Ein Programm zur Formalen Begriffsanalyse

ConImp ist zur Zeit das wohl am weitesten verbreitete (allgemein zugangliche) und am haufigsten benutzte Programm zur Formalen Begriffsanalyse. Es erlaubt die Eingabe und „Manipulation“ von (sog. einwertigen) Kontexten und Implikationen und die fur die Praxis wichtigsten Berechnungen dazu. Insbesondere konnen alle Daten berechnet werden, die fur das Zeichnen eines Begiffsverbandes per Hand notwendig sind. Als Kernstuck des Programms ConImp ist dabei die sog. interaktive Merkmalexploration anzusehen, die — wie auch viele sonstige Funktionen des Programms — noch standig weiterentwickelt wird — vor allem in dem Bereich, der unvollstandiges Wissen in diesem Zusammenhang betrifft (vgl. Abschnitt 6. gegen Ende).