...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Theory and Practice of Logic Programming >Updates in answer set programming: An approach based on basic structural properties
【24h】

Updates in answer set programming: An approach based on basic structural properties

机译：答案集编程中的更新：一种基于基本结构属性的方法

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

摘要

We have studied the update operator ⊕_1 defined for update sequences by Eiter et al. without tautologies and we have observed that it satisfies an interesting property. This property, which we call Weak Independence of Syntax (WIS), is similar to one of the postulates proposed by Alchourron, Gaerdenfors, and Makinson (AGM); only that in this case it applies to nonmonotonic logic. In addition, we consider other five additional basic properties about update programs and we show that ⊕_1 satisfies them. This work continues the analysis of the AGM postulates with respect to the ⊕_1 operator under a refined view that considers N_2 as a monotonic logic which allows us to expand our understanding of answer sets. Moreover, N_2 helped us to derive an alternative definition of ⊕_1 avoiding the use of unnecessary extra atoms.
机译：我们研究了Eiter等人为更新序列定义的更新算子⊕_1。没有重言式，我们观察到它满足一个有趣的特性。此属性，我们称为语法弱独立性（WIS），类似于Alchourron，Gaerdenfors和Makinson（AGM）提出的一种假设。仅在这种情况下，它适用于非单调逻辑。此外，我们考虑了有关更新程序的其他五个其他基本属性，并表明⊕_1满足它们。这项工作在细化的观点下将_2_1运算符的AGM假设分析继续进行，该观点认为N_2是单调逻辑，这使我们能够扩展对答案集的理解。此外，N_2帮助我们导出⊕_1的替代定义，从而避免使用不必要的多余原子。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号