research-article

Distributed agent environments in the Ambient Event Calculus

Authors:

Stefano Bromuri,

Kostas StathisAuthors Info & Claims

DEBS '09: Proceedings of the Third ACM International Conference on Distributed Event-Based Systems

Article No.: 12, Pages 1 - 12

https://doi.org/10.1145/1619258.1619275

Published: 06 July 2009 Publication History

Abstract

We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism that is developed here to support the representation of a distributed agent environment as a persistent composite structure evolving over time. Such a complex structure supports the interaction between agents, objects, and containers, entities that have their own external observable state and can be distributed over a network. Interactions between these entities are specified in terms of events that represent actions executed by agents on objects and other agents in the environment. When events happen they are stored in containers and are notified to agent sensors that subscribe to event descriptions and as a result perceive the interactions. The AEC formalism also allows changes caused by events to be delivered across distributed containers, according to the topology of the application environment. We illustrate the use of AEC and we show how to specify interactions within the GOLEM agent platform applied to a specific agent scenario.

References

[1]

SWI-Prolog. http://www.swi-prolog.org/, February 2009.

[2]

F. Bellifemine, A. Poggi, and G. Rimassa. JADE: a FIPA2000 compliant Agent Development Environment. In J. P. Müller, E. Andre, S. Sen, and C. Frasson, editors, Proceedings of the Fifth International Conference on Autonomous Agents, pages 216--217. ACM Press, May 2001.

Digital Library

[3]

R. Blanco, J. Wang, and P. Alencar. A Metamodel for Distributed Event-based Systems. In DEBS '08: Proceedings of the second international conference on Distributed event-based systems, pages 221--232, New York, NY, USA, 2008. ACM.

Digital Library

[4]

