Aller au menu Aller au contenu
Une voie, plusieurs choix
Informatique et Mathématiques appliquées
Une voie, plusieurs choix

> Formation > Cursus ingénieur

Inference in Computer Science and in Artificial Intelligence

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In
  • Number of hours

    • Lectures : 18.0
    • Tutorials : 18.0
    ECTS : 2.5

Goals

Inference in its different forms (deductive, inductive, probabilistic, abductive,_) pervades almost all the human activities.
Different logics systematize inference by using elementary rules schemata, in order to convey information.
Applications of automated inference are numerous in Computer Science (particularly in Artificial Intelligence). The main goal of the course is to present a large variety of logics using a unified approach, with special emphasis in expressiveness and logic automation.

Contact Mnacho ECHENIM

Content

Inference, proofs, verification, models. Consequence relation. Non-consequence. Classical logic. Some decidable classes. Subsumption. Generalisation. Equality. Second order logic. Modal logics. Possible worlds semantics. Epistemic logics. Temporal logics. Many-valued and fuzzy logics. Constraint logic programming.



Prerequisites
Nothing

Tests

Personal projects with oral presentations.

N1=P1
N2=P2 si P1<12

Additional Information

Curriculum->ENGINEERING systm of information->Semester 4

Bibliography

Polycopié du cours (contenant problèmes avec solutions) et bibliographie spécifique en rapport avec les projets individuels.

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In
French
Grenoble INP - Ensimag
École nationale supérieure d'informatique et de mathématiques appliquées
681, rue de la passerelle - Domaine universitaire - BP 72
38402 SAINT MARTIN D'HERES
 
 
République Française         Groupe INP
    Université Grenoble Alpes