Formalismes (langages) de

reprsentation/formulation des
connaissances
Pense, Connaissance et leur
reprsentation
Chez lHumain, les connaissances sont-
elles reprsentes/formules dans un
langage interne; un langage de la
pense; un langage conceptuel ?
Chez lHumain, les connaissances, et
aussi la pense, les sentiments, les
motions, les objectifs, les actions, les
tches, sont communiques et
formules en langage naturel
La machine/ordinateur peut-il
reprsenter/formuler, communiquer et
recevoir les connaissances en langage
naturel ?
Besoin, pour la machine/ordinateur, dun
langage/formalisme (conceptuel et formel)
de reprsentation/ formulation des
connaissances aussi puissant que le
langage naturel (mais sans lambigut )
Formalismes (langages) pour la RC
Langages des propositions et des
prdicats
Rseaux smantiques et Graphe
Conceptuel
Classes et Frames
Processus,
Acteurs et Agents
etc.,
Langage des propositions
Focaliser sur la valeur de vrit de la proposition et
non sur le sens de la proposition.
Reprsenter une proposition par un symbole
Proposition simple:
Ex: La Terre est plate : P
Proposition compose:
Ex: La terre est ronde et La terre est une plante
(P Q); La terre nest pas ronde (P);
Si la pluie tombe de faon rgulire alors la
rcolte serait bonne (P Q)
Oprateurs logiques : Et (), Ou (v), Non (), .
Proposition/Phrase, Expression, Formule
Oprateurs logiques
Prcdence des oprateurs: la ngation,
ensuite la conjonction et la disjonction,
ensuite limplication.
Ex: E1 v E2 signifie (E1) v E2,
et non (E1 v E2)
Utiliser les parenthses pour viter toute
ambigit possible
Proprits des oprateurs
La conjonction et la disjonction sont
commutatives: E1 |v E2 E2 |v E1
Ils sont distributives:
E1 (E2 v E3) (E1 E2) v (E1 E3)
E1 v (E2 E3) (E1 v E2) (E1 v E3)
Ils sont associatives:
E1 (E2 E3) (E1 E2) E3
E1 v (E2 v E3) (E1 v E2) v E3
Loi de de Morgan:
(E1 E2) E1 v E2
(E1 v E2) E1 E2
E1 E2 E1 v E2


Valeur de vrit dune
proposition

Elle est donne pour une proposition
lmentaire, ou infre par le calcul/logique
des propositions (par infrence)
Elle est calcule pour une proposition
compose partir de la valeur de vrit des
propositions et des oprateurs logiques
Tables de vrit pour les oprateurs
Tables de Vrit pour certains
oprateurs
Langage des Propositions:
Conclusion

Le langage des propositions est appropri
pour modliser (en simplifiant) la logique,
et donc le raisonnement et linfrence
Et non pour modliser la smantique
(signification) des propositions (et donc les
connaissances concernant un domaine)

Langage des Prdicats
Les constituants du langage:
Les objets dun domaine sont reprsents par des
symboles (identifiants)
Les variables renvoient/rfrent/dsignent un objet parmi
un ensemble dobjets
Les variables permettent un niveau de gnralit et de gnricit trs
important
Les fonctions (pour une donne calcule)
Les prdicats pour reprsenter les proprits, les relations,
les actions, les vnements, les situations, etc.
Les oprateurs logiques
Les propositions/Phrases, expressions, formules
Langage beaucoup plus riche que le prcdent
Langage des Prdicats (suite)
Une proposition lmentaire est reprsente par un
prdicat: idPred(X1, , Xn); pere(hamza, hicham)
Les arguments dun prdicat sont des termes:
Les objets du domaine
Les variables (avec quantification | )
Les fonctions
Exemples:
X [On(A, x) Equal(x, Support(A))]



Langage des Prdicats (suite)
Une formule atomique est un prdicat
lmentaire
Un littrale est une formule atomique ou la
ngation dune formule atomique
Formule/Expression bien forme:
un littrale,
Des formules connectes par des oprateurs
logiques
Des formules entoures de quantificateurs
Une clause est une formule qui correspond
une disjonction de littraux

