scholarly journals Towards a Calendar Agent Society with Intelligent Agents in ASP-Updates

2012 ◽  
Vol 22 ◽  
pp. 48-54
Author(s):  
Juan C. Acosta G. ◽  
J. Raymundo Marcial Romero ◽  
Marco A. Ramos C. ◽  
J. A. Hernández Servín
Keyword(s):  
Logic Programming ◽  
Knowledge Base ◽  
Intelligent Agents ◽  
Common Goal ◽  
Bdi Agents ◽  
Agent Societies ◽  
Simple Protocol ◽  
Multi Agent ◽  
Answer Sets

We present the analysis and some preliminary specifications to describe a multi-agent society to represent dynamic appointments under in Answer-Sets Programming, by means of knowledge-base updates. This is a case study to represent a group of intelligent BDI agents with a common goal of scheduling a meeting, and we use an example to show how to distribute and change their specifications under unforeseen circumstances, as well as a simple protocol to realise a consensual meeting. We claim that the proposed framework is appropriate to have the benefits from a strong foundation like Answer-Sets Programming, simplicity for its declarative logic programming, as well as practicality for existent implemented solvers, which can be used to implement a more-complete and useful system of agent societies.

scholarly journals Engineering Approaches for Programming Agent-Based IoT Objects Using the Resource Management Architecture

Sensors ◽  
2021 ◽  
Vol 21 (23) ◽  
pp. 8110
Author(s):  
Fabian Cesar Brandão ◽  
Maria Alice Trinta Lima ◽  
Carlos Eduardo Pantoja ◽  
Jean Zahn ◽  
José Viterbo
Keyword(s):  
Performance Tests ◽  
Multi Agent Systems ◽  
Bdi Agents ◽  
Specific Domain ◽  
Agent Based ◽  
Trade Offs ◽  
Multi Agent ◽  
Study Case ◽  
The Internet Of Things

The Internet of Things (IoT) allows the sharing of information among devices in a network. Hardware evolutions have enabled the employment of cognitive agents on top of such devices, which could help to adopt pro-active and autonomous IoT systems. Agents are autonomous entities from Artificial Intelligence capable of sensing (perceiving) the environment where they are situated. Then, with these captured perceptions, they can reason and act pro-actively. However, some agent approaches are created for a specific domain or application when dealing with embedded systems and hardware interfacing. In addition, the agent architecture can compromise the system’s performance because of the number of perceptions that agents can access. This paper presents three engineering approaches for creating IoT Objects using Embedded Multi-agent systems (MAS)—as cognitive systems at the edge of an IoT network—connecting, acting, and sharing information with a re-engineered IoT architecture based on the Sensor as a Service model. These engineering approaches use Belief-Desire-Intention (BDI) agents and the JaCaMo framework. In addition, it is expected to diversify the designers’ choice in applying embedded MAS in IoT systems. We also present a case study to validate the whole re-engineered architecture and the approaches. Moreover, some performance tests and comparisons are also presented. The study case shows that each approach is more or less suitable depending on the domain tackled. The performance tests show that the re-engineered IoT architecture is scalable and that there are some trade-offs in adopting one or another approach. The contributions of this paper are an architecture for sharing resources in an IoT network, the use of embedded MAS on top IoT Objects, and three engineering approaches considering agent and artifacts dimensions.

An Intelligent Agents and Multi-Agent Systems Course Involving NetLogo

2011 ◽  
pp. 26-50 ◽  
Author(s):  
Ilias Sakellariou ◽  
Petros Kefalas ◽  
Ioanna Stamatopoulou
Keyword(s):  
Learning Curve ◽  
Intelligent Agents ◽  
Multi Agent Systems ◽  
Agent Based ◽  
Agent Systems ◽  
Agent Societies ◽  
Agent Communication Language ◽  
Complex Agent ◽  
Language Communication ◽  
Multi Agent

