33,683 Hits in 7.7 sec

The Semantic Core of Multi-agent Interactions: an Operational Model

Sergio Saugar, Juan Manuel Serrano
2006 European Workshop on Multi-Agent Systems  
In the realm of software architectures, this core has been formalised as an operational model of social connectors describing both the structure and dynamics of multi-agent interactions.  ...  This formal model is aimed as the first steps towards the abstract machine of a language to program multi-agent interactions.  ...  In the realm of software architectures, this core has been formalised as an operational model of social connectors, intended to describe both the basic structure and dynamics of multi-agent interactions  ... 
dblp:conf/eumas/SaugarS06 fatcat:u4ityx3t55atblkhuq75ekwk5e

Modeling Business Process of Web Services with an Extended STRIPS Operations to Detection Feature Interaction Problems Runtime

Jiuyun Xu, Kun Chen, Youxiang Duan, Stephan Reiff-Marganiec
2011 2011 IEEE International Conference on Web Services  
This paper investigates the detection of feature interactions in web services at runtime and proposes ESTRIPs, an extended STRIPS operation to ensure conflict-free services are identified to populate business  ...  However, a high level research issue in form of the feature interaction problem is challenging the interoperation of services.  ...  The customers' and service providers' operations can be controlled and coordinated by an intelligent agent, which implements services composition and services execution.  ... 
doi:10.1109/icws.2011.73 dblp:conf/icws/XuCDR11 fatcat:qq3nyrvkcndpxekdc6lfk5r44m

The Virtual Laboratory Environment – An operational framework for multi-modelling, simulation and analysis of complex dynamical systems

Gauthier Quesnel, Raphaël Duboz, Éric Ramat
2009 Simulation modelling practice and theory  
VLE is a software and an API which supports multi-modelling, simulation and analysis.  ...  The cross-disciplinary activity of modelling and simulation is the core of the scientific activities addressing the complexity of nature.  ...  Acknowledgements We would like to thank the projects CHALOUPE and REMIGE of the French Research National Agency (ANR) and the RE-CORD project from INRA to have supported this work.  ... 
doi:10.1016/j.simpat.2008.11.003 fatcat:7rylnidsezdffddt2gxv7bmyxu

Specifying protocols for multi-agent systems interaction

Stefan Poslad
2007 ACM Transactions on Autonomous and Adaptive Systems  
Multi-Agent-Systems or MAS represent a powerful distributed computing model, enabling agents to cooperate and complete with each other and to exchange both semantic content and a semantic context to more  ...  The main characteristics of the FIPA model for MAS and an analysis of design, design choices and features of the model is presented.  ...  ACKNOWLEDGMENTS The opinions expressed in this article are those of the author.  ... 
doi:10.1145/1293731.1293735 fatcat:o4fqw7urhffirajedyogoym3l4

Agent-Based Architecture Modelling for Interactive Systems [chapter]

Joelle Coutaz, Laurence Nigay, Daniel Salber
1996 Critical Issues in User Interface Systems Engineering  
With the advent of new technologies and user-centred concerns, the user interface portion of interactive systems is becoming increasingly large and complex.  ...  In this article, we discuss agent-based architectural styles and show how sound tradeoffs between conflicting requirements and properties can be done using the PAC-Amodeus conceptual model.  ...  the Dagstuhl Seminar 9508 on Software Architecture.  ... 
doi:10.1007/978-1-4471-1001-9_11 fatcat:uu2ll46c3jay7l76ygpminb2dm

Logics of Informational Interactions

Alexandru Baltag, Sonja Smets
2015 Journal of Philosophical Logic  
Similarly, (multi-agent) epistemic logic is the logic of sociallyconstrained informational interactions (in the form of direct observations, learning, various forms of communication and testimony) between  ...  The pre-eminence of logical dynamics, over a static and purely propositional view of Logic, lies at the core of a new understanding of both formal epistemology and the logical foundations of quantum mechanics  ...  Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s)  ... 
doi:10.1007/s10992-015-9345-y fatcat:ifc6hkag4ndrznzfwnmd6ulu6u

"Machine" consciousness and "artificial" thought: An operational architectonics model guided approach

Andrew A. Fingelkurts, Alexander A. Fingelkurts, Carlos F.H. Neves
2012 Brain Research  
The unified brain-mind theoretical OA model explicitly captures (though in an informal way) the basic essence of brain functional architecture, which indeed constitutes a theory of consciousness.  ...  ) framework of brain and mind functioning proposes an alternative conceptual-theoretical framework as a new direction in the area of model-driven machine (robot) consciousness engineering.  ...  The authors would like to thank Giorgio Marchetti and three anonymous reviewers who provided thoughtful comments and constructive criticism. Special thanks for English editing to Dmitry Skarin.  ... 
doi:10.1016/j.brainres.2010.11.079 pmid:21130079 fatcat:v6holkszuvatbk2qt3q5gfgp3e

