Abstract
In this case study we show how an unambiguous semantic representation can be constructed dynamically in left-to-right order while a text is written in PENG, a controlled natural language designed for knowledge representation. PENG can be used in contexts where precise texts (e.g. software specifications, axioms for formal ontologies, legal documents) need to be composed. Texts written in PENG look seemingly informal and are easy to write and to read for humans but have first-order equivalent properties that make these texts computer-processable.
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
Berners-Lee, T.: Notation 3. An RDF language for the Semantic Web. Version 1.49 (2001), http://www.w3.org/DesignIssues/Notation.html
Black, A.W.: Some Different Approaches to DRT. Draft. Centre for Cognitive Science, University of Edinburgh, June 27 (1997)
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)
Johnson, M., Klein, E.: Discourse, anaphora and parsing. In: Proceedings of the 11th International Conference on Computational Linguistics, Coling 86, Bonn, pp. 669–675 (1986)
Kamp, H.: A theory of truth and semantic representation. In: Groenendijk, J., et al. (eds.) Formal methods in the study of language, pp. 277–322. University of Amsterdam (1981)
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, Technical Memorandum No. 249, Argonne National Laboratory, Argonne (2001)
McCune, W.: OTTER 3.3 Reference Manual. ANL/MCS-TM-263, Mathematics and Computer Science Division, Technical Memorandum No. 263, Argonne National Laboratory, Argonne (2003)
Schwertel, U.: Plural Semantics for Natural Language Understanding. A Computational Proof-Theoretic Approach. PhD Thesis, University of Zurich (2003)
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, pp. 141–150 (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Schwitter, R., Tilbrook, M. (2007). Dynamic Semantics at Work. In: Sakurai, A., Hasida, K., Nitta, K. (eds) New Frontiers in Artificial Intelligence. JSAI JSAI 2003 2004. Lecture Notes in Computer Science(), vol 3609. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71009-7_39
Download citation
DOI: https://doi.org/10.1007/978-3-540-71009-7_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71008-0
Online ISBN: 978-3-540-71009-7
eBook Packages: Computer ScienceComputer Science (R0)