Deriving Procedural and Warning Instructions from Device and Environment Models

Details Deriving Procedural and Warning Instructions from Device and Environment Models Deriving Procedural and Warning Instructions from Device and Environment Models

1995-06-24

arxiv.org/abs/cmp-lg/9506022v2

Computer Science

Computation and Language

63 pages, uses authdate.sty

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Deriving Procedural and Warning Instructions from Device and Environment Models does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Deriving Procedural and Warning Instructions from Device and Environment Models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Deriving Procedural and Warning Instructions from Device and Environment Models will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-195743