Organising Logic-Based Agents
Benjamin Hirsch2002, Formal Approaches to Agent-Based …
Sign up for access to the world's latest research
checkGet notified about relevant papers
checkSave papers to use in your research
checkJoin the discussion with peers
checkTrack your impact
Abstract
In this paper we address the task of organising multi-agent systems in order to collectively solve problems. We base our approach on a logical model of rational agency comprising a few simple, but powerful, concepts. While many other researchers have tackled this problem using formal logic, the important aspect of the work described here is that the logical descriptions of the agents are directly executable using the Concurrent MetateM framework, allowing the execution of agents described in a combination of temporal, belief and ability logics. Here, we are particularly concerned with exploring some of the possible logical constraints that may be imposed upon these agents, and how these constraints affect the ability of the agents to come together to collectively solve problems.
Related papers
Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers
2003
In this paper we address the task of organising multi-agent systems in order to collectively solve problems. We base our approach on a logical model of rational agency comprising a few simple, but powerful, concepts. While many other researchers have tackled this problem using formal logic, the important aspect of the work described here is that the logical descriptions of the agents are directly executable using the Concurrent MetateM framework, allowing the execution of agents described in a combination of temporal, belief and ability logics. Here, we are particularly concerned with exploring some of the possible logical constraints that may be imposed upon these agents, and how these constraints affect the ability of the agents to come together to collectively solve problems.
Rational Teams: Logical Aspects of Multi-Agent Systems
Fundamenta Informaticae, 2004
This paper describes a possible extension to the logical framework KARO to make it able to handle multiple agents. The KARO framework, which was initially developed by van der Hoek, van Linder and Meyer, makes use of epistemic and dynamic logics to express rational agents. These agents are capable of reasoning about their own actions and, somewhat limited, about the
A logic based approach to multi-agent systems
ALP Newsletter, 2001
The research group at CENTRIA UNL in Lisbon, in collaboration with Ferrara and Linköping, has been quite active in the field of Logic Programming (LP) geared towards rational agents over several years, and has investigated a spate of rational agent functionalities and their implementations. In particular, the Lisbon group has been active in the fields of learning, abduction, updating, argumentation, paraconsistency, belief revision, soft LP, contradicition removal, diagnosis, and debugging1. These research directions are all included in the ...
Multi-Agent Systems
2008
We review the state of the art in knowledge representation formalisms for multi-agent systems. We divide work in this area into two categories. In the first category are approaches that attempt to represent the cognitive state of rational agents, and to characterize logically how such a state leads a rational agent to act. We begin by motivating this approach. We then describe four of the best-known such logical frameworks, and discuss the possible roles that such logics can play in helping us to engineer artificial agents. In the second category are approaches based on representing the strategic structure of a multi-agent environment, and in particular, the powers that agents have, either individually or in coalitions. Here, we describe Coalition Logic, Alternatingtime Temporal Logic (ATL), and epistemic extensions.
Special Issue on Logical Aspects of Multi-Agent Systems
Studia Logica, 2016
There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The workshop Logical Aspects of Multi-Agent Systems (LAMAS) serves the community as a platform for presentation, exchange, and publication of ideas. The idea for and the name of LAMAS actually emerged independently at two lo
Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings
2011
This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011. The 22 papers presented were carefully reviewed and selected from 43 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. This volume features five thematic special sessions: ...
Computational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
2006
This book constitutes the strictly refereed post-proceedings of the 6th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VI. The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article are organized in topical sections on foundational aspects of agency, agent programming, agent interaction and normative systems, the first CLIMA contest, and on the project report of the SOCS project.
A logic for characterizing multiple bounded agents
Autonomous Agents and Multi-Agent Systems, 2000
Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings
2010
In this talk I shall try and argue that appropriate techniques based on formalisms based on modal logic provide a powerful tool for the specification and verification of multiagent systems. The talk will consist of two parts. In the first part the idea of specifications of multiagent systems by means of temporal epistemic logic will be put forward and the main results presented. In the second, attention will be given to the problem of verifying that a multiagent system follows said specifications; the main techniques for verification by model checking (via OBDD and SAT) will be introduced and demonstrated.
An MDE Approach for Modelling and Reasoning About Multi-agent Systems
Lecture Notes in Computer Science, 2017
Epistemic logic plays an important role in artificial intelligence for reasoning about multi-agent systems. Current approaches for modelling multi-agent systems with epistemic logic use Kripke semantics where the knowledge base of an agent is represented as atomic propositions, but intelligent agents need to be equipped with formulas to derive implicit information. In this paper, we propose a metamodelling approach where agents' state of affairs are separated in different scopes, and the knowledge base of an agent is represented by a propositional logic language restricted to Horn clauses. We propose to use a model driven approach for the diagrammatic representation of multi-agent systems knowledge (and nested knowledge). We use a message passing for updating the state of affairs of agents and use belief revision to update the knowledge base of agents.
Related papers
Agent Coordination and Control Through Logic Theories
Topics in Artificial Intelligence, 1995
Special issue on logics for intelligent agents and multi-agent systems
Journal of Applied Logic, 2011
This issue reports on the latest developments in formal approaches to intelligent agents and multi-agent systems based on modal logics and their applications on various aspects of agency. Intelligent agents, be it on their own or as part of a multi-agent system, operate in a dynamic and complex environment and hence they need to be able to cope with uncertainty and reason with often incomplete information. Agents must interact and also cooperate with one another to be able to meet their intended goals. Formal approaches may assist the developers of agent-based systems in modelling and verifying that the actions of intelligents agents and multi-agent interactions will lead to a desirable outcome. In order to develop theories to specify and reason about various aspects of intelligent agents and multi-agent systems, many researchers have therefore proposed the use of modal logics such as logics of beliefs, knowledge, norms, obligations and time, as these are among the concepts that are critical to an understanding of intelligent agent behaviour.
Logic and artificial intelligence for multi-agent systems
Proceeding of the 2007 …, 2007
Where logic and agents meet
Annals of Mathematics and Artificial Intelligence, 2011
Multi agent systems have been invented 20 years ago and the theory has matured in the last two decades. Logic has and still is playing a prominent part in the basic foundations of agency and also in the development of agent programming languages, the specification and verification of agent systems. This paper is a (subjective) overview of the points of contact of logic and agents as the authors perceived it over the years.
A Logic Based Asynchronous Multi-Agent System
Electronic Notes in Theoretical Computer Science, 2002
Over recent years, the notion of agency has claimed a major role in defining the trends of modern research. Influencing a broad spectrum of disciplines such as Sociology, Psychology, among others, the agent paradigm virtually invaded every sub-field of Computer Science, not least because of the Internet and Robotics.
LMT: A Lightweight Logical Framework for Multi-agent Systems
Logics Modulo Theories, LMT, is a logical framework specially designed to support the work of multi-agent systems. It is a system that allows local logics to communicate through a global system that uses its own logic. In two earlier papers we considered various diverse local logics used to represent ontologies (e.g. first order logic, description logic) and in the global level we used a propositional logic. (The method has similarities with, but goes beyond, SMT, Satisfiability Modulo Theories.) However, at that time, we only gently hinted how this applies to multi-agent systems and since it lacked quantification capabilities in the upper logic. In this paper we present a full blown support for multi-agent system, the use of the modal logic S5, in the global level. The following are the theses of this paper : a) when used for combining logics, in comparison to other methods, LMT produces a more elegant and simpler logical system which is appropriate for multi-agent work, b) the ideal properties of its component logics, namely -soundness and completeness are transferrable to the resulting logic, c) the proofs for these are very straightforward because LMT uses well-established technology.
Multi-Agent Logics, Languages, and Organisations
The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW for short), in its second edition this year after the success of MALLOW'007 held in Durham (UK), is a forum for researchers interested in sharing their experiences in agents and multi-agent systems. MALLOW'009 was held at the Educatorio della Provvidenza, in Torino (Italy), from September 7th, 2009 through September 10th, 2009.
Programming groups of rational agents
Computational Logic in Multi-Agent …, 2005
Over recent years, the notion of agency has claimed a major role in defining the trends of modern research. Influencing a broad spectrum of disciplines such as Sociology, Psychology, Philosophy and many more, the agent paradigm virtually invaded every sub-field of Computer Science, not least because of the Internet and Robotics.
DALI: An architecture for intelligent logical agents
2008
Abstract Many interesting architectures for defining intelligent agents have been proposed in the last years. Logic-based architectures have proved effective for reproducing “intelligent” behavior while staying within a rigorous formal setting. In this paper, we present the DALI multi-agent architecture, a logic framework for defining intelligent agents and multiagent systems.
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.