An Optimal Itinerary Generation in a Configuration Space of Large Intellectual Agent Groups with Linear Logic