Agent Technology from a Formal Perspective