Discussion :

[javast]

bonjour,
Je dois représenter l'ensemble des règles de ma base sous forme normale conjonctive (FNC),
d'après le cours le FNC de a => b et ¬a U b, donc je voudrais savoir pour une règle telle que a,b,c ==> j, est ce qu'on va présenter le FNC de cette règle de la manière suivante ¬(a,b,c)==> j ou bien ¬a ˄ ¬b ˄ ¬c==>j ??

Merci

[Trap D]

Applique les règles de transformation :
a => b donne ¬a U b
donc
a,b,c => j donne ¬(a,b,c) U j

¬(a,b,c) donne ...

[javast]

Applique les règles de transformation :
a => b donne ¬a U b
donc
a,b,c => j donne ¬(a,b,c) U j

¬(a,b,c) donne ...

Ok, thanks

[javast]

Applique les règles de transformation :
a => b donne ¬a U b
donc
a,b,c => j donne ¬(a,b,c) U j

¬(a,b,c) donne ...

re,
J'ai une deuxième question par rapport au FNC
Soit la base suivante
0 -> a
b -> f
d -> b
a,c -> e
b,e -> d
On souhaite répondre à la question "e" à partir du fait initial "c" .
Il faut représenter la question sous forme FNC
au fait on a pas dans la base une règle c -> e, donc comment on va faire le FNC

Merci d'avance

[Trap D]

Attention, je ne suis pas un théoricien et il se peut que je me trompes !

On souhaite répondre à la question "e" à partir du fait initial "c".

Qu'entends-tu pas à partir du fait initial "c", qu'il est connu vrai ou faux ou uniquement vrai ?

[javast]

Attention, je ne suis pas un théoricien et il se peut que je me trompes !
Qu'entends-tu pas à partir du fait initial "c", qu'il est connu vrai ou faux ou uniquement vrai ?

Si c'est un fait initial, c'est qu'il est vrai

[Trap D]

Dans ce cas, puisque a est vrai ta règle a,c -> e se réduit à c -> e

[javast]

Dans ce cas, puisque a est vrai ta règle a,c -> e se réduit à c -> e

Donc le FNC de c -> e ça sera ¬(c) U e

[Trap D]

A mon avis oui, mais toujours sans garantie.