Optimal Methods for Reasoning about Actions and Plans in Multi-agent Systems PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Optimal Methods for Reasoning about Actions and Plans in Multi-agent Systems PDF full book. Access full book title Optimal Methods for Reasoning about Actions and Plans in Multi-agent Systems by Tiago de Lima. Download full books in PDF and EPUB format.
Author: Tiago de Lima
Publisher:
ISBN:
Category :
Languages : en
Pages : 132
Get Book Here
Book Description
This work presents a solution to the inferential frame problem. We do so by providing a polynomial reduction from a fragment of situation calculus to espistemic dynamic logic (DEL). Then, a novel proof method for DEL, such that the computational complexity is much lower than that of Retier's proof method for situation caluculs, is proposed. This work also presents a new logic for reasoning about actions. This logic allows to formally express that "there exists a sequence of actions that leads to the goal". The idea is that, with quantification over actions, planning can become a validity problem. An axiomatisation and some expressivity results are provided, as well as a proof method based on sematic tableaux.
Author: Tiago de Lima
Publisher:
ISBN:
Category :
Languages : en
Pages : 132
Get Book Here
Book Description
This work presents a solution to the inferential frame problem. We do so by providing a polynomial reduction from a fragment of situation calculus to espistemic dynamic logic (DEL). Then, a novel proof method for DEL, such that the computational complexity is much lower than that of Retier's proof method for situation caluculs, is proposed. This work also presents a new logic for reasoning about actions. This logic allows to formally express that "there exists a sequence of actions that leads to the goal". The idea is that, with quantification over actions, planning can become a validity problem. An axiomatisation and some expressivity results are provided, as well as a proof method based on sematic tableaux.
Author: Fariba Sadri
Publisher: Springer
ISBN: 3540888330
Category : Computers
Languages : en
Pages : 309
Get Book Here
Book Description
Multi-agent systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in - ti?cial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become widely popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to edu- tional aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, and ambient intelligence, to cite only some. Computational logic provides a well-de?ned, general, and rigorous framework for studying syntax, semantics, and procedures for various capabilities and fu- tionalities of individual agents, as well as interaction amongst agents in multi-agent systems. It also provides a well-de?ned and rigorous framework for implemen- tions, environments, tools, and standards, and for linking together speci?cation and veri?cation of properties of individual agents and multi-agent systems. The CLIMA workshop series was founded to provide a forum for discussing, presenting, and promoting computational logic-based approaches in the design, development, analysis, and application of multi-agent systems.
Author: Jianye Hao
Publisher: Springer
ISBN: 3662494701
Category : Technology & Engineering
Languages : en
Pages : 184
Get Book Here
Book Description
This book mainly aims at solving the problems in both cooperative and competitive multi-agent systems (MASs), exploring aspects such as how agents can effectively learn to achieve the shared optimal solution based on their local information and how they can learn to increase their individual utility by exploiting the weakness of their opponents. The book describes fundamental and advanced techniques of how multi-agent systems can be engineered towards the goal of ensuring fairness, social optimality, and individual rationality; a wide range of further relevant topics are also covered both theoretically and experimentally. The book will be beneficial to researchers in the fields of multi-agent systems, game theory and artificial intelligence in general, as well as practitioners developing practical multi-agent systems.
Author: Nikos Vlassis
Publisher: Morgan & Claypool Publishers
ISBN: 1598295276
Category : Technology & Engineering
Languages : en
Pages : 84
Get Book Here
Book Description
Multiagent systems is an expanding field that blends classical fields like game theory and decentralized control with modern fields like computer science and machine learning. This monograph provides a concise introduction to the subject, covering the theoretical foundations as well as more recent developments in a coherent and readable manner. The text is centered on the concept of an agent as decision maker. Chapter 1 is a short introduction to the field of multiagent systems. Chapter 2 covers the basic theory of singleagent decision making under uncertainty. Chapter 3 is a brief introduction to game theory, explaining classical concepts like Nash equilibrium. Chapter 4 deals with the fundamental problem of coordinating a team of collaborative agents. Chapter 5 studies the problem of multiagent reasoning and decision making under partial observability. Chapter 6 focuses on the design of protocols that are stable against manipulations by self-interested agents. Chapter 7 provides a short introduction to the rapidly expanding field of multiagent reinforcement learning. The material can be used for teaching a half-semester course on multiagent systems covering, roughly, one chapter per lecture.
Author: João Leite
Publisher: Springer
ISBN: 3642406246
Category : Computers
Languages : en
Pages : 413
Get Book Here
Book Description
This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013. The 23 regular papers were carefully reviewed and selected from 44 submissions and presented with four invited talks. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This edition will feature two special sessions: Argumentation Technologies and Norms and Normative Multi-Agent Systems.
Author: John-Jules Meyer
Publisher: Springer
ISBN: 3642053017
Category : Computers
Languages : en
Pages : 168
Get Book Here
Book Description
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Knowledge Representation for Agents and Multi-Agent Systems, KRAMAS 2008, held in Sydney, Australia, in September 2008 as a satellite event of KR 2008, the 11th International Conference on Principles of Knowledge Representation and Reasoning. The 10 revised full papers presented were carefully reviewed and selected from 14 submissions. The papers foster the cross-fertilization between the KR (knowledge representation and reasoning) and agent communities, by discussing knowledge representation theories and techniques for agent-based systems.
Author: Lin, Hong
Publisher: IGI Global
ISBN: 1599041103
Category : Computers
Languages : en
Pages : 442
Get Book Here
Book Description
"This book is a compilation of advanced research results in architecture and modeling issues of multi-agent systems. It serves as a reference for research on system models, architectural design languages, methods and reasoning, module interface design, and design issues"--Provided by publisher.
Author: Jürgen Dix
Publisher: Springer
ISBN: 3642149774
Category : Computers
Languages : en
Pages : 269
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XI, held in Lisbon, Portugal in August 2010. The 14 papers included in this volume were carefully reviewed and selected from 31 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. CLIMA 2010 featured two thematic special sessions on norms and normative multi-agent systems and logics for games and strategic reasoning.
Author: Weixiong Zhang
Publisher: IOS Press
ISBN: 9781586034566
Category : Computers
Languages : en
Pages : 240
Get Book Here
Book Description
Distributed and multi-agent systems are becoming more and more the focus of attention in artificial intelligence research and have already found their way into many practical applications. An important prerequisite for their success is an ability to flexibly adapt their behavior via intelligent cooperation. Successful reasoning about and within a multiagent system is therefore paramount to achieve intelligent behavior. Distributed Constraint Satisfaction Problems (DCSPs) and Distributed Constraint Optimization (minimization) Problems (DCOPs) are perhaps ubiquitous in distributed systems in dynamic environments. Many important problems in distributed environments and systems, such as action coordination, task scheduling and resource allocation, can be formulated and solved as DCSPs and DCOPs. Therefore, techniques for solving DCSPs and DCOPs as well as strategies for automated reasoning in distributed systems are indispensable tools in the research areas of distributed and multi-agent systems. They also provide promising frameworks to deal with the increasingly diverse range of distributed real world problems emerging from the fast evolution of communication technologies.The volume is divided in two parts. One part contains papers on distributed constraint problems in multi-agent systems. The other part presents papers on Agents and Automated Reasoning.
Author: Luis Fariñas del Cerro
Publisher: Springer
ISBN: 3642333532
Category : Computers
Languages : en
Pages : 508
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of logic for artificial intelligence.
