A Perspective on Agent Systems, Krzysztof Cetnarowicz
Автор: Christopher Rouff; Michael Hinchey; James Rash; Wa Название: Agent Technology from a Formal Perspective ISBN: 1849969698 ISBN-13(EAN): 9781849969697 Издательство: Springer Рейтинг: Цена: 21661.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: What Is an Agent? And What Is an Agent Community?.- to Formal Methods.- Formal Methods and Agent-Based Systems.- A Process-Algebraic Agent Abstraction.- Dynamic Team Formation in Executable Agent-Based Systems.- Scenario-Based Engineering of Multi-Agent Systems.- Verification Within the KARO Agent Theory.- Assuring the Behavior of Adaptive Agents.- Agents in a Wild World.- Formal Methods at NASA Goddard Space Flight Center.- Formal Verification of Autonomy Models.
Описание: This volume presents the papers that have been accepted for the 2015 special sessions of the 13th International Conference on Practical Applications of Agents and Multi-Agent Systems, held at University of Salamanca, Spain, at 3rd-5th June, 2015: Agents Behaviours and Artificial Markets (ABAM);
Автор: Krzysztof Cetnarowicz Название: A Perspective on Agent Systems ISBN: 3319344889 ISBN-13(EAN): 9783319344881 Издательство: Springer Рейтинг: Цена: 13059.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph presents the concept of agents and agent systems. In order to form the principles of construction of autonomous agents, a model of the agent is introduced. Descriptions of different examples of applications of agent systems in such fields as evolution systems, mobile robot systems, artificial intelligence systems are given.
The monographic volume addresses, in a systematic and comprehensive way, the state-of-the-art dependability (reliability, availability, risk and safety, security) of systems, using the Artificial Intelligence framework of Probabilistic Graphical Models (PGM). After a survey about the main concepts and methodologies adopted in dependability analysis, the book discusses the main features of PGM formalisms (like Bayesian and Decision Networks) and the advantages, both in terms of modeling and analysis, with respect to classical formalisms and model languages.
Methodologies for deriving PGMs from standard dependability formalisms will be introduced, by pointing out tools able to support such a process. Several case studies will be presented and analyzed to support the suitability of the use of PGMs in the study of dependable systems.
The book outlines selected projects conducted under the supervision of the author. Moreover, it discusses significant relations between Interactive Granular Computing (IGrC) and numerous dynamically developing scientific domains worldwide, along with features characteristic of the author's approach to IGrC. The results presented are a continuation and elaboration of various aspects of Wisdom Technology, initiated and developed in cooperation with Professor Andrzej Skowron.
Based on the empirical findings from these projects, the author explores the following areas: (a) understanding the causes of the theory and practice gap problem (TPGP) in complex systems engineering (CSE);
(b) generalizing computing models of complex adaptive systems (CAS) (in particular, natural computing models) by constructing an interactive granular computing (IGrC) model of networks of interrelated interacting complex granules (c-granules), belonging to a single agent and/or to a group of agents;
(c) developing methodologies based on the IGrC model to minimize the negative consequences of the TPGP.
The book introduces approaches to the above issues, using the proposed IGrC model. In particular, the IGrC model refers to the key mechanisms used to control the processes related to the implementation of CSE projects.
One of the main aims was to develop a mechanism of IGrC control over computations that model a project's implementation processes to maximize the chances of its success, while at the same time minimizing the emerging risks. In this regard, the IGrC control is usually performed by means of properly selected and enforced (among project participants) project principles. These principles constitute examples of c-granules, expressed by complex vague concepts (represented by c-granules too). The c-granules evolve with time (in particular, the meaning of the concepts is also subject of change). This methodology is illustrated using project principles applied by the author during the implementation of the POLTAX, AlgoTradix, Merix, and Excavio projects outlined in the book.
Автор: Christopher Rouff; Michael Hinchey; James Rash; Wa Название: Agent Technology from a Formal Perspective ISBN: 1852339470 ISBN-13(EAN): 9781852339470 Издательство: Springer Рейтинг: Цена: 21661.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes examples of how others have applied formal methods to agent-based systems, and formal method tools and techniques that can be applied. This book provides a view of the key issues related to agent technology from a formal perspective. It points to the gaps and indicates problems to be addressed by researchers, students and practitioners.
Автор: Vladimir Marik; Thomas Strasser; Alois Zoitl Название: Holonic and Multi-Agent Systems for Manufacturing ISBN: 364203666X ISBN-13(EAN): 9783642036668 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The research of holonic and agent-based systems is developing very rapidly. We see an increased interest of the IEEE System, Man and Cybernetics Society, especially its Technical Committee on Distributed Intelligent Systems which leverages the experience gathered by the members of the former Ho- nic Manufacuting Systems (HMS) consortium.
Автор: Gordan Jezic; Mario Kusek; Yun-Heh Jessica Chen-Bu Название: Agent and Multi-Agent Systems: Technology and Applications ISBN: 3319593935 ISBN-13(EAN): 9783319593937 Издательство: Springer Рейтинг: Цена: 22359.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Personalized HealthCare and Agent Technologies.- Multiagent Environments for Dynamic Transportation Applications.- Microservices as Agents in IoT Systems.- Enhancing Tactical Information Assessment Using An Agent-Based Cognitive Architecture.- Security and Trust on Mobile Agent Platforms: A Survey.- A self-adaptive system for improving autonomy and public spaces accessibility for elderly.- Meaning Negotiation with defeasible logic.- Artificial Intelligence Techniques for the Puerto Rico Strategy Game.- Simple Bounded MTLK Model Checking for Timed Interpreted Systems.- An Algorithm for Allocating Structured Tasks in Multi-Robot Scenarios.- SAT- versus SMT-based BMC for TWIS and the Existential Fragment of WCTL with Knowledge.- Communication and Autonomous Control of Multi-UAV System in Disaster Response Tasks.- Decision Function Implementation in MAREA Simulations Influencing Financial Balance of Small-sized Enterprise.- Modelling of the Logistic Supplier-Consumer Behavior.- Multi-Agent BPMN Decision Footprint Towards Decision Collaboration Along Distributed BI Process.
Автор: Massimo Cossentino; Amal El Fallah Seghrouchni; Mi Название: Engineering Multi-Agent Systems ISBN: 3642453422 ISBN-13(EAN): 9783642453427 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the First International Workshop on Engineering Multi-Agent Systems, EMAS 2013, held in St. Paul, MN, USA, in May 2013. The focus of the papers is on following topics: agent-oriented software engineering, declarative agent languages and technologies, and programming multi-agent systems.
Автор: Bo An; Ana Bazzan; Jo?o Leite; Serena Villata; Lee Название: PRIMA 2017: Principles and Practice of Multi-Agent Systems ISBN: 3319691309 ISBN-13(EAN): 9783319691305 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.
Автор: Nils Bulling; Leendert van der Torre; Serena Villa Название: Computational Logic in Multi-Agent Systems ISBN: 3319097636 ISBN-13(EAN): 9783319097633 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014. The 12 regular papers were carefully reviewed and selected from 20 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