In the context of an Agent and Multi-Agent Systems course, exposing students to problems and issues related to agent-based programming allows them to understand at a deeper level the otherwise theoretical aspects involved in the design of a multi-agent system (MAS). Indeed, educators have reported a variety of environments and techniques they use in order to increase active learning. The authors argue that NetLogo presents an excellent platform for the task, since it provides, among other interesting features, a small learning curve and an easy to setup visualization environment. This chapter records their experience in teaching a MAS course, using NetLogo as the vehicle for practical coursework. In addition, two extra NetLogo libraries that were provided to students are described, one for BDI-like agents (Belief-Desire-Intention, i.e. goal-oriented agents) and one for ACL-like (Agent Communication Language) communication, which were specifically developed for allowing students to implement more complex agent societies than the original NetLogo platform allowed.

scholarly journals Semantics for Possibilistic Disjunctive Programs

2011 ◽  
Vol 13 (1) ◽  
pp. 33-70 ◽  
Author(s):  
JUAN CARLOS NIEVES ◽  
MAURICIO OSORIO ◽  
ULISES CORTÉS
Keyword(s):  
Logic Programming ◽  
Knowledge Base ◽  
Logic Program ◽  
Programming Approach ◽  
Logic Programs ◽  
Possibilistic Logic ◽  
Point Operator ◽  
Disjunctive Logic Programs ◽  
Answer Sets ◽  
Disjunctive Programs

AbstractIn this paper, a possibilistic disjunctive logic programming approach for modeling uncertain, incomplete, and inconsistent information is defined. This approach introduces the use of possibilistic disjunctive clauses, which are able to capture incomplete information and states of a knowledge base at the same time. By considering a possibilistic logic program as a possibilistic logic theory, a construction of a possibilistic logic programming semantic based on answer sets and the proof theory of possibilistic logic is defined. It shows that this possibilistic semantics for disjunctive logic programs can be characterized by a fixed-point operator. It is also shown that the suggested possibilistic semantics can be computed by a resolution algorithm and the consideration of optimal refutations from a possibilistic logic theory. In order to manage inconsistent possibilistic logic programs, a preference criterion between inconsistent possibilistic models is defined. In addition, the approach of cuts for restoring consistency of an inconsistent possibilistic knowledge base is adopted. The approach is illustrated in a medical scenario.

scholarly journals Evaluation of Multi-agent Architecture for Structural Damage Detection and Location

2017 ◽  
Vol 13 (06) ◽  
pp. 76
Author(s):  
Andrés Felipe Quintero-Parra ◽  
Jhonatan Camacho-Navarro ◽  
Marco Fidel Flórez ◽  
Jose Luis Vásquez-González
Keyword(s):  
Intelligent Agents ◽  
Structural Damage ◽  
Internal State ◽  
Multi Agent System ◽  
Structural Damage Detection ◽  
Common Goal ◽  
Agent Architecture ◽  
Surrounding Environment ◽  
Communication Method ◽  
Multi Agent

In this paper the results of using a Multi-agent system (MAS) for Structural Health Monitoring (SHM) are detailed. A study between different MAS architectures reported in literature is presented in order to select and adapt the most adequate one for SHM tasks. Requirements are established according to recent solutions, where main parameters are type and number of sensors and communication protocols, among others. MAS technique uses several intelligent agents, that are algorithms able to act in a reactive or active way. Their action depends on surrounding environment or collected data. These agents can work in a decentralized way, searching the fulfillment of an individual goal or they can work with another system to achieve a common goal. Decision is based on their internal state (beliefs, goals and commitments). MAS’ effectiveness depends on the interconnection between the agents. Type of agents is defined according to its communication method and protocol, common and individual goals, among others. Decentralization and versatility are two important characteristics of MAS technique useful to solve SHM problem. This is one of the main motivations to consider this technique to be a good approach for the studied problem.  A benchmark numerical model, which consists of a metallic framework, was used to validate and demonstrate the feasibility of the selected architecture for SHM

From Requirements to Code with PASSI Methodology

2011 ◽  
pp. 491-512
Author(s):  
Massimo Cossentino
Keyword(s):  
Artificial Intelligence ◽  
Software Engineering ◽  
Object Oriented ◽  
Design Models ◽  
Agent Societies ◽  
Multi Agent ◽  
System Requirements ◽  
Specification And Implementation

