Proceedings of the Annual Meeting of the Cognitive Science Society

This essay conjectures that an author's planning process will be facilitated by a tool that represents his plan at various levels of abstraction as a network of subgoals, with the subgoals not necessarily restricted to a linear order. Machine reasoning on such structures has been explored in artificial intelligence research; our proposal is to make these structures available to the writer as a calculus for representing his essays and to use the computer