|
Sémantique des représentations de connaissance:
Resources disponibles
Support de cours
Le polycopié complet du cours peut être consulté
ici.
Toute remarque sur celui-ci est la bienvenue.
Quelques transparents de présentation des logiques de description
sont également disponibles.
Textes complémentaires
Logiques terminologiques
Le cours s'appuie principalement sur la première partie de la
thèse de Bernhard Nebel:
Reasoning and revision in hybrid representation systems,
Lecture notes in computer science 422, 1990.
On peut aussi consulter la longue introduction aux logiques
terminologiques
que constitue: Amedeo Napoli, Une
introduction aux logiques de descriptions, Rapport de recherche
3314,
INRIA Lorraine, Nancy (FR), 1997.
Graphes conceptuels
On peut consulter l'ouvrage fondateur de John Sowa: Conceptual
structures: information processing in mind and machine,
Addison-Wesley, Readings (MA US), 1984
Une très breve, mais claire, introduction est celle d'Eileen
Way: Conceptual graph overview, Journal of experimental and
theoretical artificial intelligence 4(2):75-84, 1992
Le cours s'appuie sur l'article de Michel Chein et Marie-Laure
Mugnier:
Conceptual graphs: fundamental notions, Revue d'intelligence
artificielle 6(4):365-406, 1992
Psi-termes
Le cours s'appuie principalement sur l'article d'Hassan Aït-Kaci
et Andreas Podelski:
Towards a meaning of LIFE, Journal of logic programming
16(3-4):195-234, 1993.
On peut aussi consulter Gerd Smolka: Feature constraint logics for
unification grammars, Journal of logic programming
12(1-2):324-343, 1992
et le site Simon Fraser
university
Logiques d'objets
Cette partie n'est pas developpée dans cette version du
cours.
Il y a plusieurs choix possibles pour introduire une logique d'objets:
- soit Michael Kifer, Georg Lausen, James Wu: Logical foundations of object oriented and
frame-based languages, Journal of the ACM 42(4):741-843,
1995,
- soit Martin Abadi, Luca Cardelli, A theory of objects,
Springer-Verlag, New-York (NY US), 1996, dont une version très
primitive se trouve
ici,
- soit Roland Ducournau, Des langages
d'objets aux logiques de descriptions: les systèmes
classificatoires, Rapport de recherche, LIRMM, Montpellier (FR),
1996
http://exmo.inrialpes.fr/teaching/src/resources/
Maintenu par Jerome .
Euzenat À inrialpes . fr; 8/10/98
|