La lecture en ligne est gratuite
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres
Télécharger Lire

These-Presentation

66 pages
1/43Étude de la connaissance dans le cadred’observations partielles :La logique de l’observationOlivier BrunetINRIA Rhône Alpesobrunet@inrialpes.frIntroduction2/43?Introduction2/43?Exemple préliminaireAlbert, Benoit et Céline sont côte à côte au cinéma.Comment s’assoient ils ?3/43Exemple préliminaireAlbert, Benoit et Céline sont côte à côte au cinéma.Comment s’assoient ils ?3/43Céline ne s’intéresse qu’à sa place :“Je ne suis pas à la place 3”, “Je suis à la place 2”Exemple préliminaireAlbert, Benoit et Céline sont côte à côte au cinéma.Comment s’assoient ils ?3/43Céline ne s’intéresse qu’à sa place :“Je ne suis pas à la place 3”, “Je suis à la place 2”Albert veut savoir s’il est à côté de Céline :“Je ne suis pas à côté d’elle”, “Elle est à ma gauche” ApplicationsInformatique distribuéeL’information est répartie entre plusieurs points.4/43Intelligence artificielleCommunication dans les systèmes multi agents.Représentation de connaissances.Analyse de programmesL’état en un point du programme est une description partielle. Sciences expérimentalesLa connaissance provient d’observations partielles.Idée directrice5/43Toute connaissance provient constructivement d’observations.Idée directrice5/43Toute connaissance provient constructivement d’observations.Deux conséquences simples :L’absence d’observation n’apporte ...
Voir plus Voir moins

Vous aimerez aussi

Étude de la connaissance dans d’observations partielles : La logique de l’observation
Olivier Brunet
INRIA Rhône-Alpes obrunet@inrialpes.fr
le
cadre
1/43
Introduction
2/43
Exemple
préliminaire
Albert, Benoit et Céline sont
Comment
s’assoient-ils
?
côte-à-côte
au
cinéma.
3/43
Applications
Informatique distribuée
L’information est répartie entre plusieurs points.
Intelligence articielle
Communication dans les systèmes multi-agents. Représentation de connaissances.
Analyse de programmes
L’état en un point du programme est une description partielle.
Sciences expérimentales
La connaissance provient d’observations partielles.
4/43
Idée
directrice
Toute
connaissance
provient
constructivement
d’observations.
5/43
Plan
Présentation du contexte
Formalisation algébrique
–Systèmes de représentation –Traduction logique
Étude de la logique sous-jacente
–Dénition deOL –Axiomes non valides –L’axiome de la connaissanceT:Kiϕϕ
Crise de la connaissance
–Absence nécessaire deT –Objectivité
6/43
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin