A Logic Programming Framework for Modeling Temporal Objects
IEEE Transactions on Knowledge and Data Engineering
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
On the Formal Specifications of Electronic Institutions
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Environment as a first class abstraction in multiagent systems
Autonomous Agents and Multi-Agent Systems
Agent communication and artificial institutions
Autonomous Agents and Multi-Agent Systems
A Semantic Web Primer, 2nd Edition (Cooperative Information Systems)
A Semantic Web Primer, 2nd Edition (Cooperative Information Systems)
Artificial institutions: a model of institutional reality for open multiagent systems
Artificial Intelligence and Law
A distributed normative infrastructure for situated multi-agent organisations
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Specifying and Enforcing Norms in Artificial Institutions
Declarative Agent Languages and Technologies VI
Distributed agent environments in the Ambient Event Calculus
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Foundations of Semantic Web Technologies
Foundations of Semantic Web Technologies
Representation and monitoring of commitments and norms using OWL
AI Communications - European Workshop on Multi-Agent Systems (EUMAS) 2009
Environment programming in multi-agent systems: an artifact-based perspective
Autonomous Agents and Multi-Agent Systems
Modeling norms in multi-agent systems with NormML
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
OWL-POLAR: A framework for semantic policy representation and reasoning
Web Semantics: Science, Services and Agents on the World Wide Web
Artificial Intelligence
Using OWL 2 DL for expressing ACL content and semantics
EUMAS'11 Proceedings of the 9th European conference on Multi-Agent Systems
INTERDEPENDENT ARTIFICIAL INSTITUTIONS IN AGENT ENVIRONMENTS
Applied Artificial Intelligence - Eighth European Workshop on Multi-Agent Systems EUMAS 2010
Multi-agent oriented programming with JaCaMo
Science of Computer Programming
Hi-index | 0.00 |
Open interaction systems play a crucial role in agreement technologies because they are software devised for enabling autonomous agents (software or human) to interact, negotiate, collaborate, and coordinate their activities in order to establish agreements and manage their execution. Following the approach proposed by the recent literature on agent environments those open distributed systems can be efficiently and effectively modeled as a set of correlated physical and institutional spaces of interaction where objects and agents are situated. In our view in distributed open systems, spaces are fundamental for modeling the fact that events, actions, and social concepts (like norms and institutional objects) should be perceivable only by the agents situated in the spaces where they happen or where they are situated. Institutional spaces are also crucial for their active functional role of keeping track of the state of the interaction, and for monitoring and enforcing norms. Given that in an open distributed and dynamic system it is fundamental to be able to create and destroy spaces of interaction at run-time, in this paper we propose to create them using Artificial Institutions (AIs) specified at design time. This dynamic creation is a complex task that deserves to be studied in all details. For doing that, in this paper, we will first define the various components of AIs and spaces using Semantic Web Technologies, then we will describe the mechanisms for using AIs specification for realizing spaces of interaction. We will exemplify this process by formalizing the components of the auction Artificial Institution and of the spaces created for running concrete auctions.