Téléchargement au format .pdf

Les hierarchies d'heritageetlaLDO 261
1.
.
4.
5. TYPIQUE(print. (Brest hyp.
(1 mars)))
6. non-pluvieux ( ? print. j) 2, reiter.
7. print. j (1 mars) 4, reiter.
8. print. j (Brest(1 mars)) 3, reiter.
9. non-pluvieux (Brest(1 6,8, R3.14
mars))
10. pluvieux (Brest(1 mars)) 3, reiter.
11. 9,10 contrad.
12. AT Y P IQUE(print.j)(Brest (1 mars))
Pour C2 :
1.
.
4.
5.x:= 1 mars a Brest, f : = un
jour a Brest, x= (f),
compatible
6. TYPIQUE(a Brest) (1 mars)
1-4,R3.3
Le deuxieme exemple montre qu'on a des deductions qui se font exclusivement
par les moyens de la construction : c'est ici l'apport de la LDO.
10.2 Les hierarchies d'heritage et la LDO
Nous presentons une formalisation logique des hierarchies d'heritage [Cro95] vis-
a-vis de la formalisation par la LDO.
10.2.1 La formalisation logique des hierarchies d'heritage
En intelligence articielle on designe par hierarchie d'heritage une classication
quelconque. Les hierarchies d'heritage sont denies en termes de graphes et
constituent des procedes techniques de stockage d'information. Leur construction