用时序规则扩展承诺协议：原因与方式
人工智能
2015-03-19 v1
摘要
Elisa Marengo 的博士论文提案旨在扩展承诺协议，以显式地考虑时序规则。这一扩展将满足两个需求：(1) 允许以灵活、模块化的方式表示施加于交互之上、具有规范力的时序规则，从而能够表示惯例、法律等；(2) 允许承诺复杂的条件，这些条件不仅描述将要达成什么，还在一定程度上描述如何达成。这两个方面将在统一框架的提案中得到深入研究，该框架是正在进行的工作的一部分，并将纳入论文中。
引用
@article{arxiv.1107.2086,
title = {Extend Commitment Protocols with Temporal Regulations: Why and How},
author = {Elisa Marengo and Matteo Baldoni and Cristina Baroglio},
journal= {arXiv preprint arXiv:1107.2086},
year = {2015}
}
备注
Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI), pages 1-8 (arXiv:1107.1686)