发帖
雷达卡
摘要翻译：
过去对ASP的研究主要集中在理论、ASP求解器技术和应用等方面，而目前的工作是在一个新的研究趋势背景下进行的：对ASP的开发支持。特别是，我们建议用一种专用的注释语言LANA表示的附加元信息来增加答案集程序。这种语言允许将规则分组为一致的块，并为这些块指定语言签名、类型、前置和后置条件以及单元测试。虽然这些注释对ASP求解器是不可见的，因为它们采取程序注释的形式，但它们可以被用于文档、测试和验证目的的工具解释，并通过实现语法检查或代码完成功能来消除常见编程错误的来源。为了演示它的多功能性，我们介绍了两个这样的工具，即。(i)ASPDOC，用于基于注释信息为程序生成HTML文档；(ii)ASPUNIT，用于运行和监视程序块上的单元测试。LANA也在基于Eclipse的ASP集成开发环境SeaLion系统中得到了应用。出现在逻辑程序设计理论与实践中
---
英文标题：
《Annotating Answer-Set Programs in LANA?》
---
作者：
Marina De Vos, Do\u{g}a Gizem K{\i}za, Johannes Oetsch, J\"org
P\"uhrer, Hans Tompits
---
最新提交年份：
2012
---
分类信息：
一级分类：Computer Science 计算机科学
二级分类：Software Engineering 软件工程
分类描述：Covers design tools, software metrics, testing and debugging, programming environments, etc. Roughly includes material in all of ACM Subject Classes D.2, except that D.2.4 (program verification) should probably have Logics in Computer Science as the primary subject area.
涵盖设计工具、软件度量、测试和调试、编程环境等。大致包括ACM所有主题课程D.2的材料，除了D.2.4（程序验证）可能应该有计算机科学中的逻辑作为主要主题领域。
--
一级分类：Computer Science 计算机科学
二级分类：Artificial Intelligence 人工智能
分类描述：Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域，除了视觉、机器人、机器学习、多智能体系统以及计算和语言（自然语言处理），这些领域有独立的学科领域。特别地，包括专家系统，定理证明（尽管这可能与计算机科学中的逻辑重叠），知识表示，规划，和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--
---
英文摘要：
While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology, and applications, the present work situates itself in the context of a quite recent research trend: development support for ASP. In particular, we propose to augment answer-set programs with additional meta-information formulated in a dedicated annotation language, called LANA. This language allows the grouping of rules into coherent blocks and to specify language signatures, types, pre- and postconditions, as well as unit tests for such blocks. While these annotations are invisible to an ASP solver, as they take the form of program comments, they can be interpreted by tools for documentation, testing, and verification purposes, as well as to eliminate sources of common programming errors by realising syntax checking or code completion features. To demonstrate its versatility, we introduce two such tools, viz. (i) ASPDOC, for generating an HTML documentation for a program based on the annotated information, and (ii) ASPUNIT, for running and monitoring unit tests on program blocks. LANA is also exploited in the SeaLion system, an integrated development environment for ASP based on Eclipse. To appear in Theory and Practice of Logic Programming
---
PDF链接：
https://arxiv.org/pdf/1210.2195
京公网安备 11010802022788号
