一种用于自动监控约束时间行动之规范的框架
多智能体系统
2021-05-04 v1 人工智能
摘要
本文致力于提出一种规范模型及一个用于自动计算其违反或履行的框架。所提出的 T-NORM 模型可用于表达能够规范应在或不应在某时间间隔内执行的行动类别的抽象规范。我们展示了该模型如何用于形式化义务与禁止，并通过引入许可与豁免来抑制它们。规范说明的基本构建块由具有适当嵌套组件的规则组成。规范的激活条件、受规范约束的行动以及时间约束均使用 W3C Web Ontology Language (OWL 2) 来指定。得益于这一选择，可利用 OWL 推理来计算行动间逻辑蕴涵对规范履行或违反的影响。T-NORM 模型的操作语义通过为将每个规范及每个例外翻译为产生式规则提供明确无歧义的过程来指定。
引用
@article{arxiv.2105.00200,
title = {A Framework for Automatic Monitoring of Norms that regulate Time Constrained Actions},
author = {Nicoletta Fornara and Soheil Roshankish and Marco Colombetti},
journal= {arXiv preprint arXiv:2105.00200},
year = {2021}
}