Abstraction in Artificial Intelligence

One of the field in which models of abstraction have been proposed is Artificial Intelligence (AI). This chapter has two parts: one presents an overview of the formal models, either syntactic or semantic, mostly based on logical approaches, whereas the other one describes the use of abstraction in AI, starting from ABSTRIP, and spanning planning, knowledge representation, Constraint Satisfaction Problems, and Multi-Agent Systems.