An algorithmic approach to knowledge evolution

1999 ◽  
Vol 13 (2) ◽  
pp. 119-132 ◽  
Author(s):  
ALESSIO LOMUSCIO ◽  
MARK RYAN
Keyword(s):  
Modal Logic ◽  
Intelligent Agents ◽  
Knowledge Bases ◽  
Kripke Models ◽  
Multi Agent Systems ◽  
Algorithmic Approach ◽  
Agent Systems ◽  
Knowledge Based ◽  
New Information ◽  
Multi Agent

Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases in societies of agents. Halpern and Vardi have proposed the notion of refinement of S5n Kripke models in order to solve multi-agent problems in which knowledge evolves. We argue that there are some problems with their proposal and attempt to solve them by moving from Kripke models to their corresponding trees. We define refinement of a tree with a formula, show some properties of the notion, and illustrate with the muddy children puzzle. We show how some diagnosis problems in engineering can be modelled as knowledge-based multi-agent systems, and hence how our approach can address them.

scholarly journals Agents’ ontologies negotiation in cohesive hybrid intelligent multi-agent systems

2021 ◽  
Vol 2094 (3) ◽  
pp. 032033
Author(s):  
I A Kirikov ◽  
S V Listopad ◽  
A S Luchko
Keyword(s):  
Intelligent Agents ◽  
Intelligent Systems ◽  
Multi Agent Systems ◽  
Labor Costs ◽  
Joint Work ◽  
Working Process ◽  
Agent Systems ◽  
Development Teams ◽  
Multi Agent ◽  
Domain Models

Abstract The paper proposes the model for negotiating intelligent agents’ ontologies in cohesive hybrid intelligent multi-agent systems. Intelligent agent in this study will be called relatively autonomous software entity with developed domain models and goal-setting mechanisms. When such agents have to work together within single hybrid intelligent multi-agent systems to solve some problem, the working process “go wild”, if there are significant differences between the agents’ “points of view” on the domain, goals and rules of joint work. In this regard, in order to reduce labor costs for integrating intelligent agents into a single system, the concept of cohesive hybrid intelligent multi-agent systems was proposed that implement mechanisms for negotiating goals, domain models and building a protocol for solving the problems posed. The presence of these mechanisms is especially important when building intelligent systems from intelligent agents created by various independent development teams.

Engineering Software Systems with Social-Driven Templates

2010 ◽  
pp. 1-29
Author(s):  
Manuel Kolp ◽  
Yves Wautelet ◽  
Sodany Kiv ◽  
Vi Tran
Keyword(s):  
Architectural Design ◽  
Autonomous Agents ◽  
Knowledge Bases ◽  
Software Systems ◽  
Multi Agent Systems ◽  
Business Systems ◽  
Agent Systems ◽  
Social Patterns ◽  
Engineering Software ◽  
Multi Agent

Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed, and evolving software required by today’s corporate IT applications such as e-business systems, Web services or enterprise knowledge bases. Since the fundamental concepts of multi-agent systems are social and intentional rather than object, functional, or implementation-oriented, the design of MAS architectures can be eased by using social-driven templates. They are detailed agent-oriented design idioms to describe MAS architectures as composed of autonomous agents that interact and coordinate to achieve their intentions, like actors in human organizations. This paper presents social patterns, as well as organizational styles, and focuses on a framework aimed to gain insight into these templates. The framework can be integrated into agent-oriented software engineering methodologies used to build MAS. We consider the Broker social pattern to illustrate the framework. The mapping from system architectural design (through organizational architectural styles), to system detailed design (through social patterns), is overviewed with a data integration case study. The automation of patterns design is also overviewed.

Social Structure Based Design Patterns for Agent-Oriented Software Engineering

2009 ◽  
pp. 773-796
Author(s):  
Manuel Kolp ◽  
Stéphane Faulkner ◽  
Yves Wautelet
Keyword(s):  
Software Engineering ◽  
Design Patterns ◽  
Autonomous Agents ◽  
Knowledge Bases ◽  
Multi Agent Systems ◽  
Business Systems ◽  
Agent Systems ◽  
Social Patterns ◽  
Agent Oriented Software Engineering ◽  
Multi Agent

