Abstract
PENG Light is a controlled natural language designed to write unambiguous specifications that can be translated automatically via discourse representation structures into a formal target language. Instead of writing axioms in a formal language, an author writes a specification and the associated background axioms directly in controlled natural language. In this paper, we first review the controlled natural language PENG Light and show how a discourse representation structure is generated for sentences written in PENG Light. We then discuss two different solutions of how discourse representation structures can be implemented for coordinated structures. Finally, we show how an efficient implementation of coordinated structures combined with a suitable parsing strategy affects the parsing performance of the controlled natural language.
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
Gazdar, G., Mellish, C.: Natural Language Processing in PROLOG. Addison Wesley (1989)
Kamp, H., Reyle, U.: From Discourse to Logic. Kluwer, Dordrecht (1993)
Kay, M.: The MIND system. In: Rustin, R. (ed.) Natural Language Processing, pp. 155–188. Algorithmics Press, New York (1973)
Kay, M.: Algorithm schemata and data structures in syntactic processing. Technical Report CSL-80-12, Xerox PARC, Palo Alto, CA (October 1980)
Kowalski, R., Sergot, M.: Logic-Based Calculus of Events. New Generation Computing 4, 67–95 (1986)
Mueller, E.T.: Automating Commonsense Reasoning Using the Event Calculus. Communications of the ACM 52(1), 113–117 (2009)
Parsons, T.: Events in the Semantics of English: A Study in Subatomic Semantics. Current Studies in Linguistics. MIT Press (1994)
Pereira, F.C.N., Shieber, S.M.: Prolog and Natural-Language Analysis. CSLI Publications (1987)
Schwitter, R., Ljungberg, A., Hood, D.: ECOLE – A Look-ahead Editor for a Controlled Language. In: Proceedings of EAMT-CLAW 2003, Controlled Translation, pp. 141–150. Dublin City University, Ireland (2003)
Schwitter, R.: Controlled Natural Language for Knowledge Representation. In: Proceedings of COLING 2010, pp. 1113–1121 (2010)
Schwitter, R.: Specifying Events and their Effects in Controlled Natural Language. In: Proceedings of PACLING 2011 (forthcoming, 2011)
White, C., Schwitter, R.: An Update on PENG Light. In: Pizzato, L., Schwitter, R. (eds.) Proceedings of ALTA 2009, Sydney, Australia, pp. 80–88 (2009)
Wielemaker, J.: SWI-Prolog 5.10.4 Reference Manual. Department of Computer Science VU University Amsterdam (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schwitter, R. (2011). Processing Coordinated Structures in PENG Light. In: Wang, D., Reynolds, M. (eds) AI 2011: Advances in Artificial Intelligence. AI 2011. Lecture Notes in Computer Science(), vol 7106. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25832-9_67
Download citation
DOI: https://doi.org/10.1007/978-3-642-25832-9_67
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25831-2
Online ISBN: 978-3-642-25832-9
eBook Packages: Computer ScienceComputer Science (R0)