Title

Generating Text With A Theorem Prover

Abstract

The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Statecharts with particular focus on the correctness of the result in the sense that the document will present all and only the facts corresponding to the design being documented. Our approach is to translate the Statechart into a propositional formula, then translate this formula into a natural language report. In the later translation pragmatic effects arise due to the way the information is presented. Whereas such effects can be difficult to quantify, we account for them within an abstract framework by applying a series of transformations on the structure on the report while preserving soundness and completeness of the logical content. The result is an automatically generated hypertext report that is both logically correct and, to a relatively high degree of confidence, free of misleading implicatures.

Publication Date

1-1-2000

Publication Title

Proceedings of the 1st Meeting of the North American Chapter of the Association for Computational Linguistics, NAACL 2000 - co-located with 6th Applied Natural Language Processing Conference, ANLP 2000 - Student Research Workshop

Number of Pages

13-18

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

Socpus ID

85120165045 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/85120165045

This document is currently not available here.

Share

COinS