Multi-agent systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed, and evolving software required by today’s corporate IT applications such as e-business systems, Web services, or enterprise knowledge bases. Since the fundamental concepts of multi-agent systems are social and intentional rather than object, functional, or implementationoriented, the design of MAS architectures can be eased by using social patterns. They are detailed agent-oriented design idioms to describe MAS architectures composed of autonomous agents that interact and coordinate to achieve their intentions, like actors in human organizations. This article presents social patterns and focuses on a framework aimed to gain insight into these patterns. The framework can be integrated into agent-oriented software engineering methodologies used to build MAS. We consider the Broker social pattern to illustrate the framework. An overview of the mapping from system architectural design (through organizational architectural styles), to system detailed design (through social patterns), is presented with a data integration case study. The automation of creating design patterns is also discussed.

Intelligent Software Agents

2011 ◽  
pp. 155-172
Author(s):  
Stefan Kirn ◽  
Mathias Petsch ◽  
Brian Lees
Keyword(s):  
Intelligent Agents ◽  
New Technology ◽  
Software Agents ◽  
Security Architecture ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Security Issues ◽  
Intelligent Software ◽  
Intelligent Software Agents ◽  
Multi Agent

For a new technology, such as that offered by intelligent agents, to be successful and widely accepted, it is necessary for systems, based on that technology, to be capable of maintaining security and consistency of operation when integrated into the existing infrastructure of an organisation. This paper explores some of the security issues relating to application of intelligent agents and the integration of such systems into existing organisations. First, existing information security issues for enterprises are considered. Then, a short introduction to the new technology of agents and agent systems is given. Following this, the special security problems of the new technology of software agents and the emerging risks for software and enterprises are discussed. Finally, a new security architecture for multi-agent systems is proposed, together with an explanation of how this multilevel architecture can help to improve the security of agent systems.

scholarly journals Reports on the 2018 AAAI Spring Symposium Series

AI Magazine ◽  
2018 ◽  
Vol 39 (4) ◽  
pp. 29-35
Author(s):  
Christopher Amato ◽  
Haitham Bou Ammar ◽  
Elizabeth Churchill ◽  
Erez Karpas ◽  
Takashi Kido ◽  
...  
Keyword(s):  
Artificial Intelligence ◽  
Intelligent Agents ◽  
Well Being ◽  
Machine Intelligence ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Internet Of Everything ◽  
Symposium Series ◽  
Multi Agent ◽  
And Control

The Association for the Advancement of Artificial Intelligence, in cooperation with Stanford University’s Department of Computer Science, presented the 2018 Spring Symposium Series, held Monday through Wednesday, March 26–28, 2018, on the campus of Stanford University. The seven symposia held were AI and Society: Ethics, Safety and Trustworthiness in Intelligent Agents; Artificial Intelligence for the Internet of Everything; Beyond Machine Intelligence: Understanding Cognitive Bias and Humanity for Well-Being AI; Data Efficient Reinforcement Learning; The Design of the User Experience for Artificial Intelligence (the UX of AI); Integrated Representation, Reasoning, and Learning in Robotics; Learning, Inference, and Control of Multi-Agent Systems. This report, compiled from organizers of the symposia, summarizes the research of five of the symposia that took place.

scholarly journals Special issue on logics for intelligent agents and multi-agent systems

2011 ◽  
Vol 9 (4) ◽  
pp. 221-222 ◽  
Author(s):  
Mehmet A. Orgun ◽  
Guido Governatori ◽  
Chuchang Liu ◽  
Mark Reynolds ◽  
Abdul Sattar
Keyword(s):  
Intelligent Agents ◽  
Multi Agent Systems ◽  
Special Issue ◽  
Agent Systems ◽  
Multi Agent

scholarly journals A Systematic Modelling Procedure to Design Agent-Oriented Control to Coalition of Capabilities - In the Context of I4.0 as Virtual Assets (AAS)

