Abstract
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are difficult to learn and to remember for non-specialists, authors should be able to write specifications texts in a well-defined subset of English that can be unambiguously processed by a computer. This subset of computer-processable English (PENG) consists of a restricted grammar and lexicon and is used together with an intelligent text editor that guides the writing process. The editor of the PENG system communicates with a language processor that generates logical structures while the author writes a specification text. The language processor is connected via a server with reasoning services that allow for acceptability checking and question answering. Texts written in PENG look seemingly informal and are easy to write and understand for humans but have first-order equivalent properties.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bos, J.: DORIS 2001: Underspecification, Resolution and Inference for Discourse Representation Structures. In: Blackburn, Kohlhase (eds.) ICoS-3. Inference in Computational Semantics. Workshop Proceedings, Siena Italy, Inference in Computational Semantics. Workshop Proceedings, Italy (June 2001)
Fuchs, N.E., Schwertel, U., Schwitter, R.: Attempto Controlled English – Not Just Another Logic Specification Language. In: Flener, P. (ed.) LOPSTR 1998. LNCS, vol. 1559, pp. 1–20. Springer, Heidelberg (1999)
Hall, A.: Seven Myths of Formal Methods. IEEE Software 48(1), 67–79 (1990)
Hobbs, J.R.: Discourse and Inference. Draft. USC Information Science Institute, Marina del Rey, California, November 3, (2003)
Huijsen, W.O.: Controlled Language – An Introduction. In: Proceedings of CLAW 1998, Pittsburgh, pp. 1–15 (1998)
Kamp, H., Reyle, U.: From Discourse to Logic. Kluwer, Dordrecht (1993)
McCune, W.: MACE 2.0 Reference Manual and Guide. ANL/MCS-TM-249. Mathematics and Computer Science Division, Argonne National Laboratory, Argonne (2001)
McCune, W.: OTTER 3.3 Reference Manual. ANL/MCS-TM-263. Mathematics and Computer Science Division, Argonne National Laboratory, Argonne (2003)
Mitamura, T.: Controlled Language for Multilingual Machine Translation (invited paper). In: Proceedings of MT Summit (1999)
Pulman, S.G.: Controlled Language for Knowledge Representation. In: Proceedings of CLAW 1996, Katholieke Universiteit Leuven, Belgium, pp. 233–242 (1996)
Sowa, J.F.: Knowledge Representation – Logical, Philosophical and Computational Foundations, Brooks/Cole (2000)
Schwitter, R.: English as a Formal Specification Language. In: Hameurlain, A., Cicchetti, R., Traunmüller, R. (eds.) DEXA 2002. LNCS, vol. 2453, pp. 228–232. Springer, Heidelberg (2002)
Schwitter, R., Ljungberg, A., Hood, D.: ECOLE: A Look-ahead Editor for a Controlled Language. In: Proceedings of EAMT-CLAW03, Controlled Language Translation, Dublin City University, May 15-17, 2003, pp. 141–150 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schwitter, R. (2004). Representing Knowledge in Controlled Natural Language: A Case Study. In: Negoita, M.G., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2004. Lecture Notes in Computer Science(), vol 3213. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30132-5_97
Download citation
DOI: https://doi.org/10.1007/978-3-540-30132-5_97
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23318-3
Online ISBN: 978-3-540-30132-5
eBook Packages: Springer Book Archive