Real-Time Bidirectional Search: Coordinated Problem Solving in Uncertain Situations

This paper investigates real-time bidirectional search (RTBS) algorithms, where two problem solvers, starting from the initial and goal states, physically move toward each other. To evaluate the RTBS performance, two kinds of algorithms are proposed and are compared to real-time unidirectional search. One is called centralized RTBS where a supervisor always selects the best action from all possible moves of the two problem solvers. The other is called decoupled RTBS where no supervisor exists and the two problem solvers independently select their next moves. Experiments on mazes and n-puzzles show that: 1) in clear situations decoupled RTBS performs better, while in uncertain situations, centralized RTBS becomes more efficient; and 2) RTBS is more efficient than real-time unidirectional search for 15-and 24-puzzles but not for randomly generated mazes. It is shown that the selection of the problem solving organization is the selection of the problem space, which determines the baseline of the organizational efficiency; once a difficult problem space is selected, the local coordination among problem solvers hardly overcome the deficit.

[1]  Dennis de Champeaux,et al.  An Improved Bidirectional Heuristic Search Algorithm , 1975, JACM.

[2]  Toru Ishida,et al.  Two is Not Always Better than One: Experiences in Real-Time Bidirectional Search , 1995, ICMAS.

[3]  Toru Ishida,et al.  Towards organizational problem solving , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[4]  Les Gasser,et al.  Representing and using organizational knowledge in DAI systems , 1989 .

[5]  Edmund H. Durfee,et al.  Coherent Cooperation Among Communicating Problem Solvers , 1987, IEEE Transactions on Computers.

[6]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[7]  James B. H. Kwa,et al.  BS*: An Admissible Bidirectional Staged Heuristic Search Algorithm , 1989, Artif. Intell..

[8]  Mark S. Fox,et al.  An Organizational View of Distributed Systems , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[9]  Richard E. Korf,et al.  Moving-Target Search: A Real-Time Search for Changing Goals , 1995, IEEE Trans. Pattern Anal. Mach. Intell..

[10]  Dennis de Champeaux,et al.  Bidirectional Heuristic Search Again , 1983, JACM.

[11]  Richard E. Korf,et al.  Depth-First Iterative-Deepening: An Optimal Admissible Tree Search , 1985, Artif. Intell..

[12]  Martha E. Pollack,et al.  Introducing the Tileworld: Experimentally Evaluating Agent Architectures , 1990, AAAI.

[13]  Makoto Yokoo,et al.  Organization Self-Design of Distributed Production Systems , 1992, IEEE Trans. Knowl. Data Eng..

[14]  Mario Tokoro,et al.  The Trailblazer Search: A New Method for Searching and Capturing Moving Targets , 1994, AAAI.

[15]  R. VictorLesser,et al.  An Overview of DAI : Viewing Distributed AI as Distributed Search , 1990 .

[16]  Randall W. Hill,et al.  Representing and Using Organizational Knowledge in Distributed AI Systems , 1989, Distributed Artificial Intelligence.

[17]  Stuart J. Russell,et al.  Do the right thing , 1991 .

[18]  Toru Ishida,et al.  Moving Target Search with Intelligence , 1992, AAAI.

[19]  Richard E. Korf,et al.  Moving Target Search , 1991, IJCAI.

[20]  Ira Pohl,et al.  D-Node Retargeting in Bidirectional Heuristic Search , 1984, AAAI.

[21]  Richard E. Korf,et al.  Real-Time Heuristic Search , 1990, Artif. Intell..

[22]  Judea Pearl,et al.  Heuristics : intelligent search strategies for computer problem solving , 1984 .