Anchoring Knowledge in Interaction: Towards a Harmonic Subsymbolic/Symbolic Framework and Architecture of Computational Cognition [chapter]

Tarek R. Besold, Kai-Uwe Kühnberger, Artur d'Avila Garcez, Alessandro Saffiotti, Martin H. Fischer, Alan Bundy
2015 Lecture Notes in Computer Science  
Envision an agent system also operating on different levels of representations: Neural layer learning on the perception/motor level.  ...  Envision an agent system also operating on different levels of representations: Neural layer learning on the perception/motor level.  ...  The Core Ideas and Objectives Developing, theoretically and practically, a conceptual framework and corresponding architecture that model an agent's knowledge, thinking, and acting as interrelated parts  ... 
doi:10.1007/978-3-319-21365-1_4 fatcat:w5vi2xkbjjanlckvfhaumssmiq

Scribbling Interactions with a Formal Foundation [chapter]

Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida
2011 Lecture Notes in Computer Science  
At the centre of this methodology is a formal description language for representing protocols for interactions, called Scribble.  ...  The proposed methodology promotes a formally founded, and highly structured, development framework for modelling and building distributed applications, from high-level models to design and implementation  ...  We thank all of them, and record that this series of a dialogue between practice and theories was made possible by the initiative and leadership of late Robin Milner, who is also the originator of many  ... 
doi:10.1007/978-3-642-19056-8_4 fatcat:76cikyol4zh7dcywj6gizh3uoe

Dynamic and Distributed Interaction Protocols [chapter]

Jarred McGinnis, David Robertson
2005 Lecture Notes in Computer Science  
The protocol language does not rely on centralised control or bias toward a particular model of agent communication.  ...  Agents can adapt the protocol and distribute it to dialogical partners during interactions.  ...  These approaches attempt to pack individual agents with a model of communication which can react to a multi-agent system.  ... 
doi:10.1007/978-3-540-32274-0_11 fatcat:5awdsgk7izdc7lt72ngkbyrywy

Software Architecture Models [chapter]

Christian Gram, Gilbert Cockton
1996 Design Principles for Interactive Software  
Multi-agent approaches (as in the PAC-Amodeus model, see Section 4.5.3) can, however, provide partial feedback before the completion of a user command.  ...  These capabilities can generally be regarded as operations on some model of an application domain, which may, for example, transform (some of) the model, or perform calculations on it.  ... 
doi:10.1007/978-0-387-34912-1_4 fatcat:ydfitg5i7rhgbdjeh4e5rorbxq

Agent-Environment Interaction in MAS - Introduction and Survey [chapter]

Joonas Kesaniemi, Vagan Terziy
2011 Multi-Agent Systems - Modeling, Interactions, Simulations and Case Studies  
As depicted in the previous 206 Multi-Agent Systems -Modeling, Interactions, Simulations and Case Studies section, this interaction can involve agent-to-agent communication, agent-to-environment  ...  Agent uses artifact through an interface, which is defined as a collection of operations.  ...  A multi-agent system (MAS) is a system composed of multiple interacting intelligent agents.  ... 
doi:10.5772/15145 fatcat:s2htrvfzzfg6fh7bbaqjifdtri

Grounding the Interaction: Knowledge Management for Interactive Robots

Séverin Lemaignan
2013 Künstliche Intelligenz  
It endows the robot with an active knowledge base that provides a logically sound symbolic model of its beliefs on the world, as well as models for each cognitive agent the robot interacts with.  ...  large parts of the core foundations of the project.  ...  I have also an acknowledged contribution to the ROS meta operating system related to the support of Python 3.  ... 
doi:10.1007/s13218-013-0246-3 fatcat:lzwey4kmoffqlobfwgzcggev5a

The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics [article]

Thomas Wright, Ian Stark
2018 arXiv   pre-print
Finally, we apply our framework to an existing biological model: Kuznetsov's classic model of tumour immune interactions.  ...  We develop a compositional semantics based on vector fields and linear operators, which we use to define the time evolution of this system.  ...  At the core of the model is the interaction between Tumour Cells (TC), immune Effector Cells (EC) (e.g.  ... 
arXiv:1804.07603v2 fatcat:ba7gpzhemfea5efdrjw3wmucom

A formal framework for agent interaction semantics

Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings
2005 Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems - AAMAS '05  
Then, we suggest a revised and simpler core semantics for many of the FIPA ACL speech acts, which, in turn, lead to the specification of the semantics of IPs.  ...  Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interaction protocols (IPs) tend  ...  We extend the program logic of PDL so as to express multi-agent interactions. Set notation is used to manipulate sets of agents.  ... 
doi:10.1145/1082473.1082488 dblp:conf/atal/PauroballyCJ05 fatcat:7uijrktrynevpfwhupbcfzaee4
« Previous Showing results 1 — 15 out of 33,683 results