世界上第一次正式的AI会议于（）年召开，JohnMoCarthy正式提出“ArtificialIntelligence”这一术语。