Discussion :

[Fused]

hello !

Ce n'est pas vraiment de l'algo mais ça s'applique à l'IA donc je poste ça ici.

J'ai fais un système expert qui résous des problèmes de logique simple.

J'aimerai enrichir un monde pour voir si tout ça marche bien, pour l'instant j'ai fais ça :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
GAZELLE => HERBIVORE
GUEPARD => CARNIVORE
 
ANIMAL
HERBIVORE => ANIMAL
CARNIVORE => ANIMAL
 
FAIM ET CARNIVORE => CHASSE
FAIM ET HERBIVORE => BROUTTE
 
ANIMAL ET SOIF => EAU
SOIF => MARE
MARE ET PLUIE => EAU
PLUIE => EAU
 
BRUIT => DANGER
DANGER => FUIR

J'ai peu d'inspiration pour écrire d'autres règles. Vous avez des idées ? Ou d'autres mondes déjà plus riches ?

Merci

[laoshu]

hello !

Ce n'est pas vraiment de l'algo mais ça s'applique à l'IA donc je poste ça ici.

J'ai fais un système expert qui résous des problèmes de logique simple.

J'aimerai enrichir un monde pour voir si tout ça marche bien, pour l'instant j'ai fais ça :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
GAZELLE => HERBIVORE
GUEPARD => CARNIVORE
 
ANIMAL
HERBIVORE => ANIMAL
CARNIVORE => ANIMAL
 
FAIM ET CARNIVORE => CHASSE
FAIM ET HERBIVORE => BROUTTE
 
ANIMAL ET SOIF => EAU
SOIF => MARE
MARE ET PLUIE => EAU
PLUIE => EAU
 
BRUIT => DANGER
DANGER => FUIR

J'ai peu d'inspiration pour écrire d'autres règles. Vous avez des idées ? Ou d'autres mondes déjà plus riches ?

Merci

Ce qui suit est peut-être un peu hors-sujet, mais si tu veux modéliser des connaissances générales et tu veux éviter de réinventer la roue, tu peux aller voir par exemple, la base de connaissances OpenCyc \ Cyc qui contient des centaines de milliers de termes et des millions d'assertions sur le monde en général... Il existe aussi des ontologies sur des domaines particuliers comme en médecine qui définissent des sortes de taxonomies.

Une remarque à propos de ton exemple : dans ton exemple, je vois à la fois des liens d'instanciation ou d'héritages entre concepts/classe/instances comme par exemple herbivore et animal et à la fois des règles qui prescrivent des actions à prendre comme danger => fuir. Une idée intéressante serait que tu distingue ces deux types de connaissances en utilisant autre chose que des => comme opérateur. Tu pourrais utiliser plusieurs opérateur ou bien séparer complètement ces deux types de connaissances. En psychologie cognitive, il y a une distinction intéressante entre connaissances déclaratives (ex : concepts) et connaissances procédurales.

[Fused]

Merci pour ta réponse, je vais regarder ces bases de connaissances.

Je n'ai utilisé que des formules avec => car je dois utiliser seulement des clauses des Horn.

Ce n'est pas comme si je me limitais, mais avec les règles de logiques, j'ai tout avec ça.

A => B equivalent à (non A OU B), etc.