Interprtation/Smantique du
langage des Prdicats
Etablir une correspondance entre les composants
du langage (et en particulier de la proposition) et
les composants du monde (ou du domaine)
Les identifiants correspondent aux objets du monde
Les prdicats correspondent aux relations (ou proprits,
ou actions, ou situations ) entre les objets du monde
Les fonctions correspondent des fonctions sur les
objets du monde
La proposition est vraie si la correspondance
est vrifie
Langage des Prdicats et
Smantique du langage naturel
Jacques envoie un livre Marie
Envoi(jacque1, Marie4, Livre2)
Envoi(agnt(jacque1), dest(Marie), obj(Livre2))
Chaque homme se promne,
x (Homme(x) Promener(x))
Certains hommes se promnent
x (Homme(x) Promener(x))
Aucun homme ne se promne
( x (Homme(x) Promener(x)))
Jacques envoie quelque chose chacun
y x (Envoi(jacque1, x, y))

Exercice
1. Hamid tait un homme.
2. Hamid tait un Misratien.
3. Tous les Misratiens sont des Libyens.
4. Kaddafi tait le Dirigeant de la Libye.
5. Tous les Libyens taient soit loyaux Kaddafi
soit ils le dtestaient.
6. Chacun est loyale quelquun.
7. Les gens essaient dassassiner seulement les
dirigeants pour qui ils ne sont pas loyaux.
8. Hamid a essay dassassiner Kaddafi.
Solution de lExercice
homme(Hamid). // et le pass ?
misratien(Hamid).
x misratien(x) libyen(x).
dirigeant(Kaddafi, Libye).
x libyen(x) loyal(x, Kaddafi) v deteste(x, Kaddafi).
//ou exclusif ou inclusif ?
x y loyal(x, y). // tous les gens x sont loyaux une
(et mme) personne y ? Ou tous les gens sont
loyaux une personne y (qui peut tre diffrente) ?
x y personne(x) dirigeant(y, p)
essaiAssassiner(x, y) loyal(x, y)
Langage des Prdicats:
Conclusion
Il a t utilis pour reprsenter la smantique
(des phrases) du langage naturel
Et pour reprsenter aussi la smantique des
langages formels (comme le langage des
requtes dune BD, ou la smantique
formelle dun algorithme, ou la spcification
formelle des besoins pour un logiciel, etc.)
Et pour reprsenter les connaissances
Trs utilis pour modliser la logique

Rseau Smantique
Rappel: Une proposition dcrit un tat ou
une situation
Elle concerne des entits ou catgories
dentits ainsi que les relations entre ces
entits
=> Ressortir les entits et leures catgories
=> Mieux ressortir les relations entre les
entits
Rseaux Smantiques (RS)
Exploiter la connexit dun graphe pour
reprsenter la connexit entre les entits:
Souvent, une situation serait dcrite par une
conjonction de prdicats qui partagent des
arguments en commun.
P(x, y, z) et Q(y, w, z, r) et R(x, r)
La connexit est implicite dans la formulation
en prdicats.
RS : ensemble de concepts relis par des
relations.
Rseau smantique
Formulation dune proposition


Tatouage
bras
Chine
Wilson
est-sur
Fait-en
A-un
A-Un(Wilson, Tatouage) ET Fait-En(Tatouage, Chine)
ET Est-Sur(Tatouage, Bras)

Tatouage(x) ET Bras(y) ET A-Un(Wilson, x) ET Fait-
En(x, Chine) ET Est-Sur(x, y)
Rseau smantique
Formulation dune proposition


Tatouage
bras
Main
2
Grande
Chine
Wilson
Homme
Personne
Corps
condition
qtite
qtite
est-sur
Fait-en
A-un
Est-un
Est-un
A-un
Rseau smantique
Information gnrale
Hritage via
le lien isa
Phrase 1 : Jacques crit un livre, Phrase 2 : Jacques envoie ce livre Marie
Phrase 3 : Marie lit le livre. Sens et Contexte
Rseaux Smantiques (RS)
Un RS est utilis pour reprsenter :
Une proposition,
Un tat,
Une action,
Une situation,
Une question,
le sens dune phrase,
Des Structures Conceptuelles,
le sens dun paragraphe, dun texte
Information gnrale (hirarchie des catgories,
instanciation des catgories, dfinitions, ), sens
commun, etc.
Programmation Oriente Objet:
Intgration Dclaratif/Procdural

