Deriving Procedural and Warning Instructions from Device and Environment Models
<|reference_start|>Deriving Procedural and Warning Instructions from Device and Environment Models: This study is centred on the generation of instructions for household appliances. We show how knowledge about a device, together with knowledge about the environment, can be used for reasoning about instructions. The information communicated by the instructions can be planned from a version of the knowledge of the artifact and environment. We present the latter, which we call the {\it planning knowledge}, in the form of axioms in the {\it situation calculus}. This planning knowledge formally characterizes the behaviour of the artifact, and it is used to produce a basic plan of actions that the device and user take to accomplish a given goal. We explain how both procedural and warning instructions can be generated from this basic plan.   In order to partially justify that instruction generation can be automated from a formal device design specification, we assume that the planning knowledge is {\it derivable\/} from the device and world knowledge.<|reference_end|>
@article{ansari1995deriving,
    title={Deriving Procedural and Warning Instructions from Device and Environment
  Models},
    author={Daniel Ansari (University of Toronto)},
    journal={arXiv preprint arXiv:cmp-lg/9506022},
    year={1995},
    number={CSRI-329},
    archivePrefix={arXiv},
    eprint={cmp-lg/9506022},
    primaryClass={cmp-lg cs.CL}
}