Browse Prior Art Database

Logical Annotation of Technical Documents

IP.com Disclosure Number: IPCOM000101314D
Original Publication Date: 1990-Jul-01
Included in the Prior Art Database: 2005-Mar-16
Document File: 2 page(s) / 88K

Publishing Venue

IBM

Related People

Ryman, AG: AUTHOR

Abstract

Technical professionals often write complex documents that form the basis for further work byproducts. The completeness and correctness of the information in these documents needs to be verified so that defects are not introduced into the further work byproducts. For example, software engineers write design specifications that are used to construct software systems. Design specifications must be verified to prevent defects from being introduced into the software. This invention is a method for automating both the verification of complex documents, and the creation of further work byproducts from them.

This text was extracted from an ASCII text file.
This is the abbreviated version, containing approximately 52% of the total text.

Logical Annotation of Technical Documents

       Technical professionals often write complex documents
that form the basis for further work byproducts.  The completeness
and  correctness of the information in these documents needs to be
verified so that defects are not introduced into the further work
byproducts. For example, software engineers write design
specifications that are used to construct software systems.  Design
specifications must be verified to prevent defects from being
introduced into the software. This invention is a method for
automating both the verification of complex documents, and the
creation of further work byproducts from them.

      The invention is a technique for writing technical documents
that are both verifiable and directly usable for the creation of
subsequent work byproducts.  The main idea is to annotate the
document with logic assertions that express the information content
of those facts that are to be verified and subsequently used.  The
logical annotations have the property that they can be automatically
extracted from the document and formed into a knowledge base.  The
knowledge base can then be verified using rules defined by the
author.  It can also be used as input data for subsequent work
byproducts.  See the figure for an illustration of the information
flow.

      The invention consists of the following parts:
 *   A notation for logically annotating text.  This feature allows a
precise logical assertion to accompany a sentence written in natural
language.  This has the following benefits.

      First, since the logical assertion is placed near the sentence
it describes, the author can easily verify its accuracy.  It is
easier to verify that a logical assertion follows from a preceding
sentence, than to verify that a sentence is consistent with other
sentences that may be widely separated from it in a document.  This
reduces the author's burden to checking the local correctness of the
document and leaves the burden of checking its global correctness to
the inference engine.

      Second, it allows the logical assertions to be automatical...