BYTE - Lecture notes in computer science Vol. 174
Actors: a model of concurrent computation in distributed systems (parallel processing, semantics, open, programming languages, artificial intelligence)
A Semantic Approach for Designing Commitment Protocols
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Implementing norms in electronic institutions
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Modeling conversation policies using permissions and obligations
Autonomous Agents and Multi-Agent Systems
Operationalisation of Norms for Electronic Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Agent communication and institutional reality
AC'04 Proceedings of the 2004 international conference on Agent Communication
Comparing three coordination models: Reo, ARC, and PBRD
Science of Computer Programming
Ten years of analyzing actors: Rebeca experience
Formal modeling
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
| Hi-index | 0.00 |
This paper uses Participatory Semantics to explicate commitment. Information expresses the fact that a system is in a certain configuration that is correlated to the configuration of another system. Any physical system may contain information about another physical system.For the purposes of this paper, physical commitment is defined to be information pledgedabout physical systems (situated at a particular place and time). This use of the term physical commitment is currently nonstandard.Note that commitment is defined for whole physical system; not just a participant or process.Organizational and social commitments can be analyzed in terms of physical commitments. For example systems that behave as scientific communities can have commitments for monotonicity, concurrency, commutativity, pluralism, skepticism, and provenance.Speech Act Theory has attempted to formalize the semantics of some kinds of expressions for commitments. Participatory Semantics for commitment can overcome some of the lack of expressiveness and generality in Speech Act Theory.