Researching On The Answer Set Programming To The Cooperation Conflict Strategy In RoboCup MSL

Answer set programming as a tool for non-monotonic reasoning knowledge representation and reasoning, it has good reasoning ability. In recent years, with the mature of answer set programming theory and improving of solver efficiency, answer set programming has got attention gradually and ap-plied in different fields.RoboCup middle size league as a good platform for the practice of artificial intelligence, its coach program has higher requirements for autonomous decision-making and reasoning. The reasoning ability of answer set programming can satisfy the requirements of the coach program. Thus, it provide a chance for answer set programming to apply itself in RoboCup MSL.1. Using TIS camera, coding the software of Vision System. Using ATxmega chip, designing the cir-cuit of Omni-moving system and coding the software. Coding the Coach Machine Software. Testing whole these works in RoboCup competition and collecting data. 2. According to the data collected during competition, analyzing the reason that conflict happened based on the monotonicity of statement logic.3. Presenting the solution by using the no-monotonicity tool·Answer Set Programming and building the knowledge base.4. Based on the real situation appeared during competition, transforming the Coach Machine software to a finite state machine through stateflow to prove that Answer Set Programming can efficiently resolve the conflict in the Coach Machine software.Using stateflow to transfer coach machine into finite status machine, this article simulates the con-flict happening in three condition, such as the ideal condition with two robots and a ball, adding obsta-cles into ideal condition and adding obstacles and moving ball into ideal condition. After comparing the results of simulation with the results of Answer Set Programming, it can be proved that Answer Set Programing can actually resolve the conflicts appearing in the Coach Machine.