Distributed Constraint Satisfaction Among Android Devices
暂无分享,去创建一个
The constraint satisfaction problem (CSP) has been widely studied in the AI literature, where the aim of this problem is to find an assignment of values to variables that satisfies all constraints. A distributed CSP (DisCSP) is a CSP where variables and constraints are distributed among agents. Various application problems in multi-agent systems can be formalized as DisCSPs. The asynchronous backtracking (ABT) algorithm has been developed for solving DisCSPs in a distributed manner. In this paper, we implement the ABT algorithm as an Android application, which we call ABT on Androids. We evaluate our application by solving the 2-queens problem.
[1] Makoto Yokoo,et al. Distributed Problem Solving , 2012, AI Mag..
[2] Makoto Yokoo,et al. Adopt: asynchronous distributed constraint optimization with quality guarantees , 2005, Artif. Intell..
[3] Gerhard Weiss,et al. Multiagent Systems , 1999 .
[4] Makoto Yokoo,et al. The Distributed Constraint Satisfaction Problem: Formalization and Algorithms , 1998, IEEE Trans. Knowl. Data Eng..
[5] Alan K. Mackworth. Constraint Satisfaction , 1985 .