A proposed classification of intelligent manufacturing systems using consistency analysis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1990

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.
Fichier principal
Vignette du fichier
RR-1225.pdf (721.29 Ko) Télécharger le fichier

Dates and versions

inria-00075333 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00075333 , version 1

Cite

Gau Rong Liang. A proposed classification of intelligent manufacturing systems using consistency analysis. [Research Report] RR-1225, INRIA. 1990, pp.10. ⟨inria-00075333⟩
90 View
38 Download

Share

Gmail Facebook Twitter LinkedIn More