使用归纳学习的规范设计
Normative design using inductive learning
摘要：
在本文中，我们提出了一个用例驱动的迭代设计方法的规范框架，也称为虚拟机构，这是用来管理开放系统。我们的计算模型表示的规范框架下的回答集语义（ASP）的逻辑程序。通过使用ASP实现的归纳逻辑程序设计方法，可以合成新规则并修改现有规则。学习机制由设计者指导，设计者通过用例描述框架的期望属性，包括（i）捕获可能场景的事件跟踪，以及（ii）描述期望结果的状态。然后，学习过程提出额外的规则，或对当前规则的更改，以满足用例中表达的约束。因此，本文件的贡献是通过一个半自动和反复的过程，从规范（不）可取的行为驱动的一个过程，制定和修订一个规范性框架。该过程集成了一个新的和通用的方法，基于ASP的理论修订。
英文摘要：
In this paper we propose a use-case-driven iterative design methodology for normative frameworks, also called virtual institutions, which are used to govern open systems. Our computational model represents the normative framework as a logic program under answer set semantics (ASP). By means of an inductive logic programming approach, implemented using ASP, it is possible to synthesise new rules and revise the existing ones. The learning mechanism is guided by the designer who describes the desired properties of the framework through use cases, comprising (i) event traces that capture possible scenarios, and (ii) a state that describes the desired outcome. The learning process then proposes additional rules, or changes to current rules, to satisfy the constraints expressed in the use cases. Thus, the contribution of this paper is a process for the elaboration and revision of a normative framework by means of a semi-automatic and iterative process driven from specifications of (un)desirable behaviour. The process integrates a novel and general methodology for theory revision based on ASP.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
