I S – Schliessen@Projekte@illutions

Illner Solutions hat ein wenig Theorie zum automatischen Schließen entwickelt (vgl. [IS-Theorie / 3]). Dabei wird ein Paradigmenwechel vom closed-world Paradigma zum open-world Paradigma vollzogen. Aus dieser Theorie wird eine Entwicklungsumgebung für unscharfes Schließen entworfen. Außerdem können die Grundkonzepte für eine interessante neue Programmiersprache genutzt werden.

CHECKER™ – eine geplante Entwicklungsumgebung für unscharfe Wissensbasen.

PRO4 – logische Programmiersprache mit Unvollständigkeit und Widerspruch !