A proposed classification of intelligent manufacturing systems using consistency analysis

Abstract : A new classification of Intelligent Manufacturing Systems (IMS) based on consistency analysis is proposed. Through this approach, IMS can be initially classified into Declarative Manufacturing Systems(DMS), which are absolutely consistent manufacturing systems, and Descriptive Manufacturing Systems (D'MS), which the consistency of manufacturing systems have to be checked or verified. Furthermore two main types of DMS, Functional Manufacturing Systems (F'MS) and Relational Manufacturing Systems(RMS), are analyzed in detail using lambda calculus and predicate calculus, respectively. On the other hand the Touretzky's inheritance theory is used as an analytical tool for checking the consistency of D'MS. In summary, because different manufacturing systems use different mathematical tools, a category-theoric foundation of intelligent manufacturing systems is conjectured for the future research.
Type de document :
Rapport
[Research Report] RR-1225, INRIA. 1990, pp.10
Liste complète des métadonnées

https://hal.inria.fr/inria-00075333
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 17:59:34
Dernière modification le : samedi 17 septembre 2016 - 01:06:51
Document(s) archivé(s) le : mardi 12 avril 2011 - 22:36:45

Fichiers

Identifiants

  • HAL Id : inria-00075333, version 1

Collections

Citation

Gau Rong Liang. A proposed classification of intelligent manufacturing systems using consistency analysis. [Research Report] RR-1225, INRIA. 1990, pp.10. 〈inria-00075333〉

Partager

Métriques

Consultations de la notice

154

Téléchargements de fichiers

63