Extend Commitment Protocols with Temporal Regulations: Why and How

The proposal of Elisa Marengo's thesis is to extend commitment protocols to explicitly account for temporal regulations. This extension will satisfy two needs: (1) it will allow representing, in a flexible and modular way, temporal regulations with a normative force, posed on the interaction, so as to represent conventions, laws and suchlike; (2) it will allow committing to complex conditions, which describe not only what will be achieved but to some extent also how. These two aspects will be deeply investigated in the proposal of a unified framework, which is part of the ongoing work and will be included in the thesis.Comment: Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI), pages 1-8 (arXiv:1107.1686

Special Issue

n/

Reasoning about Social Relationships with Jason

Abstract. This work faces the problem of enabling an approach to agent programming, which allows agents to seamlessly manage and work both on social relationships and on abstractions which typically characterize agents themselves, like goals, beliefs, intentions. A similar approach is necessary in order to easily develop Socio-Technical Systems and provides a basis for carrying on methodological studies on system engineering. The paper presents an extension of JaCa(Mo) in which Jason agents can reason on social relationships, that are represented as commitments, and where Jason agents interact by way of special CArtAgO artifacts, which reify commitment-based protocols