Robot Cooperative Problem Solving Using Concurrent Member System Programming Language

This paper introduces and proves the intractability of the problem of dual robots cooperative problem solving in a simulated world, discusses a knowledge-based cooperative problem solverwhich is developed by concurrent member system programming language MS-1 supporting cooperativeproblem solving.