Extended multi-adjoint logic programming arises as an extension of multi-adjoint normal logic programming where constraints and a special type of aggregator operator have been included. The use of this general aggregator operator permits to consider, for example, different negation operators in the body of the rules of a logic program. We have introduced the syntax and the semantics of this new paradigm, as well as an interesting mechanism for obtaining a multi-adjoint normal logic program from an extended multi-adjoint logic program. This mechanism will allow us to establish technical properties relating the different stable models of both logic programming frameworks. Moreover, it makes possible that the already developed and future theory associated with stable models of multi-adjoint normal logic programs can be applied to extended multi-adjoint logic programs.

翻译：扩展多伴随逻辑程序设计作为多伴随正规逻辑程序设计的扩展而出现，其中引入了约束和一类特殊的聚合算子。使用这种通用聚合算子允许在逻辑程序规则体中考虑不同的否定算子，例如。我们引入了这一新范式的语法和语义，以及一种从扩展多伴随逻辑程序获得多伴随正规逻辑程序的有趣机制。该机制将使我们能够建立关联两种逻辑程序设计框架不同稳定模型的技术性质。此外，它使得已发展的及未来关于多伴随正规逻辑程序稳定模型的理论能够应用于扩展多伴随逻辑程序。