Analyseur syntaxique et lexical pour des expressions logiques
Fermé
ajp55
sambia39
- Messages postés
- 426
- Date d'inscription
- dimanche 31 juillet 2011
- Statut
- Membre
- Dernière intervention
- 17 février 2015
sambia39
- Messages postés
- 609
- Date d'inscription
- vendredi 31 juillet 2009
- Statut
- Membre
- Dernière intervention
- 24 juin 2016
A voir également:
- Analyseur syntaxique et lexical pour des expressions logiques
- Erreur de syntaxe (opérateur absent) dans l'expression ✓ - Forum - Bases de données
- Analyseur syntaxique ✓ - Forum - Études / Formation High-Tech
- Demande d'aide urgente ✓ - Forum - Programmation
- Erreur de syntaxe (operateur absent) dans l'expression <<TRIGRAMME=' ''rol ✓ - Forum - Access
- Erreur de syntaxe ✓ - Forum - Access
1 réponse
sambia39
1 févr. 2015 à 15:25
- Messages postés
- 609
- Date d'inscription
- vendredi 31 juillet 2009
- Statut
- Membre
- Dernière intervention
- 24 juin 2016
1 févr. 2015 à 15:25
Bonjour,
Ici le code n'est pas le problème, mais l'algorithme, je vais sans doute ou peut-être faire du hors sujet mais dans ce contexte spécifique qui est celui du raisonnement logique et formel (en plus clair de la décidabilité concept des mathématiques encore -_- ) , il faudrait composer avec les notions de décidabilité afin d'obtenir un compromis logique c'est-à-dire, exprimer la relation qui existe entre le monde réel et le monde abstrait afin d'avoir une condition d'invalidité ou de validité (vrai ou faux) en d'autres termes de la logique bivalente respectant les trois règles fondamentales de base qui sont propositions, connexion et négations exemple : "un ennéneract à 2 côtés" est une proposition mais qui est en l'occurrence fausse tandis que " comment ça marche " n'est pas une proposition ,mais peut le devenir à condition de préciser les conditions lui permettant de décider sa validité logique.
Ceci dit, deux propositions peuvent être équivalentes (logiquement), c'est-à-dire qui a la même valeur, mais attention, si par exemple X est un jumeau et qu'il possède la date de naissance de Y son frères alors ( X & Y ) les deux propositions sont vrai, soit simultanément vraies ou simultanément fausses, mais aussi juste fausses car ils ne sont pas née à la même seconde même minute, même heure ou juste vrai car , ils sont née le même jour ou juste vrai ou faux car ce sont de faux jumeaux.
Bref, sans aller trop loin pour ne pas faire du hors sujet ( entré dans le domaine de la IA, tautologie et anthologie qui d'ailleurs font partie de la décidabilité, les prédicats, les if, else ou faire un fort amalgame entre logique mathématique et algorithme de décidabilité complexe en informatique). Je te suggère d'essayer par toi-même d'élaborer ton propre raisonnement de décidabilité afin d'aboutir à un algorithme qui te fournira soit une affirmation ou une négation.
Attention, les tutoriels sont efficaces mais ils sont spécifiques à un cas donné le copier ou vouloir s'inspirer fortement créé de forte incompatibilité insoupçonné.
à bientôt
Ici le code n'est pas le problème, mais l'algorithme, je vais sans doute ou peut-être faire du hors sujet mais dans ce contexte spécifique qui est celui du raisonnement logique et formel (en plus clair de la décidabilité concept des mathématiques encore -_- ) , il faudrait composer avec les notions de décidabilité afin d'obtenir un compromis logique c'est-à-dire, exprimer la relation qui existe entre le monde réel et le monde abstrait afin d'avoir une condition d'invalidité ou de validité (vrai ou faux) en d'autres termes de la logique bivalente respectant les trois règles fondamentales de base qui sont propositions, connexion et négations exemple : "un ennéneract à 2 côtés" est une proposition mais qui est en l'occurrence fausse tandis que " comment ça marche " n'est pas une proposition ,mais peut le devenir à condition de préciser les conditions lui permettant de décider sa validité logique.
Ceci dit, deux propositions peuvent être équivalentes (logiquement), c'est-à-dire qui a la même valeur, mais attention, si par exemple X est un jumeau et qu'il possède la date de naissance de Y son frères alors ( X & Y ) les deux propositions sont vrai, soit simultanément vraies ou simultanément fausses, mais aussi juste fausses car ils ne sont pas née à la même seconde même minute, même heure ou juste vrai car , ils sont née le même jour ou juste vrai ou faux car ce sont de faux jumeaux.
Bref, sans aller trop loin pour ne pas faire du hors sujet ( entré dans le domaine de la IA, tautologie et anthologie qui d'ailleurs font partie de la décidabilité, les prédicats, les if, else ou faire un fort amalgame entre logique mathématique et algorithme de décidabilité complexe en informatique). Je te suggère d'essayer par toi-même d'élaborer ton propre raisonnement de décidabilité afin d'aboutir à un algorithme qui te fournira soit une affirmation ou une négation.
Attention, les tutoriels sont efficaces mais ils sont spécifiques à un cas donné le copier ou vouloir s'inspirer fortement créé de forte incompatibilité insoupçonné.
à bientôt
