Le problème
Les systèmes peuvent confondre le connu, l’inconnu et le contradictoire.
KRLG
Knowledge Representation Lattice Graph .krlg
Données, savoir et mathématiquesEn développementPropriétaire
Ce qu’il fait
Représente les preuves et leurs relations, avec des états explicites et des révisions rejouables.
Portée et limites
Ne garantit pas la vérité et n’effectue pas d’inférence neuronale sans restriction.