A-Prolog based service discovery in MAS

In multi-agent systems, middle agents are used to perform service discovery for cooperation. We proposed an A-Prolog based capability matchmaking for service discovery, and through plan checking, to determine if an agent has the ability to achieve a given goal.