Logic-algebraic method based and constraints programming driven approach to AGVs scheduling. (9th February 2009)

• Record Type: Journal Article
• Authors: Bocewicz, Grzegorz; Bach, Irena; Banaszak, Zbigniew A.
• Is Part Of: International journal of intelligent information and database systems. Volume 3:Number 1(2009)
• Page Start: 56
• Page End: 74
• Publication Date: 2009-02-09
• Subjects: AGV scheduling -- constraint satisfaction problem -- logic programming -- CLP -- deadlock avoidance -- fuzzy logic -- automated guided vehicles -- AGVs -- flexible manufacturing systems -- FMS -- collision avoidance; Database management -- Computer programs -- Periodicals; Information retrieval -- Computer programs -- Periodicals; Information storage and retrieval systems -- Computer programs -- Periodicals; Artificial intelligence -- Periodicals; Expert systems (Computer science) -- Periodicals; Intelligent agents (Computer software) -- Periodicals; 006.33
• Languages: English
• ISSNs: 1751-5858

Abstract

The subject matter of the study is the automated guided vehicle (AGV) operation synchronisation mechanisms in flexible manufacturing systems. The processes examination has to guarantee the collision-free and deadlock-free AGVs flow. The problem of determination of the rules coordinating access of the vehicles to the shared travel route intervals, ensuring the collision-free and deadlock-free execution of the repetitive processes was reduced to determination of the sufficient conditions of the form of a pair (initial state, a set of priority rules). In particular the problem of searching for a pair is defined in the form of the constraint satisfaction problem (CSP) and is solved with use of the logic programming techniques. The inference engine applied in the LAM is then easily implemented in a kind of constraint logic programming language. Proposed approach provides the framework allowing one to take into account both distinct, and imprecise data, in a unified way.