Specification and verification of agent interaction using abductive reasoning (tutorial paper)