...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Fuzzy sets and systems >Extended multi-adjoint logic programming
【24h】

Extended multi-adjoint logic programming

机译：扩展的多伴随逻辑编程

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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. (C) 2019 Elsevier B.V. All rights reserved.
机译：扩展的多伴随逻辑编程是对多约束常规逻辑编程的扩展，其中包含了约束和特殊类型的聚合运算符。使用此通用聚合运算符可以在逻辑程序规则的主体中考虑例如不同的求反运算符。我们介绍了此新范例的语法和语义，以及从扩展的多伴随逻辑程序中获取多伴随正常逻辑程序的有趣机制。这种机制将使我们能够建立与两个逻辑编程框架的不同稳定模型相关的技术属性。而且，有可能将与多伴随普通逻辑程序的稳定模型相关联的已经发展和未来的理论应用于扩展的多伴随逻辑程序。 （C）2019 Elsevier B.V.保留所有权利。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号