MU: a development environment for prospective reasoning systems
Paul R. Cohen, Michael Greenberg, Jeff Delisio · National Conference on Artificial Intelligence · 1987
We describe a style of problem solving, prospective reasoning, and a development environment, MU, for building prospective reasoning systems. Prospective reasoning is a form of planning in which knowledge of the state of the world and the effects of actions is incomplete. We illustrate one implementation of prospective reasoning in MU with examples from medical diagnosis.