The Assembly Processes Automation Methodology According to the IEC 61499 Standard on the LEGO Example

This paper proposes a new approach to the 3D structures automating the assembly process. The approach that is designed allows you to verify assembly procedures by using formal predicate models. This uses Prolog’s logical output language, which can be self-deposed during execution. The proposed approach consists of four stages: processing the source data and building an ontological model, building a connection diagram and building a formal predicate model, converting the model into the Prolog program, and translating the program into a function block. The technologist, developing the assembly process technological map, forms the raw data. This data is converted into a connection scheme. The connection scheme is described in the Prolog as a fact set. Prolog also develops rules that allow you to verify and upgrade the 3D structures assembly. The facts resulting set is converted into function blocks that are embedded in the assembly management system. The proposed approach is tested using the LEGO assembly process example. #CSOC1120