HAL Id: lirmm-00269647
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00269647
Submitted on 7 Jun 2019
HAL is a multi-disciplinary open access
archive for the deposit and dissemination of
sci-entific research documents, whether they are
pub-lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d’enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.
Modélisation de l’Acquisition de Connaissances par le
Dialogue entre Agents Cognitifs
Mehdi Yousfi-Monod, Violaine Prince
To cite this version:
(P ) (P → Q) (P ↔ Q) (P ) (Q)
(p(x) ∨ q(x) → r(x)) (p(x) → r(x)) (q(x) → r(x)) GΓ Γ (F1 F2) F1= P1 op1Q1 F2= P2 op2Q2 opi P1 P2 Q1 Q2 P1 Q2 P2 Q1 (F2 F1)
Γ1 t(z)∧ p(x) → q(y) r(x) → q(y) s(x) → r(y) q(a) r(b)
Γ2 t(z)∧ p(x) → q(y) r(x) → q(y) s(x) → u(y) q(a) u(b)
r(b) s(x) r(y) t(z) p(x) q(y) q(a) r(x) q(y) Γ1 t(z) p(x) q(y) q(a) s(x) u(y) u(b) r(x) q(y) Γ2
ω1 t(z)∧ p(x) → q(y) r(x) → q(y) q(a)
(humain(Jean))
(humain(x) → mortel(x))
(P → Q) (P ↔ Q) donne− connaissance(homme(x) → mortel(x))
(P ) (P → Q) (P ↔ Q)
demande− information(humain(Jean))
demande− information(humain(x) → mortel(x))
(V rai) (F aux) (Inconnu) donne− information(V rai)
(p(x) ↔ P ) (Inconnu)
donne− connaissance demande − explication demande/donne − exemple demande/donne− precision demande/donne − reformulation
Γ, A ⇒ B Γ ⇒ A ⊃ B B A A ⊃ B A⊃ B A B A B Γ ⇒ A et Γ ⇒ A ⊃ B Γ ⇒ B A A Γ, A ⇒ B et Γ, A ⇒ ¬B Γ ⇒ ¬A B A A
donne− connaissance(A) ⇒ A ⊢ T rue
A⊢ T rue
donne− information(A) equivalent a Aϵ[T rue, F alse, Unknown]
donne− explication(A) equivalent a (donne − information(P ), A ↔ P )
pj
F
pj
pi
donne− connaissance(humain(x) → mortel(x))
(animal(x)) (intelligent(x)) (parle(x)) dit− insatisfaction()
demande− information(animal(x)) donne− information(V rai)
demande− information(intelligent(x)) donne− information(V rai)
demande−information(parle(x)) donne− information(V rai)
(humain(x))
(animal(x)) (intelligent(x)) (parle(x))
Fonctionnels Rôles
...
Expliquer un prédicat Expliquer une implication
Dialogue : Stratégies Gestion de conflits Locale : ... Apprendre Enseigner Leçons : Monde Modèle de soi connaissances Base de Agent Élève Modèle de soi Base de connaissances Agent Maître Leçon à
enseigner Modèle de l’élève
Modèle du maître
Γ(agent) Γ(M) Γ(E) δ(M ) δ(M ) ⊂ Γ(M) Γ(M)
donne− connaissance(humain(x) → mortel(x)) dit− satisfaction()
donne− connaissance(humain(x) → vivant(x))
dit− satisfaction()
donne− connaissance(humain(x) → reproduit(x)) Γ(E) humain(x) → tuable(x) tuable(x)→ vivant(x) vivant(x)→ not(reproduit(x))
demande− information(humain(x) → tuable(x)) donne− information(Inconnu)
demande− information(tuable(x) → vivant(x)) donne− information(V rai)
demande− information(vivant(x) → not(reproduit(x)) donne− information(F aux)
(humain(x) → reproduit(x)) dit− satisfaction()