2021 ◽  
Author(s):  
Jackson Tavares Veiga ◽  
Marcosiris Amorim de Oliveira Pessoa ◽  
Fabrício Junqueira ◽  
Paulo Eigi Miyagi ◽  
Diolino José Dos Santos Filho
Keyword(s):  
Intelligent Agents ◽  
Manufacturing Systems ◽  
Multi Agent Systems ◽  
Production Flow ◽  
Systematic Method ◽  
Passive Components ◽  
Agent Systems ◽  
Modelling Procedure ◽  
Multi Agent ◽  
The Relationship

Manufacturing systems need to meet I4.0 guidelines to deal with uncertainty in scenarios of turbulent demand for products. The engineering concepts to define the service’s resources to manufacture the products will be more flexible, ensuring the possibility of re-planning in operation. These can follow the engineering paradigm based on capabilities. The virtualization of industry components and assets achieves the RAMI 4.0 guidelines and (I4.0C), which describes the Asset Administration Shell (AAS). However, AAS are passive components that provide information about I4.0 assets. The proposal of specific paradigms is exposed for managing these components, as is the case of multi-agent systems (MAS) that attribute intelligence to objects. The implementation of resource coalitions with evolutionary architectures (EAS) applies cooperation and capabilities’ association. Therefore, this work focuses on designing a method for modeling the asset administration shell (AAS) as virtual elements orchestrating intelligent agents (MAS) that attribute cooperation and negotiation through contracts to coalitions based on the engineering capabilities concept. The systematic method suggested in this work is partitioned for the composition of objects, AAS elements, and activities that guarantee the relationship between entities. Finally, Production Flow Schema (PFS) refinements are applied to generate the final Petri net models (PN) and validate them with Snoopy simulations. The results achieved demonstrate the validation of the procedure, eliminating interlocking and enabling liveliness to integrate elements behavior.

scholarly journals A Systematic Modelling Procedure to Design Agent-Oriented Control to Coalition of Capabilities—In the Context of I4.0 as Virtual Assets (AAS)

Computers ◽  
2021 ◽  
Vol 10 (12) ◽  
pp. 161
Author(s):  
Jackson T. Veiga ◽  
Marcosiris A. O. Pessoa ◽  
Fabrício Junqueira ◽  
Paulo E. Miyagi ◽  
Diolino J. dos Santos Filho
Keyword(s):  
Intelligent Agents ◽  
Manufacturing Systems ◽  
Multi Agent Systems ◽  
Production Flow ◽  
Systematic Method ◽  
Passive Components ◽  
Agent Systems ◽  
Modelling Procedure ◽  
Multi Agent ◽  
The Relationship

Manufacturing systems need to meet Industry 4.0 (I4.0) guidelines to deal with uncertainty in scenarios of turbulent demand for products. The engineering concepts to define the service’s resources to manufacture the products will be more flexible, ensuring the possibility of re-planning in operation. These can follow the engineering paradigm based on capabilities. The virtualization of industry components and assets achieves the RAMI 4.0 guidelines and (I4.0C), which describes the Asset Administration Shell (AAS). However, AAS are passive components that provide information about I4.0 assets. The proposal of specific paradigms is exposed for managing these components, as is the case of multi-agent systems (MAS) that attribute intelligence to objects. The implementation of resource coalitions with evolutionary architectures (EAS) applies cooperation and capabilities’ association. Therefore, this work focuses on designing a method for modeling the asset administration shell (AAS) as virtual elements orchestrating intelligent agents (MAS) that attribute cooperation and negotiation through contracts to coalitions based on the engineering capabilities concept. The systematic method suggested in this work is partitioned for the composition of objects, AAS elements, and activities that guarantee the relationship between entities. Finally, Production Flow Schema (PFS) refinements are applied to generate the final Petri net models (PN) and validate them with Snoopy simulations. The results achieved demonstrate the validation of the procedure, eliminating interlocking and enabling liveliness to integrate elements’ behavior.

Sign in / Sign up

Export Citation Format

Share Document