Classes, Objets/Instances
Classes: Attributs et Mthodes
Hirarchie de Classes, Hritage
Programmation par envoi/reception de
messages
Frames
Frame: structure dynamique =
slots/attributs Fillers (Facettes)
Rflexes/Daemons
(frame
(attribut1
(facette11 valeur11)
(facette 12 valeur12)
)
(attribut2
(facette21 valeur21)
(facette22 valeur22)
)
)
Les attributs dcrivent les diffrentes
Proprits du concept reprsent.
Un attribut est son tour dcrit par un
certain nombre de facettes qui expriment
des modalits descriptives ou
comportementales, reprsentant diffrents
points de vue sur lattribut.

Les facettes servent non seulement
dcrire la nature de linformation que
lattribut contient, mais aussi prciser
comment la calculer ou lutiliser.

La valeur dun slot peut correspondre
elle-mme un frame.
Exemple
Facettes dclaratives &
procdurales
Facettes dclaratives
$un
$liste-de
$domaine
$intervalle
$valeur
$defaut
Facettes dclaratives &
procdurales
Facettes procdurales et rflexes
Elles se dclenchent lors des accs aux
attributs; elles ragissent aux accs, do le
nom de rflexes (ou attachement procdural).
Rflexes priori : activs avant la
modification de la valeur dun attribut, comme
$si-besoin et $si-possible qui vrifie la validit
de la valeur qui doit tre affecte lattribut.
Rflexes posteriori : activs aprs
modification dune valeur, comme $si-ajout et
$si-enleve

Exemple #2
x|DAY
year : (y|INTEGER)
Month : (when-filled (check MONTH))
day : (when-filled (check-day))
day-of-week : (to-fill (get-day-of-week))

Frames #2 (suite)
Instance :
DAY 124
self : (ELEMENT-OF DAY)
year : 1981
month : 8
day : 3
day of week : MONDAY
Programmation par accs &
Systme de Frames

Programmation par accs
Les frames sont gnralement organiss
en une hirarchie de frames avec hritage

(Buy has (superclasses (Event)))

(every Buy has
(buyer ((a Agent)))
(seller ((a Agent)))
(object ((a Thing)))
(money ((the cost of (the object of Self))))
(subevent (
(a Give with
(agent ((the buyer of Self)))
(object ((the money of Self)))
(recipient ((the seller of Self))))))
(a Give with
(agent ((the seller of Self)))
(object ((the object of Self)))
(recipient ((the buyer of Self)))))))
"All buy events have
- a buyer and a seller
(both of type agent)
- an object which is bought
- some money equal to the
cost of the object
- two `give' subevents, in which:
1. The buyer gives the money
to the seller
2. The seller gives the object
to the buyer.''

English
KM
Exemple de frame en Knowledge Machine (KM),
pour la classe/concept/catgorie Buy

Langages Terminologiques:
Logique Descriptive

Intgration de:
Logique des prdicats
Rseaux smantiques
Programmation Oriente Objet
Frames

Famille des Langages
Terminologiques

Hirarchie des concepts et des rles
Concepts
Attributs = Rles
Contraintes sur les rles
Cardinalit
Type de valeur
Logique Descriptive
Une logique de description fournit des primitives
pistmologiques (primitives de reprsentation) :
Des concepts,
Des rles,
Des oprations (and, or, not, some, all, atleast,
atmost) sur ces lments primitifs du langage,
Un mcanisme de classification fond sur la relation de
subsumption entre concepts ou rles.
Induit gnralement un graphe orient sans circuit entre
les concepts et entre les rles.
Exemple Hirarchie de Concepts
Exemple - Dfinitions
(1,nil): au moins 1
Restriction de la cardinalit
Dfinitions (suite)
Restriction du role
Description dun Individu
Classification