This article identifies a variety of motivations for IP models; introduces various formal models that are broadly in this area; and discusses some open problems for these frameworks. The focus will be on formal models of belief.