Newsgroups: comp.ai.nat-lang
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!gatech!swrinde!pipex!news.oleane.net!oleane!jussieu.fr!univ-lyon1.fr!swidir.switch.ch!scsing.switch.ch!josef!ifimac29.ifi.unizh.ch!user
From: fuchs@ifi.unizh.ch (Norbert E. Fuchs)
Subject: Re: controlled languages?
Message-ID: <fuchs-2601951330290001@ifimac29.ifi.unizh.ch>
Sender: news@ifi.unizh.ch (USENET News Admin)
Nntp-Posting-Host: ifimac29
Organization: IFI University of Zurich
References: <790969046.973@minster.york.ac.uk>
Date: Thu, 26 Jan 1995 12:30:29 GMT
Lines: 59

In article <790969046.973@minster.york.ac.uk>, miles@minster.york.ac.uk wrote:

> Greetings.  I've started a project on requirements analysis and
> I'll be looking at the application of a controlled language to
> express such requirements.  Can anyone point me to any relevant
> papers that would be useful?  As per usual, I'll summarise if there
> is enough interest.
> 
-------------------------------------------------------------------------
The following technical report is available by anonymous ftp from

        ftp.ifi.unizh.ch [130.60.48.8]

        /pub/techreports/ifi-94-17.ps.Z

Log in as "anonymous", use your email address as your password, 
specify "binary" before getting the file. Uncompress before 
printing. 

The directory /pub/techreports contains a file INDEX listing all 
technical reports currently available. If you are interested in periodical
information about new IFI technical reports, e-mail to tr@ifi.unizh.ch

%0 Report
%A Fuchs, Norbert E.
%A Hofmann, Hubert F.
%A Schwitter, Rolf
%D 1994
%T Specifying Logic Programs in Controlled Natural Language
%I Department of Computer Science, University of Zurich
%8 November 94
%R 94.17
%F Fuchs et al. 94
%X Writing specifications for computer programs is not easy since 
one has to take into account the disparate conceptual worlds of the 
application domain and of software development. To bridge this 
conceptual gap we propose controlled natural language as a 
declarative and application-specific specification language. 
Controlled natural language is a subset of natural language that can 
be accurately and efficiently processed by a computer, but is 
expressive enough to allow natural usage by non-specialists. 
Specifications in controlled natural language are automatically 
translated into Prolog clauses, hence become formal and executable. 
The translation uses a definite clause grammar enhanced by feature 
structures. Inter-text references of the specification, e.g. 
anaphora, are resolved by discourse representation theory. The 
generated Prolog clauses are added to a knowledge base, and 
furthermore provide the input of a concept lexicon. We have 
implemented a prototypical specification system that successfully 
processes the greater part of the specification of a simple 
automated teller machine.
-------------------------------------------------------------------------

--------------------------------------------------------------------
Norbert E. Fuchs                        Telephone +41-1-257 43 13
Department of Computer Science          Fax       +41-1-363 00 35
University of Zurich                    Email     fuchs@ifi.unizh.ch
CH-8057 Zurich, Switzerland
--------------------------------------------------------------------
