Multi-agent　cooperation　logic　gained　great　research　interest　in　multi-agent　systems　community　in　the　last　five　years.　In　this　paper,　general　concurrent　game　structures　are　developed　based　on　extending　concurrent　game　structures.　By　introducing　three　kinds　of　belief　operators　into　ATL　(Alternating-time　Temporal　Logic),　a　new　multi-agent　cooperation　logic　named　ATBL　(Alternating-time　Temporal　Belief　Logic)　is　developed.　And　then　normative　ability　is　introduced　into　ATBL,　and　NATBL　is　developed.　Further　research　is　undertaken　to　model　cooperative　problem　solving　process　based　on　these　new　logics.　©　2008　IEEE.