Skip to Main content Skip to Navigation

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.
Document type :
Complete list of metadata
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 5:59:34 PM
Last modification on : Friday, February 4, 2022 - 3:23:53 AM
Long-term archiving on: : Tuesday, April 12, 2011 - 10:36:45 PM


  • HAL Id : inria-00075333, version 1



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



Record views


Files downloads