Alternating-time temporal logic has been widely used as the specification language of open systems, and its model checking is one of the most important verification methods for open systems. To describe and check the properties of the open systems with fuzzy uncertainty information, we propose fuzzy alternating-time temporal logic and discuss its model-checking problem. Firstly, we present two semantics, the path semantics and the fixed point semantics, which are equal in value. Based on the result, the model-checking algorithm is given and its time complexity is discussed.