S. Bromuri and K. Stathis. Situating Cognitive Agents in GOLEM. In Engineering Environment-Mediated Multiagent Systems (EEMMAS'07). Springer, Oct 2007.

[5]

S. Bromuri, V. Urovi, P. Contreras, and K. Stathis. A Virtual E-retailing Environment in GOLEM. In Intelligent Environments (IE'08). IET, July 2008.

[6]

S. Bromuri, V. Urovi, M. Morge, F. Toni, and K. Stathis. A Multi-Agent System for Service Discovery, Selection and Negotiation. In Procedings of the Eighth International Conference in Autonomous Agents and Multi Agent Systems AAMAS09, Budapest, Hungary, May 2009. Demonstration.

Digital Library

[7]

W. Chen and D. S. Warren. C-logic of Complex Objects. In PODS '89: Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, pages 369--378, New York, NY, USA, 1989. ACM Press.

Digital Library

[8]

K. L. Clark. Negation as Failure. In Logic and Data Bases, pages 293--322, 1977.

[9]

G. Cugola, E. Di Nitto, and A. Fuggetta. The JEDI Event-based Infrastructure and its Application to the Development of the OPSS WFMS. IEEE Trans. Softw. Eng., 27(9):827--850, 2001.

Digital Library

[10]

M. Gazzotti, M. Mamei, and F. Zambonelli. A Programmable Event-based Middleware for Pervasive Mobile Agent Organizations. In In 11th IEEE EUROMICRO Conference on Parallel, Distributed, and Network Processing, pages 517--525, 2003.

[11]

J. J. Gibson. The Ecological Approach to Visual Perception. Lawrence Erlbaum Associates, 1979.

[12]

JACK. The Jack Development Environment. Home Page: http://www.agent-software.com/shared/products/index.html.

[13]

JADE. Java Agent DEvelopment framework. Home Page: http://jade.tilab.com.

[14]

A. C. Kakas, P. Mancarella, F. Sadri, K. Stathis, and F. Toni. The KGP model of Agency. In Proceedings of the 16th European Conference of Artificial Intelligence, pages 33--37, Valencia, 2004.

[15]

F. N. Kesim and M. Sergot. A Logic Programming Framework for Modeling Temporal Objects. IEEE Transactions on Knowledge and Data Engineering, 8(5):724--741, 1996.

Digital Library

[16]

N. Kesim. Temporal Objects in Deductive Databases. PhD thesis, Imperial College, 1993.

[17]

O. S. M. Luck, P. McBurney and S. Willmott. Agent Technology: Computing as Interaction (A Roadmap for Agent Based Computing). In AgentLink, 2005.

[18]

A. Natali, E. Oliva, A. Ricci, and M. Viroli. A Framework for Engineering Interactions in Java-based Component Systems. In C. Carlos and M. Viroli, editors, Proceedings of FOCLASA 2005, 4th Intl. Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2005), CONCUR 2005, San Francisco (CA), USA, 27 Aug. 2005.

[19]

D. A. Norman. Affordance, Conventions, and Design. Interactions, 6(3):38--43, 1999.

Digital Library

[20]

H. S. Nwana, D. T. Ndumu, L. C. Lee, and J. C. Collis. ZEUS: A Toolkit for Building Distributed Multiagent Systems. Applied Artificial Intelligence, 13(1--2):129--185, 1999.

[21]

J. Odell, H. V. D. Parunak, M. Fleischer, and S. Brueckner. Modeling Agents and their Environment: The Physical Environment. Journal of Object Technology, 2(2):43--51, 2003.

[22]

P. R. Pietzuch and J. Bacon. Hermes: A Distributed Event-Based Middleware Architecture. In ICDCSW '02: Proceedings of the 22nd International Conference on Distributed Computing Systems, pages 611--618, Washington, DC, USA, 2002. IEEE Computer Society.

Digital Library

[23]

A. Ricci, M. Viroli, and A. Omicini. CArtAgO: A Framework for Prototyping Artifact-based Environments in MAS. In D. Weyns, H. V. D. Parunak, and F. Michel, editors, Environments for MultiAgent Systems III, volume 4389 of LNAI, pages 67--86. Springer, Feb. 2007.

Digital Library

[24]

K. Stathis, S. Kafetzoglou, S. Papavasilliou, and S. Bromuri. Sensor Network Grids: Agent Environments combined with QoS in Wireless Sensor Networks. In The Third International Conference on Autonomic and Autonomous Systems (ICAS07), Jun 2007.

Digital Library

[25]

K. Stathis, R. Spence, O. D. Bruijn, and P. Purcell. Ambient Intelligence: Human - Agent Interaction in Connected Communities. In P. Purcell, editor, Networked Neighbourhoods: The Connected Community in Context. Springer-Verlang, July 2006.

[26]

tuProlog. tuProlog. Home Page: http://www.alice.unibo.it:8080/tuProlog/.

[27]

D. Weyns, A. Helleboogh, and T. Holvoet. The Packet-World: a Test Bed for Investigating Situated Multi-Agent Systems. Software Agent-Based Applications, Platforms and Development Kits, Whitestein Series in Software Agent Technology., 2005.

[28]

D. Weyns, A. Omicini, and J. Odell. Environment as a First Class abstraction in Multi-agent Systems. Autonomous Agents and Multi-Agent Systems, 14(1):5--30, 2007.

Digital Library

[29]

D. Weyns, H. V. D. Parunak, F. Michel, T. Holvoet, and J. Ferber. Environments for Multiagent Systems State-of-the-Art and Research Challenges. In D. Weyns, H. V. D. Parunak, and F. Michel, editors, E4MAS, volume 3374 of Lecture Notes in Computer Science, pages 1--47. Springer, 2004.

Digital Library

[30]

M. Wooldridge and N. R. Jennings. Intelligent Agents: Theory and Practice. The Knowledge Engineering Review, 10(2):115--152, 1995.

Cited By

Durant SWilkins BWoods CUliana EStathis K(2022)Attention Guidance Agents with Eye-TrackingEngineering Multi-Agent Systems10.1007/978-3-030-97457-2_6(92-113)Online publication date: 10-Mar-2022
https://doi.org/10.1007/978-3-030-97457-2_6
Shahid NO'Keeffe DStathis K(2021)Game-theoretic Simulations with Cognitive Agents2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)10.1109/ICTAI52525.2021.00205(1300-1305)Online publication date: Nov-2021
https://doi.org/10.1109/ICTAI52525.2021.00205
Brito MHübner JBoissier O(2018)Situated artificial institutionsAutonomous Agents and Multi-Agent Systems10.1007/s10458-017-9379-332:2(219-251)Online publication date: 1-Mar-2018
https://dl.acm.org/doi/10.1007/s10458-017-9379-3
Show More Cited By

Index Terms

Distributed agent environments in the Ambient Event Calculus
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
      1. Multi-agent systems
  2. Distributed computing methodologies
    1. Distributed programming languages
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Distributed programming languages

Recommendations

Event calculus and temporal action logics compared

We compare the event calculus and temporal action logics (TAL), two formalisms for reasoning about action and change. We prove that, if the formalisms are restricted to integer time, inertial fluents, and relational fluents, and if TAL action type ...
Event Calculus Reasoning Through Satisfiability

We present an implemented method for encoding reasoning problems of a discrete version of the classical logic event calculus in propositional conjunctive normal form, enabling the problems to be solved efficiently by off-the-shelf complete ...
A hybrid agent architecture for modeling autonomous agents in SAGE
IDEAL'05: Proceedings of the 6th international conference on Intelligent Data Engineering and Automated Learning

This paper highlights the Hybrid agent construction model being developed that allows the description and development of autonomous agents in SAGE (Scalable, fault Tolerant Agent Grooming Environment) – a second generation FIPA-Compliant Multi-Agent ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

DEBS '09: Proceedings of the Third ACM International Conference on Distributed Event-Based Systems

July 2009

292 pages

ISBN:9781605586656

DOI:10.1145/1619258

Conference Chairs:
Aniruddha Gokhale
Vanderbilt University
,
Douglas C. Schmidt
Vanderbilt University

Copyright © 2009 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 July 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

DEBS '09

Sponsor:

DEBS '09: The 3rd ACM International Conference on Distributed Event-based Systems

July 6 - 9, 2009

Tennessee, Nashville

Acceptance Rates

Overall Acceptance Rate 145 of 583 submissions, 25%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

27
Total Citations
View Citations
295
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Durant SWilkins BWoods CUliana EStathis K(2022)Attention Guidance Agents with Eye-TrackingEngineering Multi-Agent Systems10.1007/978-3-030-97457-2_6(92-113)Online publication date: 10-Mar-2022
https://doi.org/10.1007/978-3-030-97457-2_6
Shahid NO'Keeffe DStathis K(2021)Game-theoretic Simulations with Cognitive Agents2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)10.1109/ICTAI52525.2021.00205(1300-1305)Online publication date: Nov-2021
https://doi.org/10.1109/ICTAI52525.2021.00205
Brito MHübner JBoissier O(2018)Situated artificial institutionsAutonomous Agents and Multi-Agent Systems10.1007/s10458-017-9379-332:2(219-251)Online publication date: 1-Mar-2018
https://dl.acm.org/doi/10.1007/s10458-017-9379-3
Testa ACinque MCoronato AAugusto J(2016)A Formal Methodology to Design and Deploy Dependable Wireless Sensor NetworksSensors10.3390/s1701001917:12(19)Online publication date: 23-Dec-2016
https://doi.org/10.3390/s17010019
Bromuri SPuricel SSchumann RKrampf JRuiz JSchumacher M(2016)An expert Personal Health System to monitor patients affected by Gestational Diabetes Mellitus: A feasibility studyJournal of Ambient Intelligence and Smart Environments10.3233/AIS-1603658:2(219-237)Online publication date: 15-Mar-2016
https://doi.org/10.3233/AIS-160365
Brugués ABromuri SBarry MDel Toro ÓMazurkiewicz MKardas PPegueroles JSchumacher M(2016)Processing Diabetes Mellitus Composite Events in MAGPIEJournal of Medical Systems10.1007/s10916-015-0377-140:2(1-15)Online publication date: 1-Feb-2016
https://dl.acm.org/doi/10.1007/s10916-015-0377-1
Alrayes BKafalı ÖStathis K(2016)RECON: A Robust Multi-agent Environment for Simulating COncurrent NegotiationsRecent Advances in Agent-based Complex Automated Negotiation10.1007/978-3-319-30307-9_10(157-174)Online publication date: 25-Mar-2016
https://doi.org/10.1007/978-3-319-30307-9_10
Testa ACinque MCoronato APietro GAugusto J(2015)Heuristic strategies for assessing wireless sensor network resiliencyJournal of Heuristics10.1007/s10732-014-9258-x21:2(145-175)Online publication date: 1-Apr-2015
https://dl.acm.org/doi/10.1007/s10732-014-9258-x
Alrayes BStathis K(2014)An Agent Architecture for Concurrent Bilateral NegotiationsDecision Support Systems III - Impact of Decision Support Systems for Global Environments10.1007/978-3-319-11364-7_8(79-89)Online publication date: 31-Aug-2014
https://doi.org/10.1007/978-3-319-11364-7_8
Kafalı ÖBromuri SSindlar Mvan der Weide TAguilar Pelaez ESchaechtle UAlves BZufferey DRodriguez-Villegas ESchumacher MStathis K(2013)COMMODITY12Journal of Ambient Intelligence and Smart Environments10.5555/2594708.25947145:5(479-502)Online publication date: 1-Sep-2013
https://dl.acm.org/doi/10.5555/2594708.2594714
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten