The Paraconsistent Annotated Logic with annotation of two values (PAL2v) in the context of the Industry 4.0 - An Approach for the Cyber-Physical Systems (CPS)

Abstract

Regarding the global productive systems such as manufacturing industry (automotive, electronics, etc), they always have problems of contradictory ∕ inconsistent data information on their control systems. Even in service sector such as health care (eg. devices for health control), always there exist contradictory ∕ inconsistent data information to be considered for decision making. Therefore, in the context of the Industry 4.0, the contradictory ∕ inconsistent data information problem, certainly, happen into the Cyber-Physical Systems (CPSs). Inserted into the group of Non-Classical Logics, the Paraconsistent Annotated Logic with annotation of two values (PAL2v) presents conditions to compute contradictory signals without the conflict of information that invalidates the conclusions. Thus, this paper proposes a PAL2v to solve the contradictory ∕ inconsistent data information problem in the context of the Industry 4.0 as a decision learning approach for the CPSs. The findings of the two examples demonstrated that the experiments are really promising and the developed control systems based on PAL2v are suitable for the Industry 4.0 environment.

Key words: Paraconsistent Logic Controller, Paraconsistent Logic with annotation of two values (PAL2v), Industry 4.0, Cyber-Physical Systems (CPS).