ASP Encodings of Acyclicity Properties
ASP Encodings of Acyclicity Properties
复制标题
非循环属性的 ASP 编码
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
J. Rintanen
中科院分区：
文献类型：
--
作者：
M. Gebser;T. Janhunen;J. Rintanen
许多知识表示任务涉及树木或类似的结构与抽象数据类型。但是，设计这种性质的紧凑和有效的声明性表示并不明显，确实可能具有挑战性。在本文中，我们考虑了无环属性，并研究基于逻辑的方法以编码它们。我们使用答案集编程作为主要表示语言，但也将映射到相关的形式主义，例如命题逻辑，差异逻辑和线性编程。
Many knowledge representation tasks involve trees or similar structures as abstract datatypes. However, devising compact and efficient declarative representations of such properties is non-obvious and can be challenging indeed. In this paper, we take acyclicity properties into consideration and investigate logic-based approaches to encode them. We use answer set programming as the primary representation language but also consider mappings to related formalisms, such as propositional logic, difference logic, and linear programming.