Computational Logic in Multi-Agent Systems
Publication year: 2005
ISBN: 978-3-540-30200-1
Internet Resource: Please Login to download book
Though multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing methods suffer from two flaws. First, a centralized survivability algorithm (CSA) ensures survivability of the MAS – unfortunately, if the node on which the CSA exists goes down, the survivability of the MAS is questionable. Second, no mechanism exists to change how the MAS is deployed when external factors trigger a re-evaluation of the survivability of the MAS. In this paper, we present three algorithms to address these two important problems. Our algorithms can be built on top of any CSA. Our algorithms are completely distributed and can handle external triggers to compute a new deployment. We report on experiments assessing the efficiency of these algorithms.
Subject: Computer Science, AI logics, BDI agents, MAS, agent communication, algorithms, computational logic, formal methods, formal reasoning, knowledge processing, learning, logic, logic programming, mathematical logic, multi-agent system, multi-agent systems
