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

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

Format :

HTML

URL de référence :

http://turing.cs.pub.ro/uvfphp/index.php

Notice mise en ligne le 15/07/2004