Immediate consequences operator through ordered weighted average operators

The immediate consequences operator has been a widely studied and used operator for defining the semantics of a logic program. For instance, it has been considered in the fuzzy case for handling datasets with imperfect, imprecise or vague information. The natural generalization of this operator to the mentioned fuzzy framework is based on the supremum operator, which preserves the strict nature of the universal quantifier. As a consequence, errors in the data, which are usual in the uncertainty environment of the considered dataset, can cause loss of information. This is the main reason why this paper makes different generalizations of this operator by using weighted aggregation operators and introducing interesting results.