Méthodes Permettant la Prédominance de Connaissances Subsumées - Ramon, Sébastien
38,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
  • Broschiertes Buch

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…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.
Autorenporträt
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.