Méthodes Permettant la Prédominance de Connaissances Subsumées

ISBN-13: 9783838188355 / Francuski / Miękka / 2012 / 168 str.

Sébastien Ramon

Opis

Ce livre s intéresse au problème pouvant se produire lors de l insertion dans un ensemble de connaissances d une information qui peut déjà en être déduite. Comment faire en sorte que cette nouvelle information vienne préempter les informations qui permettent son inférence ? Supposons par exemple qu un ensemble de prémisses contienne l information Si l interrupteur est enclenché alors la pièce est éclairée . Il est naturel d espérer que l ajout d une règle additionnelle, cohérente avec la première et en un sens plus précise que celle-ci, et qui exprime que Si l interrupteur est enclenché et si l ampoule n est pas cassée alors la pièce est éclairée , puisse venir la préempter. En effet, il ne doit plus être suffisant de savoir que L interrupteur soit enclenché pour en conclure que La pièce est éclairée : il faut aussi que L ampoule ne soit pas cassée . Nous adressons d abord cette question dans le cadre de la logique classique et ensuite dans un cadre plus général de représentation à base de logiques non monotones, et particulièrement de celles permettant la représentation de règles avec exceptions reposant sur des tests de cohérence.

O autorze

Né le 18 août 1983 à Bois-Bernard, Sébastien Ramon obtient le titre de Docteur en Informatique de l'Université d'Artois le 2 décembre 2011. Ses recherches se situent dans le domaine de l'Intelligence Artificielle symbolique et se concentrent précisément en Représentation des Connaissances et des Raisonnements à base de logique.