What to consider when developing a formal AI policy, from an Ohio CIO who has been leading the effort to draft his district’s policy.