A Process for Agent Societies Specification and Implementation (PASSI) is a step-by-step requirement-to-code methodology for designing and developing multi-agent societies, integrating design models and concepts from both object-oriented (OO) software engineering and artificial intelligence approaches using the UML notation. The models and phases of PASSI encompass representation of system requirements, social viewpoint, solution architecture, code production and reuse, and deployment configuration supporting mobility of agents. The methodology is illustrated by the well-known Bookstore case study.

From Requirements to Code with PASSI Methodology

2011 ◽  
pp. 79-106 ◽  
Author(s):  
Massimo Cossentino
Keyword(s):  
Artificial Intelligence ◽  
Software Engineering ◽  
Object Oriented ◽  
Design Models ◽  
Agent Societies ◽  
Multi Agent ◽  
System Requirements ◽  
Specification And Implementation

A Process for Agent Societies Specification and Implementation (PASSI) is a step-by-step requirement-to-code methodology for designing and developing multi-agent societies, integrating design models and concepts from both object-oriented (OO) software engineering and artificial intelligence approaches using the UML notation. The models and phases of PASSI encompass representation of system requirements, social viewpoint, solution architecture, code production and reuse, and deployment configuration supporting mobility of agents. The methodology is illustrated by the well-known Bookstore case study.

scholarly journals Logic programming for finding models in the logics of knowledge and its applications: A case study

2010 ◽  
Vol 10 (4-6) ◽  
pp. 675-690 ◽  
Author(s):  
C. BARAL ◽  
G. GELFOND ◽  
E. PONTELLI ◽  
T. SON
Keyword(s):  
Logic Programming ◽  
Modal Logics ◽  
Kripke Models ◽  
Kripke Structures ◽  
Multi Agent ◽  
Multi Agent Planning ◽  
Reasoning About Knowledge

AbstractThe logics of knowledge are modal logics that have been shown to be effective in representing and reasoning about knowledge in multi-agent domains. Relatively few computational frameworks for dealing with computation of models and useful transformations in logics of knowledge (e.g., to support multi-agent planning with knowledge actions and degrees of visibility) have been proposed. This paper explores the use of logic programming (LP) to encode interesting forms of logics of knowledge and compute Kripke models. The LP modeling is expanded with useful operators on Kripke structures, to support multi-agent planning in the presence of both world-altering and knowledge actions. This results in the first ever implementation of a planner for this type of complex multi-agent domains.

The use of intelligent agents in modeling an integrated information system of transport logistics

2020 ◽  
Vol 5 ◽  
pp. 59-66
Author(s):  
Y.M. Iskanderov ◽  
Keyword(s):  
Information System ◽  
Supply Chains ◽  
Intelligent Agents ◽  
Technological Processes ◽  
Transport Services ◽  
Wide Range ◽  
Integrated Information System ◽  
Multi Agent ◽  
Transport Logistics ◽  
Integrated Information

Aim. The use of intelligent agents in modeling an integrated information system of transport logistics makes it possible to achieve a qualitatively new level of design of control systems in supply chains. Materials and methods. The article presents an original approach that implements the possibilities of using multi-agent technologies in the interests of modeling the processes of functioning of an integrated information system of transport logistics. It is shown that the multi-agent infrastructure is actually a semantic shell of the information system, refl ecting the rules of doing business and the interaction of its participants in the supply chains. The characteristic of the model of the class of an intelligent agent, which is basic for solving problems of management of transport and technological processes, is given. Results. The procedures of functioning of the model of integration of information resources of the participants of the transport services market on the basis of intelligent agents are considered. The presented procedures provide a wide range of network interaction operations in supply chains, including traffi c and network structure “fl exible” control, mutual exchange of content and service information, as well as their distributed processing, and information security. Conclusions. The proposed approach showed that the use of intelligent agents in modeling the functioning of an integrated information system makes it possible to take into account the peculiarities of transport and technological processes in supply chains, such as the integration of heterogeneous enterprises, their distributed organization, an open dynamic structure, standardization of products, interfaces and protocols.

Sign in / Sign up

Export Citation Format

Share Document