Langage de regles et moteur d'inferences bases sur des contraintes et des actions : application aux reseaux de petri

Rule language and inference engine based on constraints and actions. Application to petri nets

• Auteur / Autrice : Nicolas Beldiceanu
• Direction : CLAUDE GIRAULT
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1988
• Etablissement(s) : Paris 6

Mots clés

Mots clés libres

Sciences appliquees

Informatique, automatique theorique, systemes

These

Intelligence artificielle

Representation connaissances

Moteur inference

Regle production

Systeme expert

Reseau petri

Classification

Thesis

Artificial intelligence

Knowledge representation

Inference motor

Production rule

Expert system

Petri net

Classification

Résumé

Le langage presente sert de base a un systeme expert de deduction de proprietes des reseaux de petri