Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00075333
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 5:59:34 PM
Last modification on : Thursday, February 11, 2021 - 2:48:12 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 10:36:45 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

173

Files downloads

85