Computer Science – Computation and Language
Scientific paper
1995-07-21
Proceedings CLNLP 95, COMPULOGNET/ELSNET/EAGLES
Computer Science
Computation and Language
16 pages, compressed, uuencoded Postscript, published in Proceedings CLNLP 95, COMPULOGNET/ELSNET/EAGLES Workshop on Computati
Scientific paper
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 (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.
Fuchs Norbert E.
Schwitter Rolf
No associations
LandOfFree
Specifying Logic Programs in Controlled Natural Language 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 Specifying Logic Programs in Controlled Natural Language, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Specifying Logic Programs in Controlled Natural Language will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-155854