(P) Simulation de chaînes causales dans les problèmes d’ingénierie via la logique

J’ai construit un simulateur de logique open source qui permet aux utilisateurs de saisir des propositions en langage naturel, d’extraire des variables symboliques et de simuler des chemins de raisonnement à travers les formules.

Contrairement aux systèmes basés sur LLM, ce simulateur visualise explicitement la structure logique: les utilisateurs peuvent tracer toutes les connexions de propriétés, afficher les réseaux de chemin résultants et modifier interactivement des poids ou des filtres.

Il s’agit d’une version ** sûre ** sans algorithmes internes (pas de code AI, pas de poids de modèle) – destiné uniquement à la démonstration et à la discussion UI / UX. J’adorerais les commentaires sur:

– L’interface visuelle

– à quel point la simulation est intuitive

– Améliorations possibles des flux de travail du raisonnement symbolique

https://preview.redd.it/b4z3pztrz8bf1.png?width=1914&format=png&auto=webp&s=c0b4ef6977c2b85dcc87b41644cbf1d1cb97c2d

-> avant d’apprendre

https://preview.redd.it/ousoxy1vz8bf1.png?width=1868&format=png&auto=webp&s=fa02ab325609005af576d057a48569aca6581171

-> Après avoir appris

https://preview.redd.it/y9kxxqmyz8bf1.png?width=1920&format=png&auto=webp&s=c8701f200287e834920a4876a2ff46cd2ede5af8

-> en formation

Démo en direct (vidéo): (https: //youtu.be/5wtx7lzmpog )