Agence universitaire de la Francophonie

Infothèque francophone
RESSOURCES EN LIGNE ET ACTUALITÉS
SCIENTIFIQUES FRANCOPHONES


6857 - Représentation logique des connaissances pour les agents intelligents

Ressource pédagogique

Description bibliographique

Auteur :
Florea, Adina Magda (UPB. Université Politehnica de Bucarest. Roumanie) ; Kayser, Daniel (Université de Paris-Nord Villetaneuse, Paris 13. Institut Galilée. LIPN. Laboratoire d'informatique de Paris-Nord. France) ; Pentiuc, Stefan Gheorghe (USM. Université Stefan Cel Mare. Faculté d'Ingénierie électrique. Suceava. Roumanie)
Éditeur :
UPB. Université Politehnica de Bucarest. Roumanie ; AUF. Agence universitaire de la Francophonie. Bureau Europe. Paris. France
Ressource AUF
Page source :
Groupe AI-MAS, Groupe Intelligence artificielle et systèmes multi-agents du département d'Informatiq, http://turing.cs.pub.ro/
Langue :
français
Date de publication :
1999/02

Description du contenu

Spécialité :
Electronique, informatique et télécommunications - Applications informatiques spécifiques - Intelligence artificielle
Mots clés :
langage ; système déductif ; correctitude ; complétude ; règle d'inférence ; système formel ; modèle modal ; moteur d'inférence ; chaînage ; logique d'ordre ; logique modale ; logique temporelle ; connaissance analytique ; connaissance contingante
Table des matières :
I - Modèles fondamentaux
1 - Notions de base
2 - Logique classique
3 - Logique modale
II - Modèle spécialisés
4 - Règles de production
5 - Connaissances représentables dans ces différents systèmes
6 - Logique des connaissances et des croyances
III - Agents et systèmes multi-agents
Résumé :
Ce cours en ligne est composé de 2 modules : un module Apprenant qui traite des différentes notions d'intelligence artificielle relative aux agents intelligents, et un module Evaluation qui permet de tester les connaissances acquises dans chacun des chapitres du 1er module. Il est complété par un forum de discussion. Les utilisateurs disposant d'un compte peuvent en outre obtenir des enseignants les corrigés de leurs exercices et disposer d'un historique de leurs interventions

Informations pédagogiques

Niveau d'études :
3e cycle
Pré-requis :
Etre spécialisé en développement informatique
Objectifs pédagogiques :
Etre capable de développer des applications distribuées avec la nouvelle technologie des agents intelligents.

Accès à la ressource

gratuit
Format :
HTML
URL de référence :
http://turing.cs.pub.ro/uvfphp/index.php

Notice mise en ligne le 15/07/2004