Newsgroups: de.sci.ki.announce,comp.ai.nat-lang,ch.si.general,ch.si.sgaico,comp.specification
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.mathworks.com!news.kei.com!simtel!fu-berlin.de!zrz.TU-Berlin.DE!news.belwue.de!news.belwue.de!scsing.switch.ch!josef!ifimac65.ifi.unizh.ch!user
From: fuchs@ifi.unizh.ch (Norbert E. Fuchs)
Subject: New TR:Specifying Logic Programs in Controlled Natural Language
Message-ID: <fuchs-0706951432090001@ifimac65.ifi.unizh.ch>
Sender: news@ifi.unizh.ch (USENET News Admin)
Nntp-Posting-Host: ifimac65
Organization: IFI University of Zurich
Date: Wed, 7 Jun 1995 13:32:09 GMT
Lines: 52
Xref: glinda.oz.cs.cmu.edu comp.ai.nat-lang:3434 comp.specification:3168

The following technical report is available by anonymous ftp from

   ftp.ifi.unizh.ch [130.60.48.8] in pub/techreports

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.


Alternatively, the report can be obtained via WWW. Use the URL

   http://www.ifi.unizh.ch/techreports/

and continue to the directory you are interested in.


(File pub/techreports/ifi-95.17.ps.Z)

%0 Report
%A Fuchs, Norbert E.
%A Schwitter, Rolf
%D 1995
%T Specifying Logic Programs in Controlled Natural Language
%I Department of Computer Science, University of Zurich
%R 95.17
%XWriting specifications for computer programs is not easy since one has
to take nto 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 (DCG) enhanced by feature structures.
Inter-text references of the specification, e.g. anaphora, are resolved with
the help of discourse representation theory (DRT). The generated Prolog
clauses are added to a knowledge base. We have implemented a prototypical
specification system that successfully processes the specification of a
simple automated teller machine.

(Presented at CLNLP 95, Workshop on Computational Logic for Natural
Language Processing, Edinburgh, April 3-5, 1995).

--------------------------------------------------------------------
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
--------------------------------------------------------------------
