1,852 Hits in 3.6 sec

Distributed agent environments in the Ambient Event Calculus

Stefano Bromuri, Kostas Stathis
2009 Proceedings of the Third ACM International Conference on Distributed Event-Based Systems - DEBS '09  
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC).  ...  Interactions between these entities are specified in terms of events that represent actions executed by agents on objects and other agents in the environment.  ...  This work was partially supported by the IST-FP6-035200 ArguGRID project.  ... 
doi:10.1145/1619258.1619275 dblp:conf/debs/BromuriS09 fatcat:rud3bxjecjh55csg633k6jqf2e

Distributed AI for Ambient Intelligence: Issues and Approaches [chapter]

Theodore Patkos, Antonis Bikakis, Grigoris Antoniou, Maria Papadopouli, Dimitris Plexousakis
2007 Lecture Notes in Computer Science  
Research in many fields of AI, such as distributed planning and reasoning, agent teamwork and coalition formation, cooperative problem solving and action theory has advanced significantly over the last  ...  contextaware platform for mobile devices in dynamic environments.  ...  We trust the Event Calculus to present the most complete solution for addressing key issues of commonsense reasoning for Ambient Intelligence.  ... 
doi:10.1007/978-3-540-76652-0_10 fatcat:v7sdud2uifdopgeid4hbrupkcy

Graph-Based Models of Internetworking Systems [chapter]

Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto
2003 Lecture Notes in Computer Science  
This paper aims at contributing to the understanding of crucial issues involved in the specification and design of Wide Area Network systems, as a first step toward the development of software engineering  ...  This paper outlines a declarative approach based on (hyper-)graphs and graph synchronization to deal with the modeling of Wide Area Network applications.  ...  We mention the Distributed Join-calculus [26] , Klaim [18] , the Distributed π-calculus [31] , the Ambient calculus [12] , the Seal calculus [14] , and Nomadic Pict [48] .  ... 
doi:10.1007/978-3-540-40007-3_16 fatcat:b6qzzvavc5fvhhe2gr3u4zjowi

Towards a Distributed Plan Execution Monitoring Framework

Yosr Jarraya, Sujoy Ray, Andrei Soeanu, Mourad Debbabi, Mohamad Allouche, Jean Berger
2013 Procedia Computer Science  
In this paper, we elaborate on a distributed monitoring calculus framework that allows specifying and executing plans for multi-agent systems in a distributed environment.  ...  Distributed monitoring is challenging yet essential in order to address scalability issues observed in the context of large-scale plan execution.  ...  In a distributed system, agents evolve in independent contexts (that may overlap). We associate with each ambient A its perceived subset of the environment that we denote by ε@A.  ... 
doi:10.1016/j.procs.2013.06.144 fatcat:itxjnmix5vhcrepqasxvjxkjzy

SAGE: A Logical Agent-Based Environment Monitoring and Control System [chapter]

Krysia Broda, Keith Clark, Rob Miller, Alessandra Russo
2009 Lecture Notes in Computer Science  
We propose SAGE, an agent-based environment monitoring and control system based on computation logic.  ...  The system is embedded in a publish/subscribe architecture. Authors are listed in alphabetical order, not in order of their relative contribution.  ...  [4] uses the event calculus for a distributed agent environment, [3, 10] are examples of logic based agent architectures for ambient intelligent systems.  ... 
doi:10.1007/978-3-642-05408-2_14 fatcat:cmwtds3dibc75efw7imli4cjam

A formalism for hierarchical mobile agents

2000 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems PDSE-99  
To demonstrate the utility of the calculus, we constructed a practical mobile agent system whose agents can be naturally and strictly specified and verified in the calculus.  ...  The system also offers a security mechanism for mobile agents by using well-defined properties of the calculus. *  ...  The ambient calculus [5] allows mobile agents (called ambients in the calculus) to contain other agents and to move as a whole with all its subcomponents.  ... 
doi:10.1109/pdse.2000.847863 dblp:conf/pdse/Satoh00 fatcat:diueinl6xzc2ncq6f5ijf57fvi

Mobile Processes: A Commented Bibliography [chapter]

Silvano Dal Zilio
2001 Lecture Notes in Computer Science  
as modelled in the π-calculus of Milner, Parrow and Walker for example, and motile processes, which can exhibit motion, as modelled in the ambient calculus of Cardelli and Gordon.  ...  A common characteristic of the algebraic frameworks presented in this paper is the use of names as first class values and the support for the dynamic generation of new, fresh names.  ...  Another example of type system for distributed version of π is given in [66] . 61 The Ambient Calculus Very recently, Cardelli and Gordon have proposed a new process algebra, the ambient calculus  ... 
doi:10.1007/3-540-45510-8_11 fatcat:ksp2ci37rbc5jbwokvcs2ugspq

An Intelligence-Aware Process Calculus for Multi-Agent System Modeling

