Religions du monde :: forum religion

Pour le calcul de propositions il y a semble-t-il plus simple:


Exemple:

Base de règles donnée:

A => B
(C et D) => A
non E => D
E => A

transcription:

A => B __________________ <=> (1): non A ou B
(C et D) => A ____________ <=> (2): A ou non C ou non D
non E => D ______________ <=> (3): E ou D
E => A __________________ <=> (4): non E ou A

prolifération-élimination:

(2) + (1) = (5): B ou non C ou non D
___ (5) + (3) = (6): B ou non C ou E
_______ (6) + (4) = (7): A ou B ou non C
___________ (7) +(1) = (8): B ou non C -----------------> on élimine (5), (6) et (7)

(1): (non A) ou B
(2): A ou non C ou non D
(3): E ou D
(4): non E ou A
(8): B ou non C

(2) + (3) = (9): A ou non C ou E
___ (9) + (4) = (10): A ou non C -----------------> on élimine (2) et (9)

On optient une nouvelle base de règles complète cette fois (compilation):

(1): non A ou B
(3): E ou D
(4): non E ou A
(8): B ou non C
(10): A ou non C

Soit:

A => B
C => A
E => A
non A => non E
non B => non A
non B => non C
non C => non A
non E => D
non D => E

Schéma:
___________________________________________________
___________________________________________________
_ " __ ------------- non E ou B __________________________
D ou E ------------- non E ou A ------------ non A ou B _______
_______________ non C ou A ------------- ___ " __________
__________________ D ou A ------------- ____ " ___________
___________________________________________________
__________________ B ou D __________________________
___________________________________________________
_________________ B ou non C ________________________
___________________________________________________



----------> Le souci c'est la prolifération des règles avant compilation... (On se retrouve dans la problématique P - NP)

on a plus à ce soucier des regles de bases à partir du moment où elles sont respectées

algèbre de Boole généralisé

à présent est ce que tu voit avec mon explication du comment je traite ça sur les relatifs ?

(il y a que le non logique que j'ai pas expliqué c'est plus compliqué mais je reviendrai completer ce qui manque il faut utiliser le théorème de De Morgan pour le traiter

Et bien moi je m'en soucie fort car il y a un problème de "chaînage avant" quand on travaille avec une base de règles incomplète.

En I.A. et en systèmes experts c'est capital.

on parle pas de la même chose J'M'Interroge ... mais tkp tu verra mieux quand je serai arrivé à la logique différentielle

ça avance ...faut juste être un peu patient

ce topic là algèbre de Boole généralisé

est daté du mois de Janvier et tu vois comment onze mois passent vite

salut J'M'Interroge justement je viens juste de terminer comme ça tu vois ce que je voulais dire

et là tout est bien expliqué comment on arrive à faire de la logique non binaire sur un ensemble infini dénombrable de valeurs de vérité

ici -> http://www.ilemaths.net/sujet-algebre-d ... 8.html#fin

Un nombre de valeurs de vérités supérieurs à 2 n'est utile que dans une théorie logique ambiguë.