Raheel Ahmad, Shahram Rahimi, Bidyut Gupta
2007 2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems  
In this paper we propose an agent modeling language named CAML that provides a comprehensive frameworkfor representing all relevant aspects of a multiagent system: specially, its configuration and the  ...  reasoning abilities of its constituent agents.  ...  A multi-agent system then is a recognized collection of such agents that coexist and interact in an environment where the overall control and information is generally distributed (decentralized).  ... 
doi:10.1109/kimas.2007.369811 fatcat:epf4kiyl5fd6bdbp2iy7l72fg4

An Approach to Adaptive Distributed Execution Monitoring for Workflows in Service-based Systems

Stephen S. Yau, Dazhi Huang, Luping Zhu
2007 Computer Software and Applications Conference (COMPSAC) Proceedings of the IEEE International  
Due to the highly dynamic environments of SBS, in which temporary unavailability or qualitydegradation of services may occur frequently and unexpectedly, monitoring the execution of workflows in SBS is  ...  necessary, and should be done in distributed and proactive manner.  ...  Acknowledgment This research is supported by the DoD/ONR under the MURI Program Contract No. N00014-04-1-0723, and National Science Foundation under grant number CNS-0524736  ... 
doi:10.1109/compsac.2007.57 dblp:conf/compsac/YauHZ07 fatcat:c4cw7q5wendjfgktjjouajmvia

Initial Steps Towards Run-Time Support for Norm-Governed Systems [chapter]

Visara Urovi, Stefano Bromuri, Kostas Stathis, Alexander Artikis
2011 Lecture Notes in Computer Science  
To offer the envisioned run-time support we use an Event Calculus dialect for efficient temporal reasoning.  ...  Both the knowledge representation framework and its associated infrastructure are highly configurable in the sense that they can be appropriately distributed in order to support real-time responses to  ...  GOLEM supports this feature with the Ambient Event Calculus (AEC) [4] .  ... 
doi:10.1007/978-3-642-21268-0_15 fatcat:jttmdncpljbr5g42b24bjxfi7u

Intelligent Distributed eLearning Architecture [chapter]

S. Stoyanov, H. Zedan, E. Doychev, V. Valkanov, I. Popchev, G. Cholakov, M. Sandalski
2012 Intelligent Systems  
Acknowledgment The authors wish to acknowledge the support of the National Science Fund  ...  In the event of a significant change of service environment, this agent gathers the new capability and preference information (CPI) via the Scanner agent.  ...  This process calculus is Intelligent Systems 186 built upon the calculus of mobile ambient and introduces new constructs to enable ambients and processes to be aware of the environment  ... 
doi:10.5772/36925 fatcat:feuitqlfxjbk3pjiwgjzqieeha

Towards Distributed Agent Environments for Pervasive Healthcare [chapter]

Stefano Bromuri, Michael Ignaz Schumacher, Kostas Stathis
2010 Lecture Notes in Computer Science  
environmentIn GOLEM the interaction between the entities is constantly mediated by declarative rules Defined in the terms of the Ambient Event Calculus (dialect of the EC).  ...   Pervasive and ubiquitous multi agent system deployed in the environment and accessible through smart phones.  ... 
doi:10.1007/978-3-642-16178-0_13 fatcat:2kjhqqkf5nfjpn4t7zqd3sxdiu

Join Patterns for Concurrent Agents (position paper)

Alex Muscar
2013 Scalable Computing : Practice and Experience  
In this paper we take a look at the possibility of combining elements from the Join Calculus, namely join patterns with an AOP programming language, in our case Jason.  ...  Even though the Agent Oriented Programming (AOP) paradigm has been introduced over 20 years ago, the following is still modest.  ...  An agent is driven forward by a reasoning cycle in which the agent: (i) perceives the environment, and updates its beliefs, (ii) receives messages, (iii) selects an event and the plans that can handle  ... 
doi:10.12694/scpe.v14i3.859 fatcat:kdzkuoau2bgzfkocem3rm6cusy

CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents [chapter]

Amal El Fallah-Seghrouchni, Alexandru Suna
2004 Lecture Notes in Computer Science  
The primitives of mobility are inspired from the ambient calculus.  ...  The CLAIM language is supported by a multi-platform system (SyMPA) compliant with the standard MASIF (OMG specifications); i.e. agents can be distributed over several sites and can move from one to another  ...  Acknowledgements: Part of this work was done in the context of a LAFMI 2 project.  ... 
doi:10.1007/978-3-540-25936-7_5 fatcat:jvbkfikycfgibgtorvvhevbfdq

Provably Correct Pervasive Computing Environments

Anand Ranganathan, Roy H. Campbell
2008 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom)  
In this paper, we propose a formal model for describing pervasive computing environments based on ambient calculus and the associated ambient logic.  ...  The model allows us to describe the resources present in an environment, the operations that can be performed in the environment, and how users can use the resources in th environment to perform different  ...  Ambient calculus has been recently proposed as a theoretical framework for distributed and mobile objects/agents [5] .  ... 
doi:10.1109/percom.2008.116 dblp:conf/percom/RanganathanC08 fatcat:kfjkwlbjerb5nbxiehg6b5p3eq
« Previous Showing results 1 — 15 out